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