Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 10 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Title is P  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
W
D. Wasserrab and Lohner, D., “Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing”, in 6th International Verification Workshop (VERIFY 2010), 2010.
R
W. Rafnsson, Sabelfeld, A., and Garg, D., “Progress-Sensitive Security for SPARK”, in Proceedings of the 8th International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
P
A. Popescu and Hölzl, J., “Possibilistic Noninterference”, Archive of Formal Proofs, 2012.
A. Popescu, Hölzl, J., and Nipkow, T., “Proving Concurrent Noninterference”, in Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012), 2012.
A. Popescu and Hölzl, J., “Probabilistic Noninterference”, Archive of Formal Proofs, 2014.
K
R. Küsters, Truderung, T., and Vogt, A., “Proving Coercion-Resistance of Scantegrity II”, in Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010), 2010.
V. Klebanov, “Precise Quantitative Information Flow Analysis – A Symbolic Approach”, Theoretical Computer Science, 2014.
D
F. Dörre and Klebanov, V., “Pseudo-Random Number Generator Verification: A Case Study”, in Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2015.
F. Dörre and Klebanov, V., “Practical Detection of Entropy Loss in Pseudo-Random Number Generators”, in Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS), 2016.
B
T. Bauereiss and Hutter, D., “Possibilistic information flow security of workflow management systems”, in Proceedings of the 1st International Workshop on Graphical Models for Security at ETAPS 2014 (GraMSec 2014), 2014.