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

Export 33 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is P  [Clear All Filters]
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.
E. Loval, Fromm, A., Mohr, M., and Pretschner, A., “SHRIFT System-wide HybRid Information Flow Tracking”, in Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC), 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.
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.
2016
T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMed: A Confidentiality-Verified Social Media Platform”, in Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP), 2016.
O. Kunčar and Popescu, A., “From Types to Sets by Local Type Definitions in Higher-Order Logic”, in Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP), 2016.
2017
O. Kunčar and Popescu, A., “Comprehending Isabelle/HOL's Consistency”, in Proceedings of the 26th European Symposium on Programming (ESOP), 2017.
T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees”, in Proceedings of the 38th IEEE Symposium on Security and Privacy (S&P), 2017.

Pages