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

Export 2 results:
[ Author(Desc)] Title Type Year
Filters: Author is Ralf Küsters  [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 
K
R. Küsters, Truderung, T., Beckert, B., Bruns, D., Kirsten, M., and Mohr, M., “A Hybrid Approach for Proving Noninterference of Java Programs”, in Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), 2015.
R. Küsters, Müller, J., Scapin, E., and Truderung, T., “sElect: A Lightweight Verifiable Remote Voting System”, in Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF), 2016.