Items where Author is "Baumann, Christoph"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Guanciale, Roberto and Baumann, Christoph and Buiras, Pablo and Dam, Mads and Nemati, Hamed
(2022) A Case Study in Information Flow Refinement for Low Level Systems.
In: The Logic of Software. A Tasting Menu of Formal Methods. Springer International Publishing, pp. 54-79. ISBN 978-3-031-08166-8

Baumann, Christoph and Dam, Mads and Guanciale, Roberto and Nemati, Hamed
(2021) On Compositional Information Flow Aware Refinement.
In: 34th IEEE Computer Security Foundations Symposium.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Nemati, Hamed and Baumann, Christoph and Guanciale, Roberto and Dam, Mads
(2018) Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.
POST 2018.

Nemati, Hamed and Baumann, Christoph and Guanciale, Roberto and Dam, Mads
(2018) Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels.
In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.
Conference: POST International Conference on Principles of Security and Trust

Baumann, Christoph and Guanciale, Roberto and Nemati, Hamed and Dam, Mads
(2018) Verifying System Level Information Flow Using Confidentiality-Preserving Refinement.
In: In Submission.
Conference: SP IEEE Symposium on Security and Privacy
(Submitted)

Paul, Wolfgang J. and Baumann, Christoph and Lutsyk, P. and Schmaltz, Sabine and Oberhauser, J.
(2016) System Architecture as an Ordinary Engineering Discipline.
Springer.

Baumann, Christoph
(2008) Formal Specification of the x87 Floating-Point Instruction Set.
Diploma thesis, UNSPECIFIED.

This list was generated on Fri Apr 26 22:18:05 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.