Oliver Schwarz

According to our database, Oliver Schwarz authored at least 12 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

On the verification of system-level information flow properties for virtualized execution platforms.

Christoph Baumann, Oliver Schwarz, Mads Dam

J. Cryptogr. Eng., 2019

2017

Compositional Verification of Security Properties for Embedded Execution Platforms.

Christoph Baumann, Oliver Schwarz, Mads Dam

Proceedings of the PROOFS 2017, 2017

2016

No Hypervisor Is an Island: System-wide Isolation Guarantees for Low Level Code.

Oliver Schwarz

PhD thesis, 2016

Automatic Derivation of Platform Noninterference Properties.

Oliver Schwarz, Mads Dam

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

A high assurance virtualization platform for ARMv8.

Christoph Baumann, Mats Näslund, Christian Gehrmann, Oliver Schwarz, Hans Thorsen

Proceedings of the European Conference on Networks and Communications, 2016

2015

High Assurance Security Products on COTS Platforms.

Rolf Blom, Oliver Schwarz

ERCIM News, 2015

2014

Affordable Separation on Embedded Platforms - Soft Reboot Enabled Virtualization on a Dual Mode System.

Oliver Schwarz, Christian Gehrmann, Viktor Do

Proceedings of the Trust and Trustworthy Computing - 7th International Conference, 2014

Formal Verification of Secure User Mode Device Execution with DMA.

Oliver Schwarz, Mads Dam

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties.

Narges Khakpour, Oliver Schwarz, Mads Dam

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

Formal verification of information flow security for a simple arm-based separation kernel.

Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Securing DMA through virtualization.

Oliver Schwarz, Christian Gehrmann

Proceedings of the Complexity in Engineering, 2012

2004

An update algorithm for Fourier coefficients.

Erich Fuchs, Tobias Hanning, Oliver Schwarz

Proceedings of the 2004 12th European Signal Processing Conference, 2004