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

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Author is Gregor Snelting  [Clear All Filters]
2015
S. Arzt, Bartel, A., Gay, R., Lortz, S., Lovat, E., Mantel, H., Mohr, M., Nordhoff, B., Perner, M., Rasthofer, S., Schneider, D., Snelting, G., Starostin, A., and Weber, A., “Software Security for Mobile Devices”, Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.
G. Snelting, “Understanding Probabilistic Software Leaks”, Science of Computer Programming, 2015.
2014
G. Snelting, Giffhorn, D., Graf, J., Hammer, C., Hecker, M., Mohr, M., and Wasserrab, D., “Checking Probabilistic Noninterference Using JOANA”, it - Information Technology, 2014.
D. Giffhorn and Snelting, G., “A New Algorithm for Low-Deterministic Security”, International Journal on Information Security, 2014.