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

Export 6 results:
Author Title [ Type(Asc)] Year
Filters: Author is Heiko Mantel  [Clear All Filters]
Miscellaneous
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.
T. Bauereiss, Bichhawat, A., Bolosteanu, I., Faymonville, P., Finkbeiner, B., Garg, D., Gay, R., Grebenshchikov, S., Hammer, C., Hutter, D., Kunčar, O., Lammich, P., Mantel, H., Müller, C., Popescu, A., Rabe, M., Rajani, V., Seidl, H., Tasch, M., and Tentrup, L., “Security in Web-Based Workflows”, Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.
D. Bruns, Do, H. Quoc, Greiner, S., Herda, M., Mohr, M., Scapin, E., Truderung, T., Beckert, B., Küsters, R., Mantel, H., and Gay, R., “Security in E-Voting”, Poster at the IEEE Symposium on Security and Privacy (S&P). 2015.
Conference Paper
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.
X. Li, Mantel, H., and Tasch, M., “Taming Message-passing Communication in Compositional Reasoning about Confidentiality”, in Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), 2017.
A. Askarov, Chong, S., and Mantel, H., “Hybrid Monitors for Concurrent Noninterference”, in Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), 2015.