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

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: Author is Jürgen Graf  [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 
C
G. Snelting, Giffhorn, D., Graf, J., Hammer, C., Hecker, M., Mohr, M., and Wasserrab, D., “Checking Probabilistic Noninterference Using JOANA”, it - Information Technology, 2014.
I
J. Breitner, Graf, J., Hecker, M., Mohr, M., and Snelling, G., “On Improvements Of Low-Deterministic Security”, in Proceedings of the 5th International Conference on Principles of Security and Trust (POST), 2016.