Filter your results
- 52
- 19
- 56
- 12
- 1
- 1
- 1
- 62
- 3
- 3
- 1
- 5
- 5
- 9
- 7
- 7
- 6
- 3
- 5
- 4
- 6
- 6
- 4
- 1
- 1
- 1
- 71
- 64
- 10
- 9
- 7
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 71
- 27
- 16
- 13
- 13
- 8
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 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
- 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
- 1
71 Results
|
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⟩
Journal articles
hal-03528937v1
|
||
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⟩
Conference papers
hal-01094565v1
|
|||
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⟩
Conference papers
hal-03430789v1
|
|||
|
A Machine-Checked Formalization of Sigma-ProtocolsCSF'10, Jul 2010, Edinburgh, Sweden. pp.246-260, ⟨10.1109/CSF.2010.24⟩
Conference papers
inria-00552886v1
|
||
|
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⟩
Conference papers
inria-00524938v1
|
||
|
Full reduction at full throttleCertified Programs and Proofs, Dec 2011, Kenting, Taiwan. ⟨10.1007/978-3-642-25379-9_26⟩
Conference papers
hal-00650940v1
|
||
Mechanisms of hot corrosion of pure nickel at 700°C: Influence of testing conditionsCorrosion Science, 2018, 141, pp.211-220. ⟨10.1016/j.corsci.2018.06.009⟩
Journal articles
insu-01877226v1
|
|||
|
High-Assurance Cryptography in the Spectre EraS&P 2021 - IEEE Symposium of Security and Privacy, May 2021, Virtual, France. ⟨10.1109/SP40001.2021.00046⟩
Conference papers
hal-03352062v1
|
||
|
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⟩
Conference papers
hal-01959567v1
|
||
|
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⟩
Journal articles
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⟩
Conference papers
hal-02404581v1
|
||
EasyCrypt: A TutorialFOSAD 2013, 2013, Bertinoro, Italy. ⟨10.1007/978-3-319-10082-1_6⟩
Conference papers
hal-01114366v1
|
|||
|
Formal Security Proof of CMAC and Its VariantsCSF 2018 - 31st EEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom
Conference papers
hal-01959554v1
|
||
|
Development of a new slurry coating design for the surface protection of gas turbine componentsSurface and Coatings Technology, 2019, 374, pp.521-530. ⟨10.1016/j.surfcoat.2019.06.020⟩
Journal articles
hal-02468809v1
|
||
|
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⟩
Conference papers
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⟩
Book sections
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⟩
Conference papers
hal-00639130v1
|
||
|
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
Conference papers
hal-01649104v1
|
||
|
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⟩
Conference papers
hal-02404662v1
|
||
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⟩
Conference papers
hal-00935737v1
|
|||
Probabilistic relational verification for cryptographic implementationsThe 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
Conference papers
hal-00935743v1
|
|||
|
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⟩
Conference papers
hal-00765842v1
|
||
|
Relational Reasoning via Probabilistic CouplingLPAR, 2015, Suva, France. pp.387 - 401, ⟨10.1007/978-3-662-48899-7_27⟩
Conference papers
hal-01246719v2
|
||
|
The Littlun S-box and the Fly block cipherLightweight Cryptography Workshop, Oct 2016, Gaithersburg, United States
Conference papers
hal-03543497v1
|
||
|
Security Analysis of ElGamal ImplementationsSECRYPT 2020 - 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.310-321, ⟨10.5220/0009817103100321⟩
Conference papers
hal-03141511v1
|
||
|
Computer-Aided Cryptographic ProofsStatic Analysis - 19th International Symposium, SAS 2012, Sep 2012, Deauville, France. ⟨10.1007/978-3-642-33125-1_1⟩
Conference papers
hal-00765869v1
|
||
|
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⟩
Conference papers
hal-01900708v1
|
||
|
Verifying SAT and SMT in Coq for a fully automated decision procedurePSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Germain Faure, Stéphane Lengrand, Assia Mahboubi, Aug 2011, Wroclaw, Poland
Conference papers
inria-00614041v1
|
||
|
Proving Equalities in a Commutative Ring Done Right in CoqTPHOLs 2005, Aug 2005, Oxford, United Kingdom. pp.98-113, ⟨10.1007/11541868_7⟩
Conference papers
istex
hal-00819484v1
|
||
|
Advanced Probabilistic Couplings for Differential Privacy23rd ACM Conference on Computer and Communications Security , Oct 2016, Vienne, Austria. pp.55 - 67, ⟨10.1145/2976749.2978391⟩
Conference papers
hal-01410196v1
|