@inproceedings{sutherland-modelOfInf,
  author    = {D. Sutherland},
  title     = {A Model of Information},
  booktitle = {9th National Security Conference},
  year      = {1986},
  pages     = {175--183}
}

@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"
}

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