Oliver Schwarz

12 papers A* 1B 2Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2019 J jnl
On the verification of system-level information flow properties for virtualized execution platforms.
J. Cryptogr. Eng.
Christoph Baumann, Oliver Schwarz, Mads Dam
2017 — conf
Compositional Verification of Security Properties for Embedded Execution Platforms.
PROOFS
Christoph Baumann, Oliver Schwarz, Mads Dam
2016 — conf
A high assurance virtualization platform for ARMv8.
EuCNC
Christoph Baumann, Mats Näslund, Christian Gehrmann, Oliver Schwarz, Hans Thorsen
2016 B conf
Automatic Derivation of Platform Noninterference Properties.
SEFM
Oliver Schwarz, Mads Dam
2016 — —
No Hypervisor Is an Island: System-wide Isolation Guarantees for Low Level Code.
Oliver Schwarz
2015 J jnl
High Assurance Security Products on COTS Platforms.
ERCIM News
Rolf Blom, Oliver Schwarz
2014 — conf
Affordable Separation on Embedded Platforms - Soft Reboot Enabled Virtualization on a Dual Mode System.
TRUST
Oliver Schwarz, Christian Gehrmann, Viktor Do
2014 — conf
Formal Verification of Secure User Mode Device Execution with DMA.
Haifa Verification Conference
Oliver Schwarz, Mads Dam
2013 A* conf
Formal verification of information flow security for a simple arm-based separation kernel.
CCS
Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz
2013 B conf
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties.
CPP
Narges Khakpour, Oliver Schwarz, Mads Dam
2012 — conf
Securing DMA through virtualization.
COMPENG
Oliver Schwarz, Christian Gehrmann
2004 — conf
An update algorithm for Fourier coefficients.
EUSIPCO
Erich Fuchs, Tobias Hanning, Oliver Schwarz