Personensuche
X
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
2
Formal Verification of Correctness and Information Flow Sec..:
, In:
?
The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science ,
3
A Case Study in Information Flow Refinement for Low Level S..:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
4
Foundations and Tools in HOL4 for Analysis of Microarchitec..:
, In:
?
Proceedings of the 5th International Workshop on P4 in Europe ,
5
HOL4P4 : semantics for a verified data plane:
, In:
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
6
On Compositional Information Flow Aware Refinement:
, In:
?
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security ,
7
InSpectre: Breaking and Fixing Microarchitectural Vulnerabi..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
8
Hoare-Style Logic for Unstructured Programs:
, In:
?
Lecture Notes in Computer Science; Principles of Security and Trust ,
10
Formal Verification of Integrity-Preserving Countermeasures..:
, In:
?
11
Computer Science Logic 2017
CSL 2017, August 20-24, 2017, Stockholm, Sweden
LIPIcs - Leibniz international proceedings in informatics ; vol. 82
?
12
Secure IT Systems
20th Nordic Conference, NordSec 2015, Stockholm, Sweden, Oc...
Lecture Notes in Computer Science ; 9417;SpringerLink, Bücher
?
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security ,
15