
@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 {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 {610,
	title = {From Types to Sets by Local Type Definitions in Higher-Order Logic},
	booktitle = {Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP)},
	year = {2016},
	author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu}
}
@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}
}
@conference {604,
	title = {A Fully Decentralized Data Usage Control Enforcement Infrastructure},
	booktitle = {Proceedings of the 13th International Conference on Applied Cryptography and Network Security},
	year = {2015},
	author = {Florian Kelbert and Alexander Pretschner}
}
@booklet {587,
	title = {Security in Web-Based Workflows},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Thomas Bauereiss and Abhishek Bichhawat and Iulia Bolosteanu and Peter Faymonville and Bernd Finkbeiner and Deepak Garg and Richard Gay and Sergey Grebenshchikov and Christian Hammer and Dieter Hutter and Ond{\v r}ej Kun{\v c}ar and Peter Lammich and Heiko Mantel and Christian M{\"u}ller and Andrei Popescu and Markus Rabe and Vineet Rajani and Helmut Seidl and Markus Tasch and Leander Tentrup}
}
@conference {591,
	title = {SHRIFT System-wide HybRid Information Flow Tracking},
	booktitle = {Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC)},
	year = {2015},
	author = {Enrico Loval and Alexander Fromm and Martin Mohr and Alexander Pretschner}
}
@booklet {586,
	title = {Software Security for Mobile Devices},
	howpublished = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Steven Arzt and Alexandre Bartel and Richard Gay and Steffen Lortz and Enrico Lovat and Heiko Mantel and Martin Mohr and Benedikt Nordhoff and Matthias Perner and Siegfried Rasthofer and David Schneider and Gregor Snelting and Artem Starostin and Alexandra Weber}
}
@conference {594,
	title = {Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis},
	booktitle = {Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)},
	year = {2015},
	author = {Heiko Mantel and Markus M{\"u}ller-Olm and Matthias Perner and Alexander Wenner}
}
@article {ar:PopescuLammich2014,
	title = {Bounded-Deducibility Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {A. Popescu and P. Lammich}
}
@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 {584,
	title = {Decentralized Distributed Data Usage Control},
	booktitle = {Proceedings of the 13th International Conference on Cryptology and Network Security (CANS 2014)},
	year = {2014},
	author = {Florian Kelbert and Alexander Pretschner}
}
@conference {inp:WuchnerOchoaPretschner2014,
	title = {{Malware Detection with Quantitative Data Flow Graphs}},
	booktitle = {Proceedings of the 9th ACM Symposyum on Information, Computer and Communications Security (ASIACCS 2014)},
	year = {2014},
	note = {To appear.},
	author = {T. W{\"u}chner and M. Ochoa and A. Pretschner}
}
@conference {inp:MantelPernerSauer2014a,
	title = {Noninterference under Weak Memory Models},
	booktitle = {Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF 2014)},
	year = {2014},
	note = {To appear.},
	author = {H. Mantel and M. Perner and J. Sauer}
}
@article {ar:PopescuHoelzl2014,
	title = {Probabilistic Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {A. Popescu and J. H{\"o}lzl}
}
@conference {inp:LovatOudinetPretschner2014a,
	title = {On Quantitative Dynamic Data Flow Tracking},
	booktitle = {Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (CODASPY 2014)},
	year = {2014},
	author = {E. Lovat and J. Oudinet and A. Pretschner}
}
@article {ar:RabeLammichPopescu2014,
	title = {A shallow embedding of HyperCTL},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {M. N. Rabe and P. Lammich and A. Popescu}
}
@conference {inp:BlanchetteBoehmePopescuSmallbone2013,
	title = {Encoding Monomorphic and Polymorphic Types},
	booktitle = {Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)},
	year = {2013},
	author = {J. C. Blanchette and S. B{\"o}hme and A. Popescu and N. Smallbone}
}
@article {inp:PopescuHoelzlNipkow2013a,
	title = {Formal Verification of Language-Based Concurrent Noninterference},
	journal = {J. Formalized Reasoning},
	volume = {6},
	number = {1},
	year = {2013},
	pages = {1-30},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
@conference {inp:PopescuHoelzlNipkow2013b,
	title = {Formalizing Probabilistic Noninterference},
	booktitle = {Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013)},
	year = {2013},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
@conference {inp:BlanchettePopescu2013,
	title = {Mechanizing the Metatheory of Sledgehammer},
	booktitle = {Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCos 2013)},
	year = {2013},
	author = {J. C. Blanchette and A. Popescu}
}
@conference {inp:PopescuHoelzlNipkow2013,
	title = {Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference},
	booktitle = {Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)},
	year = {2013},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
@conference {inp:BlanchettePopescuWandWeidenbach2012,
	title = {More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification},
	booktitle = {Proceedings of the 3rd Conference on Interactive Theorem Proving (ITP 2012)},
	year = {2012},
	author = {J. C. Blanchette and A. Popescu and D. Wand and C. Weidenbach}
}
@article {ar:PopescuHoelzl2012,
	title = {Possibilistic Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2012},
	author = {A. Popescu and J. H{\"o}lzl}
}
@conference {inp:PopescuHoelzlNipkow2012,
	title = {Proving Concurrent Noninterference},
	booktitle = {Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012)},
	year = {2012},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
@conference {inp:LuxMantelPerner2012a,
	title = {Scheduler-Independent Declassification},
	booktitle = {Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012)},
	year = {2012},
	author = {A. Lux and H. Mantel and M. Perner}
}
@conference {inp:PfeifferUngerTimmermannLehmann2012a,
	title = {Secure Information Flow Awareness for Smart Wireless {eHealth} Systems},
	booktitle = {Proceedings of 9th International Multi-Conference on Systems, Signals and Devices (SSD 2012)},
	year = {2012},
	author = {S. Pfeiffer and S. Unger and D. Timmermann and A. Lehmann}
}
@conference {inp:KelbertPretschner2012,
	title = {{Towards a Policy Enforcement Infrastructure for Distributed Usage Control}},
	booktitle = {Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT 2012)},
	year = {2012},
	author = {F. Kelbert and A. Pretschner}
}
@conference {inp:LovatPretschner2011,
	title = {{Data-centric multi-layer usage control enforcement: a Social Network Example}},
	booktitle = {Proceedings of the 16th ACM symposium on Access control models and technologies (SACMAT 2011)},
	year = {2011},
	author = {E. Lovat and A. Pretschner}
}
@conference {inp:KumariPretschnerPeschlaKuhn2011a,
	title = {Distributed Data Usage Control for Web Applications: A Social Network Implementation},
	booktitle = {Proceedings of the 1st ACM Conference on Data and Application Security and Privacy (CODASPY 2011)},
	year = {2011},
	author = {P. Kumari and A. Pretschner and J. Peschla and J.-M. Kuhn}
}
@conference {inp:PretschnerLovatBuechler2011,
	title = {{Representation-Independent Data Usage Control}},
	booktitle = {6th International Workshop on Data Privacy Management (DPM 2011)},
	year = {2011},
	author = {A. Pretschner and E. Lovat and M. Buechler}
}
