Filtrer vos résultats
- 46
- 14
- 8
- 3
- 1
- 1
- 1
- 74
- 16
- 10
- 10
- 9
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 74
- 45
- 30
- 24
- 8
- 8
- 7
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 72
- 72
- 72
- 72
- 43
- 34
- 32
- 20
- 20
- 20
- 20
- 20
- 20
- 20
- 20
- 17
- 14
- 12
- 11
- 11
- 10
- 10
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 74
- 54
- 19
- 1
- 4
- 2
- 3
- 4
- 7
- 7
- 4
- 8
- 10
- 4
- 7
- 2
- 5
- 4
- 3
TreeSync: Authenticated Group Management for Messaging Layer SecurityUSENIX Security '23, Aug 2023, Anaheim, United States
Communication dans un congrès
hal-04255953v1
|
|||
 |
Towards Unified Authorization for Android5th International Symposium on Engineering Secure Software and Systems (ESSoS 2013), Feb 2013, Rocquencourt, France. pp.42-57
Communication dans un congrès
hal-00863384v1
|
||
A Tutorial-Style Introduction to $\textsf {DY}^\star $Daniel Dougherty; José Meseguer; Sebastian Alexander Mödersheim; Paul Rowe. Protocols, Strands, and Logic, 13066, Springer International Publishing, pp.77-97, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91631-2_4⟩
Chapitre d'ouvrage
hal-03540824v1
|
|||
 |
Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust[Technical Report] Inria. 2021
Rapport
hal-03176482v1
|
||
 |
A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client HelloCCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles CA, United States. pp.365-379, ⟨10.1145/3548606.3559360⟩
Communication dans un congrès
hal-03922516v1
|
||
 |
Content Delivery over TLS: A Cryptographic Analysis of Keyless SSLEuroS&P 2017 - 2nd IEEE European Symposium on Security and Privacy, Apr 2017, Paris, France. IEEE, pp.600-615, 2017, ⟨10.1109/EuroSP.2017.52⟩
Document associé à des manifestations scientifiques
hal-01673853v2
|
||
 |
A Formal Treatment of Accountable Proxying over TLSSP 2018 - IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States
Communication dans un congrès
hal-01948722v1
|
||
 |
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
|
||
 |
Brief Announcement: A formalism for consistency and partial replicationDISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands
Communication dans un congrès
inria-00444779v1
|
||
 |
Transcript Collision Attacks: Breaking Authentication in TLS, IKE, and SSHNetwork and Distributed System Security Symposium -- NDSS 2016, Feb 2016, San Diego, United States. ⟨10.14722/ndss.2016.23418⟩
Communication dans un congrès
hal-01244855v1
|
||
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
|
|||
 |
Implementing and Proving the TLS 1.3 Record LayerSP 2017 - 38th IEEE Symposium on Security and Privacy, May 2017, San Jose, United States. pp.463-482, ⟨10.1109/SP.2017.58⟩
Communication dans un congrès
hal-01674096v2
|
||
 |
On the Practical (In-)Security of 64-bit Block CiphersACM CCS 2016 - 23rd ACM Conference on Computer and Communications Security, Oct 2016, Vienna, Austria. pp.456-467, ⟨10.1145/2976749.2978423⟩
Communication dans un congrès
hal-01404208v2
|
||
 |
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
|
||
 |
Handshake Privacy for TLS 1.3 - Technical report[Research Report] Inria Paris; Cloudflare. 2022
Rapport
hal-03594482v1
|
||
 |
hacspec: Towards Verifiable Crypto StandardsSecurity Standardisation Research. SSR 2018, Nov 2018, Darmstadt, Germany. pp.1-20, ⟨10.1007/978-3-030-04762-7_1⟩
Communication dans un congrès
hal-01967342v1
|
||
Everest: Towards a Verified, Drop‐in Replacement of HTTPS2nd Summit on Advances in Programming Languages (SNAPL), May 2017, Asilomar, CA, United States. ⟨10.4230/LIPIcs.SNAPL.2017.1⟩
Communication dans un congrès
hal-01672707v1
|
|||
Gradual Typing Embedded Securely in JavaScriptPOPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, CA, United States. pp.425-437, ⟨10.1145/2535838.2535889⟩
Communication dans un congrès
hal-00940836v1
|
|||
 |
Language-Based Defenses Against Untrusted Browser OriginsProceedings of the 22th USENIX Security Symposium, Aug 2013, Washington, D.C., United States
Communication dans un congrès
hal-00863372v1
|
||
Verified Contributive Channel Bindings for Compound AuthenticationNetwork and Distributed System Security Symposium (NDSS'15), Feb 2015, San Diego, United States
Communication dans un congrès
hal-01114248v1
|
|||
 |
Defensive JavaScriptAlessandro Aldini; Javier Lopez; Fabio Martinelli. Foundations of Security Analysis and Design VII, 8604, Springer, pp.88-123, 2014, Lecture Notes in Computer Science, 978-3-319-10081-4. ⟨10.1007/978-3-319-10082-1_4⟩
Chapitre d'ouvrage
hal-01102144v1
|
||
 |
Proving the TLS Handshake Secure (as it is)CRYPTO 2014, Aug 2014, Santa Barbara, United States. pp.235-255, ⟨10.1007/978-3-662-44381-1_14⟩
Communication dans un congrès
hal-01102229v1
|
||
 |
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLSIEEE Symposium on Security & Privacy, Apr 2014, San Jose, United States. ⟨10.1109/SP.2014.14⟩
Communication dans un congrès
hal-01102259v1
|
||
 |
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol[Research Report] RR-9269, Inria Paris. 2019, pp.50
Rapport
hal-02100345v3
|
||
 |
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
|
||
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 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
|
||
 |
Verified Cryptographic Implementations for TLSACM Transactions on Information and System Security, 2012, 15 (1), pp.3:1--3:32. ⟨10.1145/2133375.2133378⟩
Article dans une revue
hal-00863381v1
|
||
|
|
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
|