Skip to Main content Skip to Navigation


...
hal-03058482v1  Conference papers
Daniel de Almeida BragaPierre-Alain FouqueMohamed Sabt. Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild
ACSAC 2020 - Annual Computer Security Applications Conference, Dec 2020, Austin / Virtual, United States. pp.291-303, ⟨10.1145/3427228.3427295⟩
...
hal-01094330v1  Conference papers
Jiqiang LuYongshuang WeiEnes PasalicPierre-Alain Fouque. Meet-in-the-Middle Attack on Reduced Versions of the Camellia Block Cipher
Advances in Information and Computer Security - 7th International Workshop on Security, 2012, Nov 2012, Fukuoka, Japan. pp.18, ⟨10.1007/978-3-642-34117-5_13⟩
...
hal-02953167v1  Conference papers
Sonia BelaïdPierre-Evariste DagandDarius MercadierMatthieu RivainRaphaël Wintersdorff. Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations
Eurocrypt 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb / Virtual, Croatia. pp.311-341, ⟨10.1007/978-3-030-45727-3_11⟩
...
hal-02865304v1  Journal articles
Daniel de Almeida BragaPierre-Alain FouqueMohamed Sabt. The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2020, 2020 (3), pp.196-218
...
hal-02482253v1  Journal articles
Ghada ArfaouiXavier BultelPierre-Alain FouqueAdina NedelcuCristina Onete. The privacy of the TLS 1.3 protocol
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2019, 2019, pp.190 - 210. ⟨10.2478/popets-2019-0065⟩
...
hal-02404662v1  Conference papers
Gilles BartheSonia BelaïdGaëtan CassiersPierre-Alain FouqueBenjamin Grégoire et al.  Automated Verification of Higher-Order Masking in Presence of Physical Defaults
ESORICS 2019 - 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg. pp.300-318, ⟨10.1007/978-3-030-29959-0_15⟩
...
hal-02162300v1  Conference papers
Patrick DerbezPierre-Alain FouqueBaptiste LambinBrice Minaud. On Recovering Affine Encodings in White-Box Implementations
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2018, Amsterdam, Netherlands
...
hal-02162293v1  Conference papers
Patrick DerbezPierre-Alain FouqueJérémy JeanBaptiste Lambin. Variants of the AES Key Schedule for Better Truncated Differential Bounds
25th Conference on Selected Areas in Cryptography (SAC 2018), Aug 2018, Calgary, Canada. pp.27-49, ⟨10.1007/978-3-030-10970-7_2⟩
...
hal-01959554v1  Conference papers
Cécile Baritel-RuetFrançois DupressoirPierre-Alain FouqueBenjamin Grégoire. Formal Security Proof of CMAC and Its Variants
CSF 2018 - 31st EEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom
...
hal-01951676v1  Conference papers
Alban SifferPierre-Alain FouqueAlexandre TermierChristine Largouët. Are your data gathered? The Folding Test of Unimodality
KDD 2018 - 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Minin, Aug 2018, London, United Kingdom. pp.2210-2218, ⟨10.1145/3219819.3219994⟩
...
hal-01948722v1  Conference papers
Karthikeyan BhargavanIoana BoureanuAntoine Delignat-LavaudPierre-Alain FouqueCristina Onete. A Formal Treatment of Accountable Proxying over TLS
SP 2018 - IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States
...
hal-01673853v2  Documents associated with scientific events
Karthikeyan BhargavanIoana BoureanuPierre-Alain FouqueCristina OneteBenjamin Richard. Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL
EuroS&P 2017 - 2nd IEEE European Symposium on Security and Privacy, Apr 2017, Paris, France. IEEE, pp.600-615, 2017, ⟨10.1109/EuroSP.2017.52⟩
...
hal-01900708v1  Conference papers
Gilles BartheSonia BelaïdThomas EspitauPierre-Alain FouqueBenjamin Grégoire et al.  Masking the GLP Lattice-Based Signature Scheme at Any Order
Eurocrypt 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⟩
...
tel-01767298v1  Theses
Sonia Belaïd. Security of cryptosystems against power-analysis attacks
Cryptography and Security [cs.CR]. Ecole normale supérieure - ENS PARIS, 2015. English. ⟨NNT : 2015ENSU0032⟩
...
hal-01654408v1  Conference papers
Charles BouillaguetClaire DelaplacePierre-Alain FouquePaul Kirchner. Fast Lattice-Based Encryption: Stretching Spring
International Workshop on Post-Quantum Cryptography, Jun 2017, Utrecht, Netherlands
...
hal-01648080v1  Conference papers
Thomas EspitauPierre-Alain FouqueBenoît GérardMehdi Tibouchi. Side-Channel Attacks on BLISS Lattice-Based Signatures
2017 ACM Conference on Computer and Communications Security (CCS 2017), Oct 2017, Dallas, TX, United States. pp.1857-1874, ⟨10.1145/3133956.3134028⟩
...
hal-01640325v1  Conference papers
Alban SifferPierre-Alain FouqueAlexandre TermierChristine Largouët. Anomaly Detection in Streams with Extreme Value Theory
KDD 2017 - Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Aug 2017, Halifax, Canada. ⟨10.1145/3097983.3098144⟩
...
hal-01561424v1  Conference papers
Thomas EspitauPierre-Alain FouqueBenoit GérardMehdi Tibouchi. Loop abort Faults on Lattice-Based Fiat-Shamir & Hash'n Sign signatures
23rd Conference on Selected Area In Cryptography, Aug 2016, Saint John's, Canada
...
hal-01518438v1  Conference papers
Jean-François BiasseThomas EspitauPierre-Alain FouqueAlexandre GélinPaul Kirchner. Computing generator in cyclotomic integer rings
36th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2017), Apr 2017, Paris, France. pp.60-88, ⟨10.1007/978-3-319-56620-7_3⟩
...
hal-01427810v1  Conference papers
Pierre-Alain FouquePierre KarpmanPaul KirchnerBrice Minaud. Efficient and Provable White-Box Primitives
ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Dec 2016, Hanoï, Vietnam. pp.159 - 188, ⟨10.1007/978-3-662-53887-6_6⟩
...
hal-01410216v1  Conference papers
Gilles BartheSonia BelaïdFrançois DupressoirPierre-Alain FouqueBenjamin Grégoire et al.  Strong Non-Interference and Type-Directed Higher-Order Masking
CCS 2016 - 23rd ACM Conference on Computer and Communications Security, Oct 2016, Vienne, Austria. pp.116 - 129, ⟨10.1145/2976749.2978427⟩
...
tel-01235207v1  Theses
Sonia Belaïd. Security of Cryptosystems Against Power-Analysis Attacks
Cryptography and Security [cs.CR]. ENS, 2015. English