E
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.
C
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.
G. Snelting, Giffhorn, D., Graf, J., Hammer, C., Hecker, M., Mohr, M., and Wasserrab, D.,
“Checking Probabilistic Noninterference Using JOANA”,
it - Information Technology, 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.
Pages