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

Export 14 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is F  [Clear All Filters]
2017
B. Finkbeiner and Zimmermann, M., “The First-Order Logic of Hyperproperties”, in Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS), 2017.
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.
2015
F. Kelbert and Pretschner, A., “A Fully Decentralized Data Usage Control Enforcement Infrastructure”, in Proceedings of the 13th International Conference on Applied Cryptography and Network Security, 2015.
2014
S. Arzt, Rasthofer, S., Fritz, C., Bodden, E., Barte, A., Klein, J., Le Traon, Y., Octeau, D., and McDaniel, P., “FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps”, in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2014), 2014.
R. Küsters, Truderung, T., and Vogt, A., “Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking”, in Proceedings of the 35th IEEE Symposium on Security and Privacy (S&P 2014), 2014.
S. Grewe, Mantel, H., and Schoepe, D., “A Formalization of Assumptions and Guarantees for Compositional Noninterference”, Archive of Formal Proofs, 2014.
S. Grewe, Lux, A., Mantel, H., and Sauer, J., “A Formalization of Declassification with WHAT-and-WHERE-Security”, Archive of Formal Proofs, 2014.
S. Grewe, Lux, A., Mantel, H., and Sauer, J., “A Formalization of Strong Security”, Archive of Formal Proofs, 2014.
K. Stenzel, Katkalov, K., Borek, M., and Reif, W., “Formalizing Information Flow Control in a Model-Driven Approach”, in Proceedings of the Information Communication Technology-EurAsia (ICT-EurAsia 2014), 2014.
2013
A. Popescu, Hölzl, J., and Nipkow, T., “Formal Verification of Language-Based Concurrent Noninterference”, J. Formalized Reasoning, vol. 6, pp. 1-30, 2013.
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.
2012
B. Beckert and Bruns, D., “Formal Semantics of Model Fields in Annotation-based Specifications”, in {KI 2012}: Advances in Artificial Intelligence, 2012.
C. Mann and Starostin, A., “A Framework for Static Detection of Privacy Leaks in Android Applications”, in Proceedings of the 27th Symposium on Applied Computing (SAC 2012), 2012.
R. Küsters, Truderung, T., and Graf, J., “A Framework for the Cryptographic Verification of Java-like Programs”, in Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012), 2012.