@conference {611, title = {Practical Detection of Entropy Loss in Pseudo-Random Number Generators}, booktitle = {Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS)}, year = {2016}, author = {Felix D{\"o}rre and Vladimir Klebanov} } @conference {622, title = {Progress-Sensitive Security for SPARK}, booktitle = {Proceedings of the 8th International Symposium on Engineering Secure Software and Systems (ESSoS)}, year = {2016}, author = {Willard Rafnsson and Andrei Sabelfeld and Deepak Garg} } @conference {601, title = {Pseudo-Random Number Generator Verification: A Case Study}, booktitle = {Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)}, year = {2015}, author = {Felix D{\"o}rre and Vladimir Klebanov} } @conference {inp:BauereissHutter2014b, title = {Possibilistic information flow security of workflow management systems}, booktitle = {Proceedings of the 1st International Workshop on Graphical Models for Security at ETAPS 2014 (GraMSec 2014)}, year = {2014}, author = {T. Bauereiss and D. Hutter} } @article {ar:Klebanov2014, title = {Precise Quantitative Information Flow Analysis {\textendash} A Symbolic Approach}, journal = {Theoretical Computer Science}, year = {2014}, note = {In press.}, author = {V. Klebanov} } @article {ar:PopescuHoelzl2014, title = {Probabilistic Noninterference}, journal = {Archive of Formal Proofs}, year = {2014}, author = {A. Popescu and J. H{\"o}lzl} } @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:KuestersTruderungVogt2010a, title = {{Proving Coercion-Resistance of Scantegrity II}}, booktitle = {Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010)}, year = {2010}, author = {R. K{\"u}sters and T. Truderung and A. Vogt} } @conference {inp:WasserabLohner2010a, title = {Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing}, booktitle = {6th International Verification Workshop (VERIFY 2010)}, year = {2010}, author = {D. Wasserrab and D. Lohner} }