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

Export 33 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
Conference Paper
A. Bichhawat, Rajani, V., Garg, D., and Hammer, C., “Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis”, in Proceedings of the 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2014), 2014.
A. Popescu, Hölzl, J., and Nipkow, T., “Formalizing Probabilistic Noninterference”, in Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013), 2013.
F. Hadasch, Mueller, B., and Maedche, A., “Exploring Antecedent Environmental and Organizational Factors to User-Caused Information Leaks: A Qualitative Study”, in Proceedings of the 20th European Conference on Information Systems (ECIS 2012), Barcelona, Spain, 2012.
Q. Huy Do, Bubel, R., and Hähnle, R., “Exploit Generation for Information Flow Leaks in Object-Oriented Programs”, in Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC), 2015.
C. Hammer, “Experiences with PDG-based IFC”, in Proceedings of the 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010), 2010.
C. Hammer, “Efficient Algorithms for Control Closures”, in 1st International Workshop on Interference and Dependence (ID 2013), 2013.
T. Liu, Tyszberowicz, S., Herda, M., Beckert, B., Grahl, D., and Taghdiri, M., “Computing Specification-Sensitive Abstractions for Program Verification”, in Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), 2016.
T. Bauereiss and Hutter, D., “Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS”, in Proceedings of the 29th International Information Security and Privacy Conference (IFIP SEC 2014), 2014.

Pages