About meI 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. Contact
Current ProjectAs part of the PROSPER project I am currently working on the Formal Verification of a Security Providing Thin Hypervisor for Embedded Systems.Supervisors:
PublicationsAutomatic Derivation of Platform Noninterference PropertiesOliver 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 Education
|