BibTeX records: Federico De Meo

• > Home > Persons > Federico De Meo

@inproceedings{DBLP:conf/acns/AmbrosiBMNPR22,
  author       = {Michele Ambrosi and
                  Francesco Beltramini and
                  Federico De Meo and
                  Oliviero Nardi and
                  Mattia Pacchin and
                  Marco Rocchetto},
  editor       = {Jianying Zhou and
                  Sridhar Adepu and
                  Cristina Alcaraz and
                  Lejla Batina and
                  Emiliano Casalicchio and
                  Sudipta Chattopadhyay and
                  Chenglu Jin and
                  Jingqiang Lin and
                  Eleonora Losiouk and
                  Suryadipta Majumdar and
                  Weizhi Meng and
                  Stjepan Picek and
                  Jun Shao and
                  Chunhua Su and
                  Cong Wang and
                  Yury Zhauniarovich and
                  Saman A. Zonouz},
  title        = {The Etiology of Cybersecurity},
  booktitle    = {Applied Cryptography and Network Security Workshops - {ACNS} 2022
                  Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S{\&}P,
                  SCI, SecMT, SiMLA, Rome, Italy, June 20-23, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13285},
  pages        = {299--319},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16815-4\_17},
  doi          = {10.1007/978-3-031-16815-4\_17},
  timestamp    = {Tue, 27 Sep 2022 16:52:52 +0200},
  biburl       = {https://dblp.org/rec/conf/acns/AmbrosiBMNPR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcs/MeoV20,
  author       = {Federico De Meo and
                  Luca Vigan{\`{o}}},
  title        = {A formal and automated approach to exploiting multi-stage attacks
                  of web applications},
  journal      = {J. Comput. Secur.},
  volume       = {28},
  number       = {5},
  pages        = {525--576},
  year         = {2020},
  url          = {https://doi.org/10.3233/JCS-181262},
  doi          = {10.3233/JCS-181262},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcs/MeoV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/stvr/PeroliMVG18,
  author       = {Michele Peroli and
                  Federico De Meo and
                  Luca Vigan{\`{o}} and
                  Davide Guardini},
  title        = {MobSTer: {A} model-based security testing framework for web applications},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {28},
  number       = {8},
  year         = {2018},
  url          = {https://doi.org/10.1002/stvr.1685},
  doi          = {10.1002/STVR.1685},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/PeroliMVG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/essos/Meo017,
  author       = {Federico De Meo and
                  Luca Vigan{\`{o}}},
  editor       = {Eric Bodden and
                  Mathias Payer and
                  Elias Athanasopoulos},
  title        = {A Formal Approach to Exploiting Multi-stage Attacks Based on File-System
                  Vulnerabilities of Web Applications},
  booktitle    = {Engineering Secure Software and Systems - 9th International Symposium,
                  ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10379},
  pages        = {196--212},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62105-0\_13},
  doi          = {10.1007/978-3-319-62105-0\_13},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/essos/Meo017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Meo017,
  author       = {Federico De Meo and
                  Luca Vigan{\`{o}}},
  title        = {A Formal Approach to Exploiting Multi-Stage Attacks based on File-System
                  Vulnerabilities of Web Applications (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1705.03658},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.03658},
  eprinttype    = {arXiv},
  eprint       = {1705.03658},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Meo017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stm/MeoR016,
  author       = {Federico De Meo and
                  Marco Rocchetto and
                  Luca Vigan{\`{o}}},
  editor       = {Gilles Barthe and
                  Evangelos P. Markatos and
                  Pierangela Samarati},
  title        = {Formal Analysis of Vulnerabilities of Web Applications Based on {SQL}
                  Injection},
  booktitle    = {Security and Trust Management - 12th International Workshop, {STM}
                  2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9871},
  pages        = {179--195},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46598-2\_13},
  doi          = {10.1007/978-3-319-46598-2\_13},
  timestamp    = {Sat, 19 Oct 2019 20:20:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stm/MeoR016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/MeoRV16,
  author       = {Federico De Meo and
                  Marco Rocchetto and
                  Luca Vigan{\`{o}}},
  title        = {Formal Analysis of Vulnerabilities of Web Applications Based on {SQL}
                  Injection (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1605.00358},
  year         = {2016},
  url          = {http://arxiv.org/abs/1605.00358},
  eprinttype    = {arXiv},
  eprint       = {1605.00358},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MeoRV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}