Follow
Oliver Schwarz
Oliver Schwarz
Researcher at RISE SICS
No verified email
Title
Cited by
Cited by
Year
Formal verification of information flow security for a simple ARM-based separation kernel
M Dam, R Guanciale, N Khakpour, H Nemati, O Schwarz
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
982013
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties
N Khakpour, O Schwarz, M Dam
Certified Programs and Proofs (CPP) 2013 8307, 276-291, 2013
312013
Formal verification of secure user mode device execution with DMA
O Schwarz, M Dam
Haifa Verification Conference, 236-251, 2014
162014
A High Assurance Virtualization Platform for ARMv8
C Baumann, M Näslund, C Gehrmann, O Schwarz, H Thorsen
European Conference on Networks and Communications (EuCNC), 0
15*
Securing DMA through virtualization
O Schwarz, C Gehrmann
Complexity in Engineering (COMPENG), 2012, 1-6, 2012
92012
Automatic Derivation of Platform Noninterference Properties
O Schwarz, M Dam
International Conference on Software Engineering and Formal Methods, 27-44, 2016
82016
Affordable Separation on Embedded Platforms: Soft Reboot Enabled Virtualization on a Dual Mode System
O Schwarz, C Gehrmann, V Do
Trust and Trustworthy Computing, 37-54, 2014
6*2014
No Hypervisor Is an Island: System-wide Isolation Guarantees for Low Level Code
O Schwarz
KTH Royal Institute of Technology, 2016
12016
High Assurance Security Products on COTS Platforms
R Blom, O Schwarz
ERCIM NEWS, 39, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–9