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.
B. Finkbeiner, Hahn, C., Stenger, M., and Tentrup, L.,
“Monitoring Hyperproperties”, in
Proceedings of the 17th International Conference on Runtime Verification (RV), 2017.
2015
B. Finkbeiner, Rabe, M., and Sánchez, C.,
“Algorithms for Model Checking HyperLTL and HyperCTL*”, in
Proceedings of the 27th International Conference on Computer Aided Verification (CAV), 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.
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.
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.
L. Fennell and Thiemann, P.,
“Gradual Typing for Annotated Type Systems”, in
Proceedings of the 23rd European Symposium on Programming (ESOP 2014), 2014.
M. R. Clarkson, Finkbeiner, B., Koleini, M., Micinski, K. K., Rabe, M. N., and Sánchez, C.,
“Temporal Logics for Hyperproperties”, in
Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014), 2014.
2013
T. Wüchner, Müller, S., and Fischer, R.,
“Compliance-Preserving Cloud Storage Federation Based on Data-Driven Usage Control”, in
Proceedings of the 5th International Conference on Cloud Computing Technology and Science (CloudCom 2013), 2013.
L. Fennell and Thiemann, P.,
“Gradual Security Typing with References”, in
Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013), 2013, pp. 224-239.
2012
L. Fennell and Thiemann, P.,
“The Blame Theorem for a Linear Lambda Calculus with Type Dynamic”, in
Proceedings of the Symposium on Trends in Functional Programming (TFP 2012), 2012.
K. Katkalov, Fischer, P., Stenzel, K., Moebius, N., and Reif, W.,
“Evaluation of Jif and Joana as information flow analyzers in a model-driven approach”, in
Proceedings of 7th International Workshop on Data Privacy Management (DPM 2012), 2012.
A. Lehmann and Fahland, D.,
“Information Flow Security for Business Process Models - just one click away”, in
Proceedings of the 10th International Conference on Business Process Management - Demo Track (BPM 2012), 2012.
R. Dimitrova, Finkbeiner, B., Kovács, M., Rabe, M., and Seidl, H.,
“Model Checking Information Flow in Reactive Systems”, in
Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), 2012.
R. Ehlers and Finkbeiner, B.,
“Monitoring Realizability”, in
Proceedings of the 2nd International Conference on Runtime Verification (RV 2011), 2012.
R. Dimitrova, Finkbeiner, B., and Rabe, M. N.,
“Monitoring Temporal Information Flow”, in
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012.