Filtrer vos résultats
- 7
- 4
- 7
- 1
- 1
- 1
- 1
- 1
- 11
- 1
- 4
- 2
- 2
- 1
- 1
- 11
- 10
- 2
- 2
- 2
- 11
- 9
- 4
- 2
- 2
- 2
- 2
- 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
11 résultats
|
|
|
triés par
|
TreeSync: Authenticated Group Management for Messaging Layer SecurityUSENIX Security '23, Aug 2023, Anaheim, United States
Communication dans un congrès
hal-04255953v1
|
|||
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Nov 2020, Virtual Event, United States
Communication dans un congrès
hal-03154275v1
|
|||
|
|
A Messy State of the Union: Taming the Composite State Machines of TLSIEEE Symposium on Security & Privacy 2015, May 2015, San Jose, United States
Communication dans un congrès
hal-01114250v1
|
||
|
|
MLS Architecture: analysis of the security, privacy and functional requirements2020
Pré-publication, Document de travail
hal-02439526v1
|
||
|
|
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic ProviderSP 2020 - IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.983-1002, ⟨10.1109/SP40000.2020.00114⟩
Communication dans un congrès
hal-03154278v1
|
||
|
|
Formally Verified Cryptographic Web Applications in WebAssemblySP 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩
Communication dans un congrès
hal-02294935v1
|
||
|
|
HACL * : A Verified Modern Cryptographic LibraryACM Conference on Computer and Communications Security (CCS), Oct 2017, Dallas, United States
Communication dans un congrès
hal-01588421v2
|
||
A messy state of the union: taming the composite state machines of TLSCommunications of the ACM, 2017, 60 (2), pp.99 - 107. ⟨10.1145/3023357⟩
Article dans une revue
hal-01673714v1
|
|||
|
|
Formal Verification for High Assurance Security Software in FStarCryptography and Security [cs.CR]. Université PSL, 2020. English. ⟨NNT : ⟩
Thèse
tel-04325833v1
|
||
|
|
FLEXTLS A Tool for Testing TLS Implementations9th USENIX Workshop on Offensive Technologies, WOOT '15, Usenix, Aug 2014, Washington DC, United States
Communication dans un congrès
hal-01295035v1
|
||
|
|
Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS[Research Report] Inria Paris. 2019
Rapport
hal-02425229v1
|