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

Export 4 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is U  [Clear All Filters]
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.
2014
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.
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.