School of
Computer Science
and Communication
KTH / CSC / TCS / People / Oliver Schwarz

About me

I am a PhD student at the group for Theoretical Computer Science of the School of Computer Science and Communication at the Royal Institute of Technology. Furthermore I am an employee of SICS Swedish ICT. As part of the collaboration of both I am working on the Formal Verification of a Security Providing Thin Hypervisor for Embedded Systems in the PROSPER project.


PGP:public key (Fingerprint: E190 59A1 5A97 8700 2B47 3479 5EFF 45AE AE9C 48E2)
phone: +46 72 2207954
fax: +46 8 751 7230 (indicate me as recipent)
postal address: SICS, Box 1263, SE-164 29 Kista, Sweden
visit me at:  KTH, Lindstedtsvägen 3, level 4, room 1446, Stockholm, Sweden, T-bana: Tekniska högskolan
- or -
SICS, Electrum building, floor B6, Isafjordsgatan 22/Kistagången 16, 164 40 Kista/Stockholm, Sweden, T-bana: Kista
SICS webpage:

Current Project

As part of the PROSPER project I am currently working on the Formal Verification of a Security Providing Thin Hypervisor for Embedded Systems.



Automatic Derivation of Platform Noninterference Properties
   Oliver Schwarz and Mads Dam
   Software Engineering and Formal Methods (SEFM) 2016.

A high assurance virtualization platform for ARMv8
   Christoph Baumann, Mats Näslund, Christian Gehrmann, Oliver Schwarz, and Hans Thorsen
   European Conference on Networks and Communications (EuCNC) 2016.

High Assurance Security Products on COTS Platforms
   Rolf Blom and Oliver Schwarz
   ERCIM News 102, pp. 39-40, ISSN 0926-4981, 2015.

Formal Verification of Secure User Mode Device Execution with DMA
   Oliver Schwarz and Mads Dam
   Hardware and Software: Verification and Testing. Haifa Verification Conference (HVC) 2014.

Affordable Separation on Embedded Platforms: Soft Reboot Enabled Virtualization on a Dual Mode System
   Oliver Schwarz, Christian Gehrmann and Viktor Do
   Proceedings of Trust and Trustworthy Computing (TRUST) 2014.

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties
   Narges Khakpour, Oliver Schwarz and Mads Dam
   Certified Programs and Proofs (CPP) 2013.

Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel
   Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati and Oliver Schwarz
   Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security (CCS'13)

Securing DMA through Virtualization
   Oliver Schwarz and Christian Gehrmann
   2012 IEEE Workshop on Complexity in Engineering (COMPENG 2012), 11-13 June 2012, Aachen, Germany


Published by: Oliver Schwarz <>
Updated 2011-01-31