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

Export 10 results:
[ Author(Desc)] 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 
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.
D
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.
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.
K
V. Klebanov, “Precise Quantitative Information Flow Analysis – A Symbolic Approach”, Theoretical Computer Science, 2014.
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.
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.
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.
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.