BibTeX records: Federica Panarotto

download as .bib file

@article{DBLP:journals/spe/MandalPCFS19,
  author    = {Amit Kr Mandal and
               Federica Panarotto and
               Agostino Cortesi and
               Pietro Ferrara and
               Fausto Spoto},
  title     = {Static analysis of Android Auto infotainment and on-board diagnostics
               {II} apps},
  journal   = {Softw. Pract. Exp.},
  volume    = {49},
  number    = {7},
  pages     = {1131--1161},
  year      = {2019},
  url       = {https://doi.org/10.1002/spe.2698},
  doi       = {10.1002/spe.2698},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/spe/MandalPCFS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/MandalCFPS18,
  author    = {Amit Kr Mandal and
               Agostino Cortesi and
               Pietro Ferrara and
               Federica Panarotto and
               Fausto Spoto},
  editor    = {David R. Kaeli and
               Miquel Peric{\`{a}}s},
  title     = {Vulnerability analysis of Android auto infotainment apps},
  booktitle = {Proceedings of the 15th {ACM} International Conference on Computing
               Frontiers, {CF} 2018, Ischia, Italy, May 08-10, 2018},
  pages     = {183--190},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3203217.3203278},
  doi       = {10.1145/3203217.3203278},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cf/MandalCFPS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcom/PanarottoCFMS18,
  author    = {Federica Panarotto and
               Agostino Cortesi and
               Pietro Ferrara and
               Amit Kr Mandal and
               Fausto Spoto},
  editor    = {Meikang Qiu},
  title     = {Static Analysis of Android Apps Interaction with Automotive {CAN}},
  booktitle = {Smart Computing and Communication - Third International Conference,
               SmartCom 2018, Tokyo, Japan, December 10-12, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11344},
  pages     = {114--123},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-05755-8\_12},
  doi       = {10.1007/978-3-030-05755-8\_12},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/smartcom/PanarottoCFMS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/PierroP14,
  author    = {Alessandra Di Pierro and
               Federica Panarotto},
  editor    = {Ulrich Kohlenbach and
               Pablo Barcel{\'{o}} and
               Ruy J. G. B. de Queiroz},
  title     = {A Calculus of Anyons},
  booktitle = {Logic, Language, Information, and Computation - 21st International
               Workshop, WoLLIC 2014, Valpara{\'{\i}}so, Chile, September 1-4,
               2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8652},
  pages     = {152--165},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44145-9\_11},
  doi       = {10.1007/978-3-662-44145-9\_11},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/wollic/PierroP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics