Sören Bleikertz
Sören Bleikertz
Researcher, IBM Research - Zurich
Geverifieerd e-mailadres voor zurich.ibm.com
Titel
Geciteerd door
Geciteerd door
Jaar
Security audits of multi-tier virtual infrastructures in public infrastructure clouds
S Bleikertz, M Schunter, CW Probst, D Pendarakis, K Eriksson
Proceedings of the 2010 ACM workshop on Cloud computing security workshop …, 2010
1142010
Cloud radar: near real-time detection of security failures in dynamic virtualized infrastructures
S Bleikertz, C Vogel, T Groß
Proceedings of the 30th annual computer security applications conference, 26-35, 2014
502014
Automated information flow analysis of virtualized infrastructures
S Bleikertz, T Groß, M Schunter, K Eriksson
European Symposium on Research in Computer Security, 392-415, 2011
442011
Proactive security analysis of changes in virtualized infrastructures
S Bleikertz, C Vogel, T Groß, S Mödersheim
Proceedings of the 31st annual computer security applications conference, 51-60, 2015
382015
A virtualization assurance language for isolation and deployment
S Bleikertz, T Groß
2011 IEEE International Symposium on Policies for Distributed Systems and …, 2011
372011
Automated verification of virtualized infrastructures
S Bleikertz, T Groß, S Mödersheim
Proceedings of the 3rd ACM workshop on Cloud computing security workshop, 47-58, 2011
362011
Secure cloud maintenance: protecting workloads against insider attacks
S Bleikertz, A Kurmus, ZA Nagy, M Schunter
Proceedings of the 7th ACM Symposium on Information, Computer and …, 2012
352012
Client-controlled cryptography-as-a-service in the cloud
S Bleikertz, S Bugiel, H Ideler, S Nürnberger, AR Sadeghi
International Conference on Applied Cryptography and Network Security, 19-36, 2013
272013
Automated security analysis of infrastructure clouds
S Bleikertz
Institutt for telematikk, 2010
242010
Defining the cloud battlefield-supporting security assessments by cloud customers
S Bleikertz, T Mastelic, S Pape, W Pieters, T Dimkov
2013 IEEE International Conference on Cloud Engineering (IC2E), 78-87, 2013
182013
Automating security audits of heterogeneous virtual infrastructures
S Bleikertz, T Gross, M Schunter, K Eriksson
Technical Report RZ3786. IBM, 2010
32010
A structured semantic domain for smart contracts
S Bleikertz, A Lochbihler, O Maric, S Meier, M Schmalz, RG Veprek, ...
Computer Security Foundations poster session (CSF 2019), https://www. canton …, 2019
22019
Modeling and analysis of dynamic infrastructure clouds
S Bleikertz, T Groß, S Mödersheim
Technical report, IBM Zurich, 2013
22013
Automated Security Analysis of Virtualized Infrastructures
S Bleikertz
Technische Universität, 2017
12017
Security analysis of dynamic infrastructure clouds
S Bleikertz, T Groß, S Mödersheim
September, 2013
12013
Mass storage devices packages and software-defined arrays of such packages
S Bleikertz, N Knezevic, ZA Nagy
US Patent App. 15/232,805, 2018
2018
Automating Security Audits of Heterogeneous Virtual Infrastructures
SBT Groß, M Schunter, K Eriksson
DCDV 2014 Workshop Committee
JK Muppala, M Hiltunen, P Veríssimo, A Bessani, S Bleikertz, A Casimiro, ...
Dynamic Information Flow Graphs with Flow Rules
S Bleikertz, T Groß, S Mödersheim
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–19