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

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is U  [Clear All Filters]
2015
G. Snelting, Understanding Probabilistic Software Leaks, Science of Computer Programming, 2015.
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.
2013
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.