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

Export 33 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
A. Lux, Mantel, H., and Perner, M., “Scheduler-Independent Declassification”, in Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012), 2012.
S. Pfeiffer, Unger, S., Timmermann, D., and Lehmann, A., “Secure Information Flow Awareness for Smart Wireless eHealth Systems”, in Proceedings of 9th International Multi-Conference on Systems, Signals and Devices (SSD 2012), 2012.
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.
M. N. Rabe, Lammich, P., and Popescu, A., “A shallow embedding of HyperCTL”, Archive of Formal Proofs, 2014.
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.
T
F. Kelbert and Pretschner, A., “Towards a Policy Enforcement Infrastructure for Distributed Usage Control”, in Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT 2012), 2012.
U
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.

Pages