Conference Paper
W. Ahrendt, Beckert, B., Bruns, D., Bubel, R., Gladisch, C., Grebing, S., Hähnle, R., Henschel, M., Herda, M., Klebanov, V., Mostowski, W., Scheben, C., Schmitt, P. H., and Ulbrich, M.,
“The KeY Platform for Verification and Analysis of Java Programs”, in
Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments, 2014.
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.
K. Katkalov, Stenzel, K., Borek, M., and Reif, W.,
“Model-Driven Development of Information Flow-Secure Systems with IFlow”, in
Proceedings of 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT 2013), 2013.
C. Atkinson, Gerbig, R., and Kennel, B.,
“On-the-Fly Emendation of Multi-level Models”, in
8th European Conference on Modelling Foundations and Applications (ECMFA 2012), 2012.
F. Dörre and Klebanov, V.,
“Practical Detection of Entropy Loss in Pseudo-Random Number Generators”, in
Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS), 2016.
R. Küsters, Truderung, T., and Vogt, A.,
“Proving Coercion-Resistance of Scantegrity II”, in
Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010), 2010.
F. Dörre and Klebanov, V.,
“Pseudo-Random Number Generator Verification: A Case Study”, in
Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2015.
M. Kovács and Seidl, H.,
“Runtime Enforcement of Information Flow Security in Tree Manipulating Processes”, in
Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012), 2012.
V. Klebanov, Manthey, N., and Muise, C.,
“SAT-based Analysis and Quantification of Information Flow in Programs”, in
Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013), 2013.
R. Küsters, Müller, J., Scapin, E., and Truderung, T.,
“sElect: A Lightweight Verifiable Remote Voting System”, in
Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF), 2016.
V. Cortier, Galindo, D., Küsters, R., Müller, J., and Truderung, T.,
“SoK: Verifiability Notions for E-Voting Protocols”, in
Proceedings of the 37th IEEE Symposium on Security and Privacy (S&P), 2016.
V. Klebanov, Weigl, A., and Weisbarth, J.,
“Sound Probabilistic #SAT with Projection”, in
Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), 2016.
E. Lovat and Kelbert, F.,
“Structure Matters - A new Approach for Data flow Tracking”, in
Proceedings of the 4th International Workshop on Data Usage Management (DUMA 2014), 2014.
C. Atkinson, Gerbig, R., and Kennel, B.,
“Symbiotic general-purpose and domain-specific languages”, in
Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), 2012.
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.
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.
M. Keil and Thiemann, P.,
“Type-based Dependency Analysis for JavaScript”, in
Proceedings of the 8th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2013), 2013.
Journal Article
R. Küsters, Truderung, T., and Vogt, A.,
“A Game-Based Definition of Coercion-Resistance and its Applications”,
Journal of Computer Security (special issue of selected CSF 2010 papers), vol. 20, 2012.
K. Katkalov, Stenzel, K., Borek, M., and Reif, W.,
“Model-Driven Development of Information Flow-Secure Systems with IFlow”,
ASE Science Journal, vol. 2, 2013.
Miscellaneous
D. Bruns, Do, H. Quoc, Greiner, S., Herda, M., Mohr, M., Scapin, E., Truderung, T., Beckert, B., Küsters, R., Mantel, H., and Gay, R.,
“Security in E-Voting”,
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.
Pages