Quelle  root.bib

@inproceedings{BDsecurity-ITP2021,
 author    = {Andrei Popescu and
 Thomas Bauereiss and
 Peter Lammich},
 editor    = {Liron Cohen and
 Cezary Kaliszyk},
 title     = {{Bounded-Deducibility} Security (Invited Paper)},
 booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
 series    = {LIPIcs},
 volume    = {193},
 pages     = {3:1--3:20},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 year      = {2021},
 url       = {https://doi.org/10.4230/LIPIcs.ITP.2021.3},
 doi       = {10.4230/LIPIcs.ITP.2021.3},
 timestamp = {Mon, 21 Jun 2021 16:26:35 +0200},
 biburl    = {https://dblp.org/rec/conf/itp/0001BL21.bib},
 bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{cocon-JAR2021,
 author    = {Andrei Popescu and
 Peter Lammich and
 Ping Hou},
 title     = {CoCon: {A} Conference Management System with Formally Verified Document
 Confidentiality},
 journal   = {J. Autom. Reason.},
 volume    = {65},
 number    = {2},
 pages     = {321--356},
 year      = {2021},
 url       = {https://doi.org/10.1007/s10817-020-09566-9},
 doi       = {10.1007/s10817-020-09566-9},
 timestamp = {Fri, 14 May 2021 08:32:56 +0200},
 biburl    = {https://dblp.org/rec/journals/jar/PopescuLH21.bib},
 bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{cocon-CAV2014,
 author    = {Sudeep Kanav and
 Peter Lammich and
 Andrei Popescu},
 editor    = {Armin Biere and
 Roderick Bloem},
 title     = {A Conference Management System with Verified Document Confidentiality},
 booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
 Austria, July 18-22, 2014. Proceedings},
 series    = {Lecture Notes in Computer Science},
 volume    = {8559},
 pages     = {167--183},
 publisher = {Springer},
 year      = {2014},
 url       = {https://doi.org/10.1007/978-3-319-08867-9\_11},
 doi       = {10.1007/978-3-319-08867-9\_11},
 timestamp = {Sat, 19 Oct 2019 19:58:36 +0200},
 biburl    = {https://dblp.org/rec/conf/cav/KanavL014.bib},
 bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{cosmed-jar2018,
 author    = {Thomas Bauerei{\ss} and
 Armando {Pesenti Gritti} and
 Andrei Popescu and
 Franco Raimondi},
 title     = {{CoSMed}: {A} Confidentiality-Verified Social Media Platform},
 journal   = {J. Autom. Reason.},
 volume    = {61},
 number    = {1-4},
 pages     = {113--139},
 year      = {2018},
 url       = {https://doi.org/10.1007/s10817-017-9443-3},
 doi       = {10.1007/s10817-017-9443-3},
 timestamp = {Wed, 02 Sep 2020 13:30:01 +0200},
 biburl    = {https://dblp.org/rec/journals/jar/BauereissGPR18.bib},
 bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{cosmed-itp2016,
 author    = {Thomas Bauerei{\ss} and
 Armando {Pesenti Gritti} and
 Andrei Popescu and
 Franco Raimondi},
 editor    = {Jasmin Christian Blanchette and
 Stephan Merz},
 title     = {CoSMed: {A} Confidentiality-Verified Social Media Platform},
 booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
 2016, Nancy, France, August 22-25, 2016, Proceedings},
 series    = {Lecture Notes in Computer Science},
 volume    = {9807},
 pages     = {87--106},
 publisher = {Springer},
 year      = {2016},
 url       = {https://doi.org/10.1007/978-3-319-43144-4\_6},
 doi       = {10.1007/978-3-319-43144-4\_6},
 timestamp = {Tue, 14 May 2019 10:00:37 +0200},
 biburl    = {https://dblp.org/rec/conf/itp/BauereissG0R16.bib},
 bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{cosmedis-SandP2017,
 author    = {Thomas Bauerei{\ss} and
 Armando {Pesenti Gritti} and
 Andrei Popescu and
 Franco Raimondi},
 title     = {CoSMeDis: {A} Distributed Social Media Platform with Formally Verified
 Confidentiality Guarantees},
 booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
 CA, USA, May 22-26, 2017},
 pages     = {729--748},
 publisher = {{IEEE} Computer Society},
 year      = {2017},
 url       = {https://doi.org/10.1109/SP.2017.24},
 doi       = {10.1109/SP.2017.24},
 timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
 biburl    = {https://dblp.org/rec/conf/sp/BauereissG0R17.bib},
 bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDSecurity-AFP,
 author  = {Andrei Popescu and Peter Lammich and Thomas Bauereiss},
 title   = {Bounded-Deducibility Security},
 booktitle = {Archive of Formal Proofs},
 year    = 2014,
 editor = {Gerwin Klein and Tobias Nipkow and Larry Paulson},
 url = "https://www.isa-afp.org/entries/Bounded_Deducibility_Security.html"
}

@inproceedings{BDSecuritycomp-AFP,
 author  = {Thomas Bauereiss and Andrei Popescu},
 title   = {Compositional {BD} {Security}},
 booktitle = {Archive of Formal Proofs},
 year    = 2021,
 editor = {Manuel Eberl and Gerwin Klein and Andreas Lochbihler and
 Tobias Nipkow and Larry Paulson and Ren\'{e} Thiemann},
 url = {https://www.isa-afp.org/entries/BD_Security_Compositional.html}
}

@inproceedings{cosmed-AFP,
 author  = {Thomas Bauereiss and Andrei Popescu},
 title   = {{CoSMed}: A Confidentiality-Verified Social Media Platform},
 booktitle = {Archive of Formal Proofs},
 year    = 2021,
 editor = {Manuel Eberl and Gerwin Klein and Andreas Lochbihler and
 Tobias Nipkow and Larry Paulson and Ren\'{e} Thiemann},
 url = {https://www.isa-afp.org/entries/CoSMed.html}
}

@inproceedings{cosmedis-AFP,
 author  = {Thomas Bauereiss and Andrei Popescu},
 title   = {{CoSMeDis}: A Confidentiality-Verified Distributed Social Media
 Platform},
 booktitle = {Archive of Formal Proofs},
 year    = 2021,
 editor = {Manuel Eberl and Gerwin Klein and Andreas Lochbihler and
 Tobias Nipkow and Larry Paulson and Ren\'{e} Thiemann},
 url = {https://www.isa-afp.org/entries/CoSMeDis.html}
}

@inproceedings{cocon-AFP,
 author  = {Andrei Popescu and Peter Lammich and Thomas Bauereiss },
 title   = {{CoCon}: A Confidentiality-Verified Conference Management System},
 booktitle = {Archive of Formal Proofs},
 year    = 2021,
 editor = {Manuel Eberl and Gerwin Klein and Andreas Lochbihler and
 Tobias Nipkow and Larry Paulson and Ren\'{e} Thiemann},
 url = {https://www.isa-afp.org/entries/CoCon.html}
}

@misc{diaspora,
 title = "The {Diaspora} Project",
 howpublished = "\url{https://diasporafoundation.org/}",
 year = 2021
}