
@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}
}
@article {ar:PopescuHoelzl2014,
	title = {Probabilistic Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {A. Popescu and J. H{\"o}lzl}
}
@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}
}
