Publications

Page 1 of 1.

1. Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi

   CoSMed: A Confidentiality-Verified Social Media Platform

   In: Journal of Automated Reasoning (JAR), Vol. 61, No. 1-4, Pages 113-139, Springer, Heidelberg, 12/2017.

2. Victor Ferman; Dieter Hutter; Raul Monroy

   WebMC for Browser Based Protocol Verification

   In: Grigori Sidorov; Ulises Cortés (Hrsg.). Computación y Sistemas, Vol. 21, No. 1, Pages 101-114, Instituto Politécnico Nacional, Mexico, Mexico City, 4/2017.

3. Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi

   CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees

   In: 2017 IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP-17), May 22-24, San Jose, CA, USA, IEEE, 2017.

4. Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi

   CoSMed: A Confidentiality-Verified Social Media Platform

   In: Jasmin Christian Blanchette; Stephan Merz (Hrsg.). Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2016), 7th, August 22-27, Nancy, France, Pages 87-106, LNCS, Vol. 9807, Springer, 8/2016.

5. Helmar Hutschenreuter; Dieter Hutter

   Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit

   In: GI Informatik 2016. GI-Informatiktage (Informatik-2016), Workshop zur Nutzerzentrierten Sicherheit, September 26-30, Klagenfurt, Austria, LNI, GI, 2016.

• 1