Filtrer vos résultats
- 9
- 5
- 3
- 1
- 9
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 8
- 1
- 6
- 6
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 6
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 résultats
|
|
triés par
|
|
Verifying Constant-Time Implementations by Abstract InterpretationEuropean Symposium on Research in Computer Security, Sep 2017, Oslo, Norway
Communication dans un congrès
hal-01588444v1
|
||
|
Proving full-system security properties under multiple attacker models on capability machinesCSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03826851v1
|
||
|
Verifying constant-time implementations by abstract interpretationJournal of Computer Security, 2019, 27 (1), pp.137--163. ⟨10.3233/JCS-181136⟩
Article dans une revue
hal-02025047v1
|
||
|
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted CodeJournal of the ACM (JACM), 2023, ⟨10.1145/3623510⟩
Article dans une revue
hal-03826854v3
|
||
|
33èmes journées francophones des langages applicatifsOuvrages hal-03689075v1 |
||
|
Verified Translation Validation of Static AnalysesComputer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States
Communication dans un congrès
hal-01588422v1
|
||
|
Static conflict detection for a policy languageVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), David Baelde; Jade Alglave, Jan 2015, Le Val d'Ajol, France
Communication dans un congrès
hal-01099124v1
|
||
|
Formal verification of a constant-time preserving C compilerProceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
Article dans une revue
hal-02975012v1
|
||
|
Formal Verification of Control-flow Graph FlatteningCertified Proofs and Programs (CPP 2016), Jan 2016, Saint-Petersburg, United States. pp.12, ⟨10.1145/2854065.2854082⟩
Communication dans un congrès
hal-01242063v1
|