Filtrer vos résultats
- 54
- 18
- 61
- 8
- 1
- 1
- 1
- 1
- 1
- 68
- 6
- 1
- 5
- 5
- 6
- 6
- 6
- 6
- 3
- 5
- 4
- 6
- 6
- 4
- 1
- 1
- 1
- 72
- 70
- 10
- 9
- 8
- 8
- 7
- 6
- 6
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 72
- 28
- 16
- 13
- 13
- 11
- 10
- 8
- 8
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
72 résultats
|
Full reduction at full throttleCertified Programs and Proofs, Dec 2011, Kenting, Taiwan. ⟨10.1007/978-3-642-25379-9_26⟩
Communication dans un congrès
hal-00650940v1
|
||
|
A Machine-Checked Formalization of Sigma-ProtocolsCSF'10, Jul 2010, Edinburgh, Sweden. pp.246-260, ⟨10.1109/CSF.2010.24⟩
Communication dans un congrès
inria-00552886v1
|
||
Certified Synthesis of Efficient Batch VerifiersCSF 2014 - IEEE 27th Computer Security Foundations Symposium, Jul 2014, Vienna, Austria. pp.153 - 165, ⟨10.1109/CSF.2014.19⟩
Communication dans un congrès
hal-01094565v1
|
|||
|
Masking in Fine-Grained Leakage Models: Construction, Implementation and VerificationIACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, pp.189-228. ⟨10.46586/tches.v2021.i2.189-228⟩
Article dans une revue
hal-03528937v1
|
||
Structured Leakage and Applications to Cryptographic Constant-Time and CostCCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.462-476, ⟨10.1145/3460120.3484761⟩
Communication dans un congrès
hal-03430789v1
|
|||
|
A New Elimination Rule for the Calculus of Inductive ConstructionsTypes for Proofs and Programs, Mar 2008, Torino, Italy. pp.32-48, ⟨10.1007/978-3-642-02444-3_3⟩
Communication dans un congrès
inria-00524938v1
|
||
|
Automated Verification of Higher-Order Masking in Presence of Physical DefaultsESORICS 2019 - 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg. pp.300-318, ⟨10.1007/978-3-030-29959-0_15⟩
Communication dans un congrès
hal-02404662v1
|
||
|
A Fast and Verified Software Stack for Secure Function EvaluationCCS 2017 - ACM SIGSAC Conference on Computer and Communications Security, Oct 2017, Dallas, United States. pp.1-18
Communication dans un congrès
hal-01649104v1
|
||
|
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
|
||
|
Proof Certificates for Algebra and their Application to Automatic Geometry Theorem ProvingThomas Sturm; Christoph Zengler. Automated Deduction in Geometry, 6301, Springer, pp.42-59, 2011, Lecture Notes in Computer Science, 978-3-642-21045-7. ⟨10.1007/978-3-642-21046-4_3⟩
Chapitre d'ouvrage
hal-01112767v1
|
||
|
A Modular Integration of SAT/SMT Solvers to Coq through Proof WitnessesCPP - Certified Programs and Proofs - First International Conference - 2011, Dec 2011, Kenting, Taiwan. pp.135-150, ⟨10.1007/978-3-642-25379-9_12⟩
Communication dans un congrès
istex
hal-00639130v1
|
||
|
Masking the GLP Lattice-Based Signature Scheme at Any OrderEurocrypt 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2018, Tel Aviv, Israel. pp.354-384, ⟨10.1007/978-3-319-78375-8_12⟩
Communication dans un congrès
hal-01900708v1
|
||
|
The Littlun S-box and the Fly block cipherLightweight Cryptography Workshop, Oct 2016, Gaithersburg, United States
Communication dans un congrès
hal-03543497v1
|
||
|
Relational Reasoning via Probabilistic CouplingLPAR, 2015, Suva, France. pp.387 - 401, ⟨10.1007/978-3-662-48899-7_27⟩
Communication dans un congrès
hal-01246719v2
|
||
|
Computer-Aided Cryptographic ProofsITP 2012 - Third International Conference on Interactive Theorem Proving, Aug 2012, Princeton N.J., United States. ⟨10.1007/978-3-642-32347-8_2⟩
Communication dans un congrès
hal-00765842v1
|
||
Probabilistic relational verification for cryptographic implementationsThe 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
Communication dans un congrès
hal-00935743v1
|
|||
|
Computer-Aided Cryptographic ProofsStatic Analysis - 19th International Symposium, SAS 2012, Sep 2012, Deauville, France. ⟨10.1007/978-3-642-33125-1_1⟩
Communication dans un congrès
hal-00765869v1
|
||
Fully automated analysis of padding-based encryption in the computational model2013 ACM SIGSAC Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. pp.1247-1260, ⟨10.1145/2508859.2516663⟩
Communication dans un congrès
hal-00935737v1
|
|||
|
Security Analysis of ElGamal ImplementationsSECRYPT 2020 - 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.310-321, ⟨10.5220/0009817103100321⟩
Communication dans un congrès
hal-03141511v1
|
||
EasyCrypt: A TutorialFOSAD 2013, 2013, Bertinoro, Italy. ⟨10.1007/978-3-319-10082-1_6⟩
Communication dans un congrès
hal-01114366v1
|
|||
|
Enforcing Fine-grained Constant-time PoliciesCCS 2022 - 2022 ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles CA, United States. pp.83-96, ⟨10.1145/3548606.3560689⟩
Communication dans un congrès
hal-03844366v1
|
||
|
Typing High-Speed Cryptography against Spectre v1SP 2023- IEEE Symposium on Security and Privacy, IEEE, May 2023, San Francisco, United States. pp.1592-1609, ⟨10.1109/SP46215.2023.10179418⟩
Communication dans un congrès
hal-04106448v1
|
||
|
An Assertion-Based Program Logic for Probabilistic ProgramsLecture Notes in Computer Science, Apr 2018, Thessaloniki, Greece. pp.117-144, ⟨10.1007/978-3-319-89884-1_5⟩
Communication dans un congrès
hal-01959567v1
|
||
|
Formal Security Proof of CMAC and Its VariantsCSF 2018 - 31st EEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01959554v1
|
||
|
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
|
||
|
Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizationsJournal of Cryptographic Engineering, 2020, 10 (1), pp.17-26. ⟨10.1007/s13389-018-00202-2⟩
Article dans une revue
hal-03133221v1
|
||
|
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3CCS 2019 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.1607-1622, ⟨10.1145/3319535.3363211⟩
Communication dans un congrès
hal-02404581v1
|
||
|
Boolean reflection via type classesCoq Workshop, Aug 2016, Nancy, France
Communication dans un congrès
hal-01410530v1
|
||
|
Jasmin: High-Assurance and High-Speed CryptographyCCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, Oct 2017, Dallas, United States. pp.1-17
Communication dans un congrès
hal-01649140v1
|
||
|
On Strong Normalization of the Calculus of Constructions with Type-Based Termination17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Oct 2010, Yogyakarta, Indonesia. pp.333-347, ⟨10.1007/978-3-642-16242-8_24⟩
Communication dans un congrès
hal-00537104v1
|