Formal verification of information flow security for a simple ARM-based separation kernel M Dam, R Guanciale, N Khakpour, H Nemati, O Schwarz Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013 | 113 | 2013 |
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties N Khakpour, O Schwarz, M Dam Certified Programs and Proofs (CPP) 2013 8307, 276-291, 2013 | 31 | 2013 |
A High Assurance Virtualization Platform for ARMv8 C Baumann, M Näslund, C Gehrmann, O Schwarz, H Thorsen European Conference on Networks and Communications (EuCNC), 0 | 19* | |
Formal verification of secure user mode device execution with DMA O Schwarz, M Dam Haifa Verification Conference, 236-251, 2014 | 17 | 2014 |
Securing DMA through virtualization O Schwarz, C Gehrmann Complexity in Engineering (COMPENG), 2012, 1-6, 2012 | 9 | 2012 |
Automatic Derivation of Platform Noninterference Properties O Schwarz, M Dam International Conference on Software Engineering and Formal Methods, 27-44, 2016 | 8 | 2016 |
Affordable Separation on Embedded Platforms: Soft Reboot Enabled Virtualization on a Dual Mode System O Schwarz, C Gehrmann, V Do Trust and Trustworthy Computing, 37-54, 2014 | 6 | 2014 |
No Hypervisor Is an Island: System-wide Isolation Guarantees for Low Level Code O Schwarz KTH Royal Institute of Technology, 2016 | 1 | 2016 |
High Assurance Security Products on COTS Platforms R Blom, O Schwarz ERCIM NEWS, 39, 2015 | 1 | 2015 |