BibTeX records: Pietro Ferrara

download as .bib file

@inproceedings{DBLP:conf/vmcai/FerraraOS20,
  author    = {Pietro Ferrara and
               Luca Olivieri and
               Fausto Spoto},
  editor    = {Dirk Beyer and
               Damien Zufferey},
  title     = {BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint
               Analysis Results},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International
               Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11990},
  pages     = {23--43},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-39322-9\_2},
  doi       = {10.1007/978-3-030-39322-9\_2},
  timestamp = {Thu, 16 Jan 2020 17:28:31 +0100},
  biburl    = {https://dblp.org/rec/conf/vmcai/FerraraOS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/FerraraMCS19,
  author    = {Pietro Ferrara and
               Amit Kr Mandal and
               Agostino Cortesi and
               Fausto Spoto},
  title     = {Cross-Programming Language Taint Analysis for the IoT Ecosystem},
  journal   = {{ECEASST}},
  volume    = {77},
  year      = {2019},
  url       = {https://doi.org/10.14279/tuj.eceasst.77.1104},
  doi       = {10.14279/tuj.eceasst.77.1104},
  timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/eceasst/FerraraMCS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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. Exper.},
  volume    = {49},
  number    = {7},
  pages     = {1131--1161},
  year      = {2019},
  url       = {https://doi.org/10.1002/spe.2698},
  doi       = {10.1002/spe.2698},
  timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/spe/MandalPCFS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SpotoBEFLMS19,
  author    = {Fausto Spoto and
               Elisa Burato and
               Michael D. Ernst and
               Pietro Ferrara and
               Alberto Lovato and
               Damiano Macedonio and
               Ciprian Spiridon},
  title     = {Static Identification of Injection Attacks in Java},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {41},
  number    = {3},
  pages     = {18:1--18:58},
  year      = {2019},
  url       = {https://doi.org/10.1145/3332371},
  doi       = {10.1145/3332371},
  timestamp = {Tue, 23 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/toplas/SpotoBEFLMS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcos/CortesiFHZ18,
  author    = {Agostino Cortesi and
               Pietro Ferrara and
               Raju Halder and
               Matteo Zanioli},
  title     = {Combining Symbolic and Numerical Domains for Information Leakage Analysis},
  journal   = {Trans. Computational Science},
  volume    = {31},
  pages     = {98--135},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-662-56499-8\_6},
  doi       = {10.1007/978-3-662-56499-8\_6},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcos/CortesiFHZ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apf/FerraraOS18,
  author    = {Pietro Ferrara and
               Luca Olivieri and
               Fausto Spoto},
  editor    = {Manel Medina and
               Andreas Mitrakas and
               Kai Rannenberg and
               Erich Schweighofer and
               Nikolaos Tsouroulas},
  title     = {Tailoring Taint Analysis to {GDPR}},
  booktitle = {Privacy Technologies and Policy - 6th Annual Privacy Forum, {APF}
               2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11079},
  pages     = {63--76},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02547-2\_4},
  doi       = {10.1007/978-3-030-02547-2\_4},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/conf/apf/FerraraOS18.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/icse/FerraraCS18,
  author    = {Pietro Ferrara and
               Agostino Cortesi and
               Fausto Spoto},
  editor    = {Stefania Gnesi and
               Nico Plat and
               Paola Spoletini and
               Patrizio Pelliccione},
  title     = {{CIL} to Java-bytecode translation for static analysis leveraging},
  booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
               FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
               2, 2018},
  pages     = {40--49},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3193992.3193994},
  doi       = {10.1145/3193992.3193994},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/FerraraCS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/FerraraS18,
  author    = {Pietro Ferrara and
               Fausto Spoto},
  editor    = {Elena Ferrari and
               Marco Baldi and
               Roberto Baldoni},
  title     = {Static Analysis for {GDPR} Compliance},
  booktitle = {Proceedings of the Second Italian Conference on Cyber Security, Milan,
               Italy, February 6th - to - 9th, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2058},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2058/paper-10.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:25 +0100},
  biburl    = {https://dblp.org/rec/conf/itasec/FerraraS18.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/trustcom/SalviaFSC18,
  author    = {Rocco Salvia and
               Pietro Ferrara and
               Fausto Spoto and
               Agostino Cortesi},
  title     = {{SDLI:} Static Detection of Leaks Across Intents},
  booktitle = {17th {IEEE} International Conference On Trust, Security And Privacy
               In Computing And Communications / 12th {IEEE} International Conference
               On Big Data Science And Engineering, TrustCom/BigDataSE 2018, New
               York, NY, USA, August 1-3, 2018},
  pages     = {1002--1007},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.1109/TrustCom/BigDataSE.2018.00141},
  doi       = {10.1109/TrustCom/BigDataSE.2018.00141},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/trustcom/SalviaFSC18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AydinPTFP17,
  author    = {Abdulbaki Aydin and
               David Piorkowski and
               Omer Tripp and
               Pietro Ferrara and
               Marco Pistoia},
  editor    = {Marieke Huisman and
               Julia Rubin},
  title     = {Visual Configuration of Mobile Privacy Policies},
  booktitle = {Fundamental Approaches to Software Engineering - 20th International
               Conference, {FASE} 2017, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
               April 22-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10202},
  pages     = {338--355},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54494-5\_19},
  doi       = {10.1007/978-3-662-54494-5\_19},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/AydinPTFP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/FerraraBS17,
  author    = {Pietro Ferrara and
               Elisa Burato and
               Fausto Spoto},
  editor    = {Alessandro Armando and
               Roberto Baldoni and
               Riccardo Focardi},
  title     = {Security Analysis of the {OWASP} Benchmark with Julia},
  booktitle = {Proceedings of the First Italian Conference on Cybersecurity (ITASEC17),
               Venice, Italy, January 17-20, 2017},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1816},
  pages     = {242--247},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1816/paper-24.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:25 +0100},
  biburl    = {https://dblp.org/rec/conf/itasec/FerraraBS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/PiorkowskiPHPBT17,
  author    = {David Piorkowski and
               Sean Penney and
               Austin Z. Henley and
               Marco Pistoia and
               Margaret M. Burnett and
               Omer Tripp and
               Pietro Ferrara},
  editor    = {Austin Z. Henley and
               Peter Rogers and
               Anita Sarma},
  title     = {Foraging goes mobile: Foraging while debugging on mobile devices},
  booktitle = {2017 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
               {VL/HCC} 2017, Raleigh, NC, USA, October 11-14, 2017},
  pages     = {9--17},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/VLHCC.2017.8103444},
  doi       = {10.1109/VLHCC.2017.8103444},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vl/PiorkowskiPHPBT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FerraraT0K17,
  author    = {Pietro Ferrara and
               Omer Tripp and
               Peng Liu and
               Eric Koskinen},
  editor    = {Ahmed Bouajjani and
               David Monniaux},
  title     = {Using Abstract Interpretation to Correct Synchronization Faults},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
               Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10145},
  pages     = {187--208},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-52234-0\_11},
  doi       = {10.1007/978-3-319-52234-0\_11},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vmcai/FerraraT0K17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ferrara16,
  author    = {Pietro Ferrara},
  title     = {A generic framework for heap and value analyses of object-oriented
               programming languages},
  journal   = {Theor. Comput. Sci.},
  volume    = {631},
  pages     = {43--72},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2016.04.001},
  doi       = {10.1016/j.tcs.2016.04.001},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/Ferrara16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/TsankovPTVF16,
  author    = {Petar Tsankov and
               Marco Pistoia and
               Omer Tripp and
               Martin T. Vechev and
               Pietro Ferrara},
  editor    = {Stephen Schwab and
               William K. Robertson and
               Davide Balzarotti},
  title     = {{FASE:} functionality-aware security enforcement},
  booktitle = {Proceedings of the 32nd Annual Conference on Computer Security Applications,
               {ACSAC} 2016, Los Angeles, CA, USA, December 5-9, 2016},
  pages     = {471--483},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2991116},
  timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl    = {https://dblp.org/rec/conf/acsac/TsankovPTVF16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TrippPFR16,
  author    = {Omer Tripp and
               Marco Pistoia and
               Pietro Ferrara and
               Julia Rubin},
  title     = {Pinpointing mobile malware using code analysis},
  booktitle = {Proceedings of the International Conference on Mobile Software Engineering
               and Systems, MOBILESoft '16, Austin, Texas, USA, May 14-22, 2016},
  pages     = {275--276},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2897073.2897707},
  doi       = {10.1145/2897073.2897707},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/TrippPFR16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/BarbonCFS16,
  author    = {Gianluca Barbon and
               Agostino Cortesi and
               Pietro Ferrara and
               Enrico Steffinlongo},
  editor    = {Gilles Barthe and
               Evangelos P. Markatos and
               Pierangela Samarati},
  title     = {{DAPA:} Degradation-Aware Privacy Analysis of Android Apps},
  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     = {32--46},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46598-2\_3},
  doi       = {10.1007/978-3-319-46598-2\_3},
  timestamp = {Sat, 19 Oct 2019 20:20:00 +0200},
  biburl    = {https://dblp.org/rec/conf/stm/BarbonCFS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CortesiCF15,
  author    = {Agostino Cortesi and
               Giulia Costantini and
               Pietro Ferrara},
  title     = {The abstract domain of Trapezoid Step Functions},
  journal   = {Comput. Lang. Syst. Struct.},
  volume    = {43},
  pages     = {41--68},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.cl.2015.04.002},
  doi       = {10.1016/j.cl.2015.04.002},
  timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/cl/CortesiCF15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CostantiniFC15,
  author    = {Giulia Costantini and
               Pietro Ferrara and
               Agostino Cortesi},
  title     = {A suite of abstract domains for static analysis of string values},
  journal   = {Softw., Pract. Exper.},
  volume    = {45},
  number    = {2},
  pages     = {245--287},
  year      = {2015},
  url       = {https://doi.org/10.1002/spe.2218},
  doi       = {10.1002/spe.2218},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/spe/CostantiniFC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/FerraraTP15,
  author    = {Pietro Ferrara and
               Omer Tripp and
               Marco Pistoia},
  title     = {MorphDroid: Fine-grained Privacy Verification},
  booktitle = {Proceedings of the 31st Annual Computer Security Applications Conference,
               Los Angeles, CA, USA, December 7-11, 2015},
  pages     = {371--380},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2818000.2818037},
  doi       = {10.1145/2818000.2818037},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsac/FerraraTP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisim/BarbonCFPT15,
  author    = {Gianluca Barbon and
               Agostino Cortesi and
               Pietro Ferrara and
               Marco Pistoia and
               Omer Tripp},
  editor    = {Khalid Saeed and
               Wladyslaw Homenda},
  title     = {Privacy Analysis of Android Apps: Implicit Flows and Quantitative
               Analysis},
  booktitle = {Computer Information Systems and Industrial Management - 14th {IFIP}
               {TC} 8 International Conference, {CISIM} 2015, Warsaw, Poland, September
               24-26, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9339},
  pages     = {3--23},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24369-6\_1},
  doi       = {10.1007/978-3-319-24369-6\_1},
  timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cisim/BarbonCFPT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PistoiaTFC15,
  author    = {Marco Pistoia and
               Omer Tripp and
               Pietro Ferrara and
               Paolina Centonze},
  editor    = {Aharon Abadi and
               Lori Flynn and
               Jeff Gray},
  title     = {Automatic detection, correction, and visualization of security vulnerabilities
               in mobile apps},
  booktitle = {Proceedings of the 3rd International Workshop on Mobile Development
               Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  pages     = {35--36},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2846661.2846667},
  doi       = {10.1145/2846661.2846667},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/oopsla/PistoiaTFC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrutschyFTP15,
  author    = {Lucas Brutschy and
               Pietro Ferrara and
               Omer Tripp and
               Marco Pistoia},
  editor    = {Jonathan Aldrich and
               Patrick Eugster},
  title     = {ShamDroid: gracefully degrading functionality in the presence of limited
               resource access},
  booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
               25-30, 2015},
  pages     = {316--331},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2814270.2814296},
  doi       = {10.1145/2814270.2814296},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/oopsla/BrutschyFTP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CortesiFPT15,
  author    = {Agostino Cortesi and
               Pietro Ferrara and
               Marco Pistoia and
               Omer Tripp},
  editor    = {Deepak D'Souza and
               Akash Lal and
               Kim Guldstrand Larsen},
  title     = {Datacentric Semantics for Verification of Privacy Policy Compliance
               by Mobile Applications},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
               Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8931},
  pages     = {61--79},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46081-8\_4},
  doi       = {10.1007/978-3-662-46081-8\_4},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/vmcai/CortesiFPT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Ferrara0N15,
  author    = {Pietro Ferrara and
               Peter M{\"{u}}ller and
               Milos Nov{\'{a}}cek},
  editor    = {Deepak D'Souza and
               Akash Lal and
               Kim Guldstrand Larsen},
  title     = {Automatic Inference of Heap Properties Exploiting Value Domains},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
               Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8931},
  pages     = {393--411},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46081-8\_22},
  doi       = {10.1007/978-3-662-46081-8\_22},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/vmcai/Ferrara0N15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FerraraSB14,
  author    = {Pietro Ferrara and
               Daniel Schweizer and
               Lucas Brutschy},
  editor    = {Stefania Gnesi and
               Arend Rensink},
  title     = {TouchCost: Cost Analysis of TouchDevelop Scripts},
  booktitle = {Fundamental Approaches to Software Engineering - 17th International
               Conference, {FASE} 2014, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
               April 5-13, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8411},
  pages     = {109--124},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54804-8\_8},
  doi       = {10.1007/978-3-642-54804-8\_8},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/FerraraSB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TrippFP14,
  author    = {Omer Tripp and
               Pietro Ferrara and
               Marco Pistoia},
  editor    = {Corina S. Pasareanu and
               Darko Marinov},
  title     = {Hybrid security analysis of web JavaScript code via dynamic partial
               evaluation},
  booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
               '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  pages     = {49--59},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2610384.2610385},
  doi       = {10.1145/2610384.2610385},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/TrippFP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrutschyF014a,
  author    = {Lucas Brutschy and
               Pietro Ferrara and
               Peter M{\"{u}}ller},
  editor    = {Aharon Abadi and
               Danny Dig and
               Eli Tilevich},
  title     = {TouchGuru: Integrating Static Analysis with a Mobile Development Environment},
  booktitle = {Proceedings of the 2nd International Workshop on Mobile Development
               Lifecycle, MobileDeLi 2014, Portland, OR, USA, October 20-24, 2014},
  pages     = {33--34},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2688412.2688421},
  doi       = {10.1145/2688412.2688421},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/oopsla/BrutschyF014a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrutschyF014,
  author    = {Lucas Brutschy and
               Pietro Ferrara and
               Peter M{\"{u}}ller},
  editor    = {Andrew P. Black and
               Todd D. Millstein},
  title     = {Static analysis for independent app developers},
  booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages     = {847--860},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2660193.2660219},
  doi       = {10.1145/2660193.2660219},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/oopsla/BrutschyF014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Ferrara14,
  author    = {Pietro Ferrara},
  editor    = {Kenneth L. McMillan and
               Xavier Rival},
  title     = {Generic Combination of Heap and Value Analyses in Abstract Interpretation},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
               Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8318},
  pages     = {302--321},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54013-4\_17},
  doi       = {10.1007/978-3-642-54013-4\_17},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vmcai/Ferrara14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Ferrara13,
  author    = {Pietro Ferrara},
  title     = {A generic static analyzer for multithreaded Java programs},
  journal   = {Softw., Pract. Exper.},
  volume    = {43},
  number    = {6},
  pages     = {663--684},
  year      = {2013},
  url       = {https://doi.org/10.1002/spe.2126},
  doi       = {10.1002/spe.2126},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/spe/Ferrara13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CostantiniFMC13,
  author    = {Giulia Costantini and
               Pietro Ferrara and
               Giuseppe Maggiore and
               Agostino Cortesi},
  editor    = {Lindsay Groves and
               Jing Sun},
  title     = {The Domain of Parametric Hypercubes for Static Analysis of Computer
               Games Software},
  booktitle = {Formal Methods and Software Engineering - 15th International Conference
               on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
               October 29 - November 1, 2013, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8144},
  pages     = {447--463},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41202-8\_29},
  doi       = {10.1007/978-3-642-41202-8\_29},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/CostantiniFMC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isr/CortesiFC13,
  author    = {Agostino Cortesi and
               Pietro Ferrara and
               Nabendu Chaki},
  title     = {Static analysis techniques for robotics software verification},
  booktitle = {Proceedings of the 44th Internationel Symposium on Robotics, {IEEE}
               {ISR} 2013, Seoul, Korea (South), October 24-26, 2013},
  pages     = {1--6},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/ISR.2013.6739742},
  doi       = {10.1109/ISR.2013.6739742},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/isr/CortesiFC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CortesiCF13,
  author    = {Agostino Cortesi and
               Giulia Costantini and
               Pietro Ferrara},
  editor    = {Anindya Banerjee and
               Olivier Danvy and
               Kyung{-}Goo Doh and
               John Hatcliff},
  title     = {A Survey on Product Operators in Abstract Interpretation},
  booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs:
               Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
               Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
  series    = {{EPTCS}},
  volume    = {129},
  pages     = {325--336},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.129.19},
  doi       = {10.4204/EPTCS.129.19},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/CortesiCF13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CostantiniFC12,
  author    = {Giulia Costantini and
               Pietro Ferrara and
               Agostino Cortesi},
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {Linear Approximation of Continuous Systems with Trapezoid Step Functions},
  booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  pages     = {98--114},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2\_8},
  doi       = {10.1007/978-3-642-35182-2\_8},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/aplas/CostantiniFC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ZanioliFC12,
  author    = {Matteo Zanioli and
               Pietro Ferrara and
               Agostino Cortesi},
  editor    = {Sascha Ossowski and
               Paola Lecca},
  title     = {{SAILS:} static analysis of information leakage with sample},
  booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
               Riva, Trento, Italy, March 26-30, 2012},
  pages     = {1308--1313},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2245276.2231983},
  doi       = {10.1145/2245276.2231983},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sac/ZanioliFC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FerraraFJ12,
  author    = {Pietro Ferrara and
               Raphael Fuchs and
               Uri Juhasz},
  editor    = {George Eleftherakis and
               Mike Hinchey and
               Mike Holcombe},
  title     = {{TVAL+} : {TVLA} and Value Analyses Together},
  booktitle = {Software Engineering and Formal Methods - 10th International Conference,
               {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7504},
  pages     = {63--77},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7\_5},
  doi       = {10.1007/978-3-642-33826-7\_5},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/FerraraFJ12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FerraraM12,
  author    = {Pietro Ferrara and
               Peter M{\"{u}}ller},
  editor    = {Viktor Kuncak and
               Andrey Rybalchenko},
  title     = {Automatic Inference of Access Permissions},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
               Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7148},
  pages     = {202--218},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9\_14},
  doi       = {10.1007/978-3-642-27940-9\_14},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vmcai/FerraraM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CostantiniFC11,
  author    = {Giulia Costantini and
               Pietro Ferrara and
               Agostino Cortesi},
  editor    = {Shengchao Qin and
               Zongyan Qiu},
  title     = {Static Analysis of String Values},
  booktitle = {Formal Methods and Software Engineering - 13th International Conference
               on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
               2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6991},
  pages     = {505--521},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24559-6\_34},
  doi       = {10.1007/978-3-642-24559-6\_34},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/CostantiniFC11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Ferrara10,
  author    = {Pietro Ferrara},
  editor    = {John Hatcliff and
               Elena Zucca},
  title     = {Static Type Analysis of Pattern Matching by Abstract Interpretation},
  booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
               International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
               June 7-9, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6117},
  pages     = {186--200},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13464-7\_15},
  doi       = {10.1007/978-3-642-13464-7\_15},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/Ferrara10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Ferrara09,
  author    = {Pietro Ferrara},
  title     = {Static analysis via abstract interpretation of multithreaded programs.
               (Analyse statique de logiciels Multit{\^{a}}CHES par Interpr{\'{e}}Tation
               abstraite)},
  school    = {{\'{E}}cole Polytechnique, Palaiseau, France},
  year      = {2009},
  url       = {https://tel.archives-ouvertes.fr/tel-00417502},
  timestamp = {Thu, 14 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Ferrara09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Ferrara09,
  author    = {Pietro Ferrara},
  editor    = {Dang Van Hung and
               Padmanabhan Krishnan},
  title     = {Checkmate: {A} Generic Static Analyzer of Java Multithreaded Programs},
  booktitle = {Seventh {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages     = {169--178},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/SEFM.2009.20},
  doi       = {10.1109/SEFM.2009.20},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/Ferrara09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FerraraLF08,
  author    = {Pietro Ferrara and
               Francesco Logozzo and
               Manuel F{\"{a}}hndrich},
  editor    = {Gail E. Harris},
  title     = {Safer unsafe code for .NET},
  booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
               October 19-23, 2008, Nashville, TN, {USA}},
  pages     = {329--346},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1449764.1449791},
  doi       = {10.1145/1449764.1449791},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/oopsla/FerraraLF08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Ferrara08,
  author    = {Pietro Ferrara},
  editor    = {Antonio Cerone and
               Stefan Gruner},
  title     = {Static Analysis of the Determinism of Multithreaded Programs},
  booktitle = {Sixth {IEEE} International Conference on Software Engineering and
               Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
               2008},
  pages     = {41--50},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://doi.org/10.1109/SEFM.2008.14},
  doi       = {10.1109/SEFM.2008.14},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/Ferrara08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/Ferrara08,
  author    = {Pietro Ferrara},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Static Analysis Via Abstract Interpretation of the Happens-Before
               Memory Model},
  booktitle = {Tests and Proofs, Second International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {116--133},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_9},
  doi       = {10.1007/978-3-540-79124-9\_9},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/Ferrara08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics