Published in: Dagstuhl Reports, Volume 13, Issue 5 (2023)
Eric Bodden, Sam Weber, and Laurie Williams. Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181). In Dagstuhl Reports, Volume 13, Issue 5, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@Article{bodden_et_al:DagRep.13.5.1, author = {Bodden, Eric and Weber, Sam and Williams, Laurie}, title = {{Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181)}}, pages = {1--21}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {13}, number = {5}, editor = {Bodden, Eric and Weber, Sam and Williams, Laurie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.5.1}, URN = {urn:nbn:de:0030-drops-193636}, doi = {10.4230/DagRep.13.5.1}, annote = {Keywords: Empirical assessment, Secure development lifecycle} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Philipp Dominik Schubert, Ben Hermann, and Eric Bodden. Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 2:1-2:31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{schubert_et_al:LIPIcs.ECOOP.2021.2, author = {Schubert, Philipp Dominik and Hermann, Ben and Bodden, Eric}, title = {{Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {2:1--2:31}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.2}, URN = {urn:nbn:de:0030-drops-140453}, doi = {10.4230/LIPIcs.ECOOP.2021.2}, annote = {Keywords: Inter-procedural static analysis, compositional analysis, LLVM, C/C++} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, and Mira Mezini. Dealing with Variability in API Misuse Specification. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 19:1-19:27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{bonifacio_et_al:LIPIcs.ECOOP.2021.19, author = {Bonif\'{a}cio, Rodrigo and Kr\"{u}ger, Stefan and Narasimhan, Krishna and Bodden, Eric and Mezini, Mira}, title = {{Dealing with Variability in API Misuse Specification}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {19:1--19:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.19}, URN = {urn:nbn:de:0030-drops-140621}, doi = {10.4230/LIPIcs.ECOOP.2021.19}, annote = {Keywords: API misuse, cryptographic API misuse detection, code generation, domain engineering, cryptographic standards} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Linghui Luo, Julian Dolby, and Eric Bodden. MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 21:1-21:25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
@InProceedings{luo_et_al:LIPIcs.ECOOP.2019.21, author = {Luo, Linghui and Dolby, Julian and Bodden, Eric}, title = {{MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {21:1--21:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.21}, URN = {urn:nbn:de:0030-drops-108139}, doi = {10.4230/LIPIcs.ECOOP.2019.21}, annote = {Keywords: IDE, Tool Support, Static Analysis, Language Server Protocol} }
Published in: LIPIcs, Volume 109, 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 109, pp. 10:1-10:27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@InProceedings{kruger_et_al:LIPIcs.ECOOP.2018.10, author = {Kr\"{u}ger, Stefan and Sp\"{a}th, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, title = {{CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}}, booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)}, pages = {10:1--10:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-079-8}, ISSN = {1868-8969}, year = {2018}, volume = {109}, editor = {Millstein, Todd}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.10}, URN = {urn:nbn:de:0030-drops-92151}, doi = {10.4230/LIPIcs.ECOOP.2018.10}, annote = {Keywords: cryptography, domain-specific language, static analysis} }
Published in: DARTS, Volume 4, Issue 3, Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). In Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 3, pp. 6:1-6:4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
@Article{kruger_et_al:DARTS.4.3.6, author = {Kr\"{u}ger, Stefan and Sp\"{a}th, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, title = {{CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)}}, pages = {6:1--6:4}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2018}, volume = {4}, number = {3}, editor = {Kr\"{u}ger, Stefan and Sp\"{a}th, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.6}, URN = {urn:nbn:de:0030-drops-92371}, doi = {10.4230/DARTS.4.3.6}, annote = {Keywords: cryptography, domain-specific language, static analysis} }
Published in: LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 56, pp. 22:1-22:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
@InProceedings{spath_et_al:LIPIcs.ECOOP.2016.22, author = {Sp\"{a}th, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric}, title = {{Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java}}, booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)}, pages = {22:1--22:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-014-9}, ISSN = {1868-8969}, year = {2016}, volume = {56}, editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.22}, URN = {urn:nbn:de:0030-drops-61164}, doi = {10.4230/LIPIcs.ECOOP.2016.22}, annote = {Keywords: Demand-Driven; Static Analysis; IFDS; Aliasing; Points-to Analysis} }
Published in: DARTS, Volume 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). In Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 12:1-12:2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
@Article{spath_et_al:DARTS.2.1.12, author = {Sp\"{a}th, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric}, title = {{Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)}}, pages = {12:1--12:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2016}, volume = {2}, number = {1}, editor = {Sp\"{a}th, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.12}, URN = {urn:nbn:de:0030-drops-61334}, doi = {10.4230/DARTS.2.1.12}, annote = {Keywords: Demand-Driven; Static Analysis; IFDS; Aliasing; Points-to Analysis} }
Feedback for Dagstuhl Publishing