BibTeX records: Federico De Meo

download as .bib file

@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 = {Wed, 07 Oct 2020 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics