BibTeX records: Marco Rocchetto

download as .bib file

@article{DBLP:journals/jcs/RocchettoVV17,
  author    = {Marco Rocchetto and
               Luca Vigan{\`{o}} and
               Marco Volpe},
  title     = {An interpolation-based method for the verification of security protocols},
  journal   = {Journal of Computer Security},
  volume    = {25},
  number    = {6},
  pages     = {463--510},
  year      = {2017},
  url       = {https://doi.org/10.3233/JCS-16832},
  doi       = {10.3233/JCS-16832},
  timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/RocchettoVV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/RocchettoT17,
  author    = {Marco Rocchetto and
               Nils Ole Tippenhauer},
  title     = {Towards Formal Security Analysis of Industrial Control Systems},
  booktitle = {Proceedings of the 2017 {ACM} on Asia Conference on Computer and Communications
               Security, AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2-6,
               2017},
  pages     = {114--126},
  year      = {2017},
  crossref  = {DBLP:conf/ccs/2017asia},
  url       = {http://doi.acm.org/10.1145/3052973.3053024},
  doi       = {10.1145/3052973.3053024},
  timestamp = {Thu, 20 Apr 2017 14:32:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/RocchettoT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/RocchettoT16,
  author    = {Marco Rocchetto and
               Nils Ole Tippenhauer},
  title     = {On Attacker Models and Profiles for Cyber-Physical Systems},
  booktitle = {Computer Security - {ESORICS} 2016 - 21st European Symposium on Research
               in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings,
               Part {II}},
  pages     = {427--449},
  year      = {2016},
  crossref  = {DBLP:conf/esorics/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-45741-3_22},
  doi       = {10.1007/978-3-319-45741-3_22},
  timestamp = {Tue, 23 May 2017 01:07:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/RocchettoT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/SantacaCR016,
  author    = {Katia Santac{\`{a}} and
               Matteo Cristani and
               Marco Rocchetto and
               Luca Vigan{\`{o}}},
  title     = {A Topological Categorization of Agents for the Definition of Attack
               States in Multi-agent Systems},
  booktitle = {Multi-Agent Systems and Agreement Technologies - 14th European Conference,
               {EUMAS} 2016, and 4th International Conference, {AT} 2016, Valencia,
               Spain, December 15-16, 2016, Revised Selected Papers},
  pages     = {261--276},
  year      = {2016},
  crossref  = {DBLP:conf/eumas/2016},
  url       = {https://doi.org/10.1007/978-3-319-59294-7_21},
  doi       = {10.1007/978-3-319-59294-7_21},
  timestamp = {Sat, 16 Sep 2017 12:10:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/SantacaCR016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/RocchettoT16,
  author    = {Marco Rocchetto and
               Nils Ole Tippenhauer},
  title     = {{CPDY:} Extending the Dolev-Yao Attacker with Physical-Layer Interactions},
  booktitle = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  pages     = {175--192},
  year      = {2016},
  crossref  = {DBLP:conf/icfem/2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3_12},
  doi       = {10.1007/978-3-319-47846-3_12},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/RocchettoT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/MeoR016,
  author    = {Federico De Meo and
               Marco Rocchetto and
               Luca Vigan{\`{o}}},
  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},
  pages     = {179--195},
  year      = {2016},
  crossref  = {DBLP:conf/stm/2016},
  url       = {https://doi.org/10.1007/978-3-319-46598-2_13},
  doi       = {10.1007/978-3-319-46598-2_13},
  timestamp = {Wed, 24 May 2017 08:30:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stm/MeoR016},
  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},
  archivePrefix = {arXiv},
  eprint    = {1605.00358},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/MeoRV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RocchettoT16,
  author    = {Marco Rocchetto and
               Nils Ole Tippenhauer},
  title     = {{CPDY:} Extending the Dolev-Yao Attacker with Physical-Layer Interactions},
  journal   = {CoRR},
  volume    = {abs/1607.02562},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.02562},
  archivePrefix = {arXiv},
  eprint    = {1607.02562},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/RocchettoT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/RocchettoOD14,
  author    = {Marco Rocchetto and
               Mart{\'{\i}}n Ochoa and
               Mohammad Torabi Dashti},
  title     = {Model-Based Detection of {CSRF}},
  booktitle = {{ICT} Systems Security and Privacy Protection - 29th {IFIP} {TC} 11
               International Conference, {SEC} 2014, Marrakech, Morocco, June 2-4,
               2014. Proceedings},
  pages     = {30--43},
  year      = {2014},
  crossref  = {DBLP:conf/sec/2014},
  url       = {https://doi.org/10.1007/978-3-642-55415-5_3},
  doi       = {10.1007/978-3-642-55415-5_3},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sec/RocchettoOD14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/RocchettoVVV13,
  author    = {Marco Rocchetto and
               Luca Vigan{\`{o}} and
               Marco Volpe and
               Giacomo Dalle Vedove},
  title     = {Using Interpolation for the Verification of Security Protocols},
  booktitle = {Security and Trust Management - 9th International Workshop, {STM}
               2013, Egham, UK, September 12-13, 2013. Proceedings},
  pages     = {99--114},
  year      = {2013},
  crossref  = {DBLP:conf/stm/2013},
  url       = {https://doi.org/10.1007/978-3-642-41098-7_7},
  doi       = {10.1007/978-3-642-41098-7_7},
  timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stm/RocchettoVVV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12,
  author    = {Alessandro Armando and
               Wihem Arsac and
               Tigran Avanesov and
               Michele Barletta and
               Alberto Calvi and
               Alessandro Cappai and
               Roberto Carbone and
               Yannick Chevalier and
               Luca Compagna and
               Jorge Cu{\'{e}}llar and
               Gabriel Erzse and
               Simone Frau and
               Marius Minea and
               Sebastian M{\"{o}}dersheim and
               David von Oheimb and
               Giancarlo Pellegrino and
               Serena Elisa Ponta and
               Marco Rocchetto and
               Micha{\"{e}}l Rusinowitch and
               Mohammad Torabi Dashti and
               Mathieu Turuani and
               Luca Vigan{\`{o}}},
  title     = {The {AVANTSSAR} Platform for the Automated Validation of Trust and
               Security of Service-Oriented Architectures},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {267--282},
  year      = {2012},
  crossref  = {DBLP:conf/tacas/2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5_19},
  doi       = {10.1007/978-3-642-28756-5_19},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/ArmandoAABCCCCCCEFMMOPPRRDTV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2017asia,
  editor    = {Ramesh Karri and
               Ozgur Sinanoglu and
               Ahmad{-}Reza Sadeghi and
               Xun Yi},
  title     = {Proceedings of the 2017 {ACM} on Asia Conference on Computer and Communications
               Security, AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2-6,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3052973},
  doi       = {10.1145/3052973},
  isbn      = {978-1-4503-4944-4},
  timestamp = {Thu, 20 Apr 2017 14:32:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2017asia},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2016-2,
  editor    = {Ioannis G. Askoxylakis and
               Sotiris Ioannidis and
               Sokratis K. Katsikas and
               Catherine A. Meadows},
  title     = {Computer Security - {ESORICS} 2016 - 21st European Symposium on Research
               in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9879},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45741-3},
  doi       = {10.1007/978-3-319-45741-3},
  isbn      = {978-3-319-45740-6},
  timestamp = {Tue, 23 May 2017 01:07:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/2016-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eumas/2016,
  editor    = {Natalia Criado Pacheco and
               Carlos Carrascosa and
               Nardine Osman and
               Vicente Juli{\'{a}}n Inglada},
  title     = {Multi-Agent Systems and Agreement Technologies - 14th European Conference,
               {EUMAS} 2016, and 4th International Conference, {AT} 2016, Valencia,
               Spain, December 15-16, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10207},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59294-7},
  doi       = {10.1007/978-3-319-59294-7},
  isbn      = {978-3-319-59293-0},
  timestamp = {Sat, 16 Sep 2017 12:10:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eumas/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2016,
  editor    = {Kazuhiro Ogata and
               Mark Lawford and
               Shaoying Liu},
  title     = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10009},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3},
  doi       = {10.1007/978-3-319-47846-3},
  isbn      = {978-3-319-47845-6},
  timestamp = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stm/2016,
  editor    = {Gilles Barthe and
               Evangelos P. Markatos and
               Pierangela Samarati},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46598-2},
  doi       = {10.1007/978-3-319-46598-2},
  isbn      = {978-3-319-46597-5},
  timestamp = {Wed, 24 May 2017 08:30:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sec/2014,
  editor    = {Nora Cuppens{-}Boulahia and
               Fr{\'{e}}d{\'{e}}ric Cuppens and
               Sushil Jajodia and
               Anas Abou El Kalam and
               Thierry Sans},
  title     = {{ICT} Systems Security and Privacy Protection - 29th {IFIP} {TC} 11
               International Conference, {SEC} 2014, Marrakech, Morocco, June 2-4,
               2014. Proceedings},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {428},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-55415-5},
  doi       = {10.1007/978-3-642-55415-5},
  isbn      = {978-3-642-55414-8},
  timestamp = {Fri, 19 May 2017 01:25:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sec/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stm/2013,
  editor    = {Rafael Accorsi and
               Silvio Ranise},
  title     = {Security and Trust Management - 9th International Workshop, {STM}
               2013, Egham, UK, September 12-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8203},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41098-7},
  doi       = {10.1007/978-3-642-41098-7},
  isbn      = {978-3-642-41097-0},
  timestamp = {Wed, 24 May 2017 08:30:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stm/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2012,
  editor    = {Cormac Flanagan and
               Barbara K{\"{o}}nig},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7214},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5},
  doi       = {10.1007/978-3-642-28756-5},
  isbn      = {978-3-642-28755-8},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier