Filtrer vos résultats
- 98
- 39
- 21
- 10
- 5
- 4
- 2
- 1
- 1
- 45
- 25
- 21
- 15
- 15
- 13
- 12
- 12
- 11
- 11
- 10
- 10
- 10
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 181
- 11
- 1
- 181
- 12
- 11
- 11
- 11
- 9
- 8
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 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
- 181
- 181
- 181
- 181
- 57
- 57
- 50
- 43
- 33
- 29
- 27
- 25
- 25
- 24
- 24
- 24
- 24
- 24
- 24
- 24
- 24
- 22
- 21
- 19
- 17
- 14
- 14
- 13
- 13
- 13
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 172
- 9
- 141
- 38
- 2
- 1
- 2
- 17
- 22
- 29
- 21
- 15
- 18
- 22
- 26
- 8
Catala, a new Programming Language for Lawyers and DevelopersAcademic Symposium - Law + Computation: An Algorithm for the Rule of Law and Justice?, Northwestern Law and Technology Initiative and the Northwestern Journal of Technology and Intellectual Property, Feb 2021, Chicago, United States
Communication dans un congrès
hal-04203703v1
|
|||
|
A Mechanized Formalization of GraphQLCPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, United States. ⟨10.1145/3372885.3373822⟩
Communication dans un congrès
hal-02422532v1
|
||
Catala: A domain-specific programming language for implementing legislative textMIT Law IdeaFLow, Sep 2021, Cambridge, United States
Communication dans un congrès
hal-04203716v1
|
|||
|
Type‐Preserving CPS Translation of Σ and Π Types is Not Not PossibleProceedings of the ACM on Programming Languages, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
Article dans une revue
hal-01672735v1
|
||
|
A verification framework for secure machine learningPrivacy preserving machine learning Virtual ACM CCS 2021 Workshop, Nov 2019, London / Virtual, United Kingdom
Communication dans un congrès
hal-03465963v1
|
||
|
Les sciences computationnelles peuvent-elles participer à l’innovation publique ?Où en est l’innovation publique ?, INSP, Nov 2022, Paris, France
Communication dans un congrès
hal-03933587v1
|
||
|
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security32nd USENIX Security Symposium 2023, USENIX, Aug 2023, Anaheim, United States
Communication dans un congrès
hal-04126116v3
|
||
|
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
|
||
|
Steel: proof-oriented programming in a dependently typed concurrent separation logicProceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Article dans une revue
hal-03466397v1
|
||
|
Traduire la loi en code grâce au langage de programmation CatalaIntelligence artificielle et finances publiques, Oct 2020, Nice, France
Communication dans un congrès
hal-03128248v1
|
||
|
Turning Catala into a Proof Platform for the LawPOPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
Communication dans un congrès
hal-03447072v1
|
||
|
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
|
||
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
|
|||
|
Meta-F*: Proof automation with SMT, Tactics, and MetaprogramsESOP'19 - European Symposium on Programming, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17184-1_2⟩
Communication dans un congrès
hal-01995376v1
|
||
|
Automatic verification of transparency protocols2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), Jul 2023, Delft, Netherlands. ⟨10.1109/EuroSP57164.2023.00016⟩
Communication dans un congrès
hal-04219234v1
|
||
|
Analysing the HPKE StandardEurocrypt 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb, Croatia. pp.87-116, ⟨10.1007/978-3-030-77870-5_4⟩
Communication dans un congrès
hal-03471218v1
|
||
|
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol[Research Report] RR-9269, Inria Paris. 2019, pp.50
Rapport
hal-02100345v3
|
||
|
CV2EC: Getting the Best of Both Worlds2023
Pré-publication, Document de travail
hal-04321656v1
|
||
|
Dependent Types and Multi-Monadic Effects in F*43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016, St. Petersburg, Florida, United States. pp.256-270, ⟨10.1145/2837614.2837655⟩
Communication dans un congrès
hal-01265793v1
|
||
|
Extending the SQUIRREL meta-logic for reasoning over security protocols2021
Pré-publication, Document de travail
hal-03264227v1
|
||
|
Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard3rd International Workshop on Formal Methods for Blockchains, Jul 2021, Los Angeles, United States. ⟨10.4230/OASIcs.FMBC.2021.2⟩
Communication dans un congrès
hal-03498062v1
|
||
|
miTLS: Verifying Protocol Implementations against Real-World AttacksIEEE Security and Privacy Magazine, 2016, 14 (6), pp.18-25. ⟨10.1109/MSP.2016.123⟩
Article dans une revue
hal-01425964v1
|
||
|
A Verified Extensible Library of Elliptic Curves29th IEEE Computer Security Foundations Symposium (CSF), Jun 2016, Lisboa, Portugal. ⟨10.1109/CSF.2016.28⟩
Communication dans un congrès
hal-01425957v1
|
||
IRTF RFC 9180: Hybrid Public Key Encryption2022
Autre publication
hal-03946590v1
|
|||
|
Security Analysis of the W3C Web Cryptography APIProceedings of Security Standardisation Research (SSR), Dec 2017, Gaithersberg, United States. pp.112 - 140, ⟨10.1007/978-3-319-49100-4_5⟩
Communication dans un congrès
hal-01426852v1
|
||
|
Formal Verification for High Assurance Security Software in FStarCryptography and Security [cs.CR]. Université PSL, 2020. English. ⟨NNT : ⟩
Thèse
tel-04325833v1
|
||
|
Analysing the HPKE Standard[Research Report] IACR Cryptology ePrint Archive. 2020
Rapport
hal-03113251v2
|
||
|
Composition Theorems for CryptoVerif and Application to TLS 1.331st IEEE Computer Security Foundations Symposium (CSF'18), Jul 2018, Oxford, United Kingdom. ⟨10.1109/CSF.2018.00009⟩
Communication dans un congrès
hal-01947959v1
|
||
|
Cracking the Stateful NutCSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03500056v1
|
||
|
A comprehensive, formal and automated analysis of the EDHOC protocolUSENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
Communication dans un congrès
hal-03810102v1
|