Seguir
Oliver Schwarz
Oliver Schwarz
Researcher at RISE SICS
No hay ninguna dirección de correo electrónico verificada.
Título
Citado por
Citado por
Año
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
1132013
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
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
20*
Formal verification of secure user mode device execution with DMA
O Schwarz, M Dam
Haifa Verification Conference, 236-251, 2014
182014
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
62014
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9