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

Export 4 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is U  [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
H. Blasum, Havle, O., Langenstein, B., Nemouchi, Y., Schmaltz, J., Stephan, W., Tverdyshew, S., Verbeek, F., and Wolf, B., “Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System”, in Isabelle 2014 workshop at FloC 2014, 2014.
G
J. Graf, Hecker, M., and Mohr, M., “Using JOANA for Information Flow Control in Java Programs - A Practical Guide”, in Proceedings of the 6th Working Conference on Programming Languages (ATPS 2013), 2013.
M
H. Mantel, Müller-Olm, M., Perner, M., and Wenner, A., “Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis”, in Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), 2015.
S
G. Snelting, “Understanding Probabilistic Software Leaks”, Science of Computer Programming, 2015.