@conference {628, title = {Comprehending Isabelle/HOL{\textquoteright}s Consistency}, booktitle = {Proceedings of the 26th European Symposium on Programming (ESOP)}, year = {2017}, author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu} } @conference {626, title = {CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees}, booktitle = {Proceedings of the 38th IEEE Symposium on Security and Privacy (S\&P)}, year = {2017}, author = {Thomas Bauerei{\ss} and Armando Pesenti Gritti and Andrei Popescu and Franco Raimondi} } @conference {614, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)}, year = {2016}, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon} } @conference {621, title = {Computing Specification-Sensitive Abstractions for Program Verification}, booktitle = {Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA)}, year = {2016}, author = {Tianhai Liu and Shmuel Tyszberowicz and Mihai Herda and Bernhard Beckert and Daniel Grahl and Mana Taghdiri} } @conference {609, title = {CoSMed: A Confidentiality-Verified Social Media Platform}, booktitle = {Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)}, year = {2016}, author = {Thomas Bauerei{\ss} and Armando Pesenti Gritti and Andrei Popescu and Franco Raimondi} } @conference {623, title = {A Consistent Foundation for Isabelle/HOL}, booktitle = {Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP)}, year = {2015}, author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu} } @article {582, title = {Checking Probabilistic Noninterference Using JOANA}, journal = {it - Information Technology}, year = {2014}, author = {Gregor Snelting and Dennis Giffhorn and J{\"u}rgen Graf and Christian Hammer and Martin Hecker and Martin Mohr and Daniel Wasserrab} } @conference {inp:BauereissHutter2014a, title = {Compatibility of Safety Properties and Possibilistic Information Flow Security in {MAKS}}, booktitle = {Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC 2014)}, year = {2014}, author = {T. Bauereiss and D. Hutter} } @conference {inp:KanavLammichPopescu2014, title = {A Conference Management System with Verified Document Confidentiality}, booktitle = {Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014)}, year = {2014}, note = {To appear.}, author = {S. Kanav and P. Lammich and A. Popescu} } @conference {inp:Lovat2014, title = {Cross-Layer Data-Centric Usage Control}, booktitle = {Proceedings of the International Symposium on Engineering Secure Software and Systems - Doctoral Symposium (ESSoS 2014))}, year = {2014}, note = {To appear.}, author = {E. Lovat} } @conference {inp:WuchnerMullerFischer2013, title = {{Compliance-Preserving Cloud Storage Federation Based on Data-Driven Usage Control}}, booktitle = {Proceedings of the 5th International Conference on Cloud Computing Technology and Science (CloudCom 2013)}, year = {2013}, author = {T. W{\"u}chner and S. M{\"u}ller and R. Fischer} } @conference {inp:LammichMuellerOlmSeidlWenner2013, title = {Contextual Locking for Dynamic Pushdown Networks}, booktitle = {Proceedings of the 20th International Symposium on Static Analysis (SAS 2013)}, year = {2013}, author = {P. Lammich and M. M{\"u}ller-Olm and H. Seidl and A. Wenner} } @conference {inp:KuestersTruderungVogt2012a, title = {{Clash Attacks on the Verifiability of E-Voting Systems}}, booktitle = {Proceedings of the 33rd IEEE Symposium on Security and Privacy (S{\&}P 2012)}, year = {2012}, author = {R. K{\"u}sters and T. Truderung and A. Vogt} }