Oliver Schwarz

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 5

Top Topics

Formal Verification

Multi Context Systems

Information Flows

Security Properties

Top Venues

Publications

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