- A Structured Semantic Domain for Smart Contracts (Extended Abstract)
Sören Bleikertz, Andreas Lochbihler, Ognjen Maric, Simon Meier, Matthias Schmalz, Ratko G. Veprek
IEEE Computer Security Foundations Symposium (CSF 2019)
» [PDF]
-
Automated Security Analysis of Virtualized Infrastructures
Sören Bleikertz
PhD Thesis, TU Darmstadt, 2017
» [PDF]
-
Proactive Security Analysis of Changes in Virtualized Infrastructures
Sören Bleikertz, Thomas Groß, Sebastian Mödersheim, and Carsten Vogel
Annual Computer Security Applications Conference (ACSAC 2015)
» [PDF]
-
Cloud Radar: Near Real-Time Detection of Security Failures in Dynamic Virtualized Infrastructures
Sören Bleikertz, Thomas Groß, and Carsten Vogel
Annual Computer Security Applications Conference (ACSAC 2014)
» [PDF]
- Security Analysis of Dynamic Infrastructure Clouds
(Extended Abstract)
Sören Bleikertz, Thomas Groß, and Sebastian Mödersheim
Workshop on Trustworthy Clouds at ESORICS 2013
» [PDF]
-
Client-controlled Cryptography-as-a-Service in the Cloud
Sören Bleikertz, Sven Bugiel, Hugo Ideler, Stefan Nürnberger, Ahmad-Reza Sadeghi
International Conference on Applied Cryptography and Network Security (ACNS 2013)
» [PDF]
-
Defining the Cloud Battlefield - Supporting Security
Assessments by Cloud Customers
Sören Bleikertz, Toni Mastelić, Sebastian Pape, Wolter
Pieters, Trajce Dimkov
IEEE International Conference on Cloud Engineering
(IC2E 2013)
» [PDF]
-
Secure Cloud Maintenance - Protecting workloads against insider
attacks
Sören Bleikertz, Anil Kurmus, Zoltan A. Nagy, and Matthias Schunter
ACM Symposium on Information, Computer and
Communications Security (ASIACCS 2012)
» [PDF]
-
Automated Verification of Virtualized
Infrastructures
Sören Bleikertz, Thomas Groß, and Sebastian Mödersheim
ACM Cloud Computing Security Workshop (CCSW 2011)
» [PDF]
-
Automated Information Flow Analysis of Virtualized
Infrastructures
Sören Bleikertz, Thomas Groß, Matthias Schunter, and Konrad Eriksson
European Symposium on Research in Computer Security
(ESORICS 2011)
» [PDF]
-
A Virtualization Assurance Language for Isolation and
Deployment
Sören Bleikertz and Thomas Groß
IEEE International Symposium on Policies for
Distributed Systems and Networks (POLICY 2011)
» [PDF]
-
Security Audits of Multi-tier Virtual Infrastructures
in Public Infrastructure Clouds
Sören Bleikertz, Matthias Schunter, Christian W. Probst,
Konrad Eriksson, Dimitrios Pendarakis
ACM Cloud Computing Security Workshop (CCSW 2010)
» [PDF]
- Automated Security Analysis of Infrastructure Clouds
Sören Bleikertz
Master's Thesis (June 2010)
» [PDF]