Filtrer vos résultats
- 13
- 1
- 10
- 2
- 1
- 1
- 13
- 1
- 2
- 1
- 6
- 1
- 3
- 1
- 13
- 1
- 10
- 5
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
14 résultats
|
|
triés par
|
|
An Interactive Prover for Protocol Verification in the Computational ModelSP 2021 - 42nd IEEE Symposium on Security and Privacy, May 2021, San Fransisco / Virtual, United States
Communication dans un congrès
hal-03172119v1
|
||
|
The 5G-AKA Authentication Protocol PrivacyEuroS&P 2019 - IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.464-479, ⟨10.1109/EuroSP.2019.00041⟩
Communication dans un congrès
hal-03155483v1
|
||
|
Preuves symboliques de propriétés d’indistinguabilité calculatoireInformatique et langage [cs.CL]. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLN029⟩
Thèse
tel-02317745v1
|
||
|
High-Assurance Cryptography in the Spectre EraS&P 2021 - IEEE Symposium of Security and Privacy, May 2021, Virtual, France. ⟨10.1109/SP40001.2021.00046⟩
Communication dans un congrès
hal-03352062v1
|
||
|
A Higher-Order Indistinguishability Logic for Cryptographic ReasoningLICS, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175781⟩
Communication dans un congrès
hal-03981949v2
|
||
|
Semantic foundations for cost analysis of pipeline-optimized programsSAS 2022 - 29th International Symposium on Static Analysis, Dec 2022, Auckland, New Zealand. ⟨10.1007/978-3-031-22308-2_17⟩
Communication dans un congrès
hal-03779257v1
|
||
|
Mechanized Proofs of Adversarial Complexity and Application to Universal ComposabilityCCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2541-2563, ⟨10.1145/3460120.3484548⟩
Communication dans un congrès
hal-03469015v1
|
||
|
Cracking the Stateful NutCSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03500056v1
|
||
|
The Last Mile: High-Assurance and High-Speed Cryptographic ImplementationsSP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
Communication dans un congrès
hal-02974993v1
|
||
|
Mechanized Proofs of Adversarial Complexity and Application to Universal ComposabilityACM Transactions on Privacy and Security, 2023, 26 (3), pp.1-34. ⟨10.1145/3589962⟩
Article dans une revue
hal-04048217v1
|
||
|
Process-Centric Views of Data-Driven Business ArtifactsInternational Conference on Database Theory (ICDT), 2015, Bruxelles, Belgium. pp.18, ⟨10.4230/LIPIcs.ICDT.2015.247⟩
Communication dans un congrès
hal-01167033v1
|
||
|
Extending the SQUIRREL meta-logic for reasoning over security protocols2021
Pré-publication, Document de travail
hal-03264227v1
|
||
|
Decidability of a Sound Set of Inference Rules for Computational IndistinguishabilityACM Transactions on Computational Logic, 2021, 22 (1), pp.1 - 44. ⟨10.1145/3423169⟩
Article dans une revue
hal-03469091v1
|
||
|
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability2019 IEEE 32nd Computer Security Foundations Symposium (CSF), Jun 2019, Hoboken, France. pp.48-4813, ⟨10.1109/CSF.2019.00011⟩
Communication dans un congrès
hal-04392610v1
|