An update algorithm for Fourier coefficients. - Erich Fuchs; Tobias Hanning; Oliver Schwarz (EUSIPCO, 2004)

Securing DMA through virtualization. - Oliver Schwarz; Christian Gehrmann (COMPENG, 2012)

Formal verification of information flow security for a simple arm-based separation kernel. - Mads Dam; Roberto Guanciale; Narges Khakpour; Hamed Nemati; Oliver Schwarz (CCS, 2013)

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. - Narges Khakpour; Oliver Schwarz; Mads Dam (CPP, 2013)

Formal Verification of Secure User Mode Device Execution with DMA. - Oliver Schwarz; Mads Dam (Haifa Verification Conference, 2014)

Affordable Separation on Embedded Platforms - Soft Reboot Enabled Virtualization on a Dual Mode System. - Oliver Schwarz; Christian Gehrmann; Viktor Do (TRUST, 2014)

High Assurance Security Products on COTS Platforms. - Rolf Blom; Oliver Schwarz (ERCIM News, 2015)

A high assurance virtualization platform for ARMv8. - Christoph Baumann; Mats Näslund; Christian Gehrmann; Oliver Schwarz; Hans Thorsen (EuCNC, 2016)

Automatic Derivation of Platform Noninterference Properties. - Oliver Schwarz; Mads Dam (SEFM, 2016)

No Hypervisor Is an Island: System-wide Isolation Guarantees for Low Level Code. - Oliver Schwarz (2016)

Compositional Verification of Security Properties for Embedded Execution Platforms. - Christoph Baumann; Oliver Schwarz; Mads Dam (PROOFS, 2017)

On the verification of system-level information flow properties for virtualized execution platforms. - Christoph Baumann; Oliver Schwarz; Mads Dam (J. Cryptogr. Eng., 2019)