Oliver Schwarz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2017
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CHES | Compositional Verification of Security Properties for Embedded Execution Platforms. | Christoph Baumann, Oliver Schwarz, Mads Dam |
| 2016 | SEFM | Automatic Derivation of Platform Noninterference Properties. | Oliver Schwarz, Mads Dam |
| 2013 | CCS | Formal verification of information flow security for a simple arm-based separation kernel. | Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz |
| 2013 | CPP | Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. | Narges Khakpour, Oliver Schwarz, Mads Dam |