
@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}
}
