Oliver Schwarz

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Compositional Verification of Security Properties for Embedded Execution Platforms

Christoph Baumann and others (2017) · EPiC series in computing

Automatic Derivation of Platform Noninterference Properties

Oliver Schwarz and others (2016) · Lecture notes in computer science · Springer Science+Business Media