Filtrer vos résultats
- 11
- 6
- 2
- 1
- 1
- 1
- 2
- 10
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 10
- 1
- 8
- 3
- 1
- 1
- 1
- 11
- 6
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
11 résultats
|
|
triés par
|
|
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
|
||
|
Verifpal: Cryptographic Protocol Analysis for the Real World21st International Conference on Cryptology in India, 2020, Dec 2020, Bangalore, India
Communication dans un congrès
hal-03325360v1
|
||
|
L’algorithme et l’ordre publicArchives de philosophie du droit, 2015, 58, pp. 269-288
Article dans une revue
hal-03228678v1
|
||
|
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate[Research Report] RR-9040, Inria Paris. 2017, pp.51
Rapport
hal-01528752v3
|
||
|
Formal verification for real-world cryptographic protocols and implementationsCryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE065⟩
Thèse
tel-03245433v4
|
||
|
Capsule: A Protocol for Secure Collaborative Document Editing2018
Pré-publication, Document de travail
hal-01948967v1
|
||
|
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate38th IEEE Symposium on Security and Privacy, May 2017, San Jose, United States. pp.483 - 502, ⟨10.1109/SP.2017.26⟩
Communication dans un congrès
hal-01575920v2
|
||
|
Formal Modeling and Verification for Domain Validation and ACME[Research Report] INRIA Paris; Microsoft Research Cambridge. 2016
Rapport
hal-01397439v3
|
||
|
Formal Verification of Smart Contracts: Short PaperACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. ⟨10.1145/2993600.2993611⟩
Communication dans un congrès
hal-01400469v1
|
||
|
Ledger Design Language: Designing and Deploying Formally Verified Public LedgersWorkshop on Security Protocol Implementations: Development and Analysis, Apr 2018, London, United Kingdom
Communication dans un congrès
hal-01948971v1
|
||
|
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise ProtocolsEuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
Communication dans un congrès
hal-01948964v2
|