Skip to Main content Skip to Navigation


hal-03145963v1  Conference papers
Alban SifferAlexandre TermierPierre-Alain FouqueChristine Largouët. Netspot: a simple Intrusion Detection System with statistical learning
TrustCom 2020 - IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, Dec 2020, Guangzhou, China. ⟨10.1109/TrustCom50675.2020.00122⟩
...
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-02472202v1  Conference papers
Jung Hee CheonPierre-Alain Fouque. Cryptanalysis of the New CLT Multilinear Map over the Integers.
Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques,, May 2016, Vienne, Austria. pp.509-536
hal-02472180v1  Conference papers
Patrick DerbezPierre-Alain Fouque. Automatic Search of Meet-in-the-Middle and Impossible Differential Attacks.
CRYPTO 2016 36th Annual International Cryptology Conference,, Aug 2016, Santa Barbara, United States. pp.157-184
hal-02471084v1  Conference papers
Paul KirchnerPierre-Alain Fouque. Revisiting Lattice Attacks on Overstretched NTRU Parameters.
EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2017, Paris, France. pp.3-26
hal-02471031v1  Conference papers
Nicolas DesmoulinsPierre-Alain FouqueCristina OneteOlivier Sanders. Pattern Matching on Encrypted Streams.
ASIACRYPT International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia. pp.121-148
hal-02470995v1  Journal articles
Brice MinaudPatrick DerbezPierre-Alain FouquePierre Karpman. Key-Recovery Attacks on ASASA.
Journal of Cryptology, Springer Verlag, 2018, 31 (3), pp.845-884
hal-02470965v1  Conference papers
Gilles BartheSonia BelaïdGaëtan CassiersPierre-Alain FouqueBenjamin Grégoire et al.  MaskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults.
ESORICS 2019 The European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg. pp.300-318
hal-02470839v1  Journal articles
Pierre-Alain FouqueMehdi Tibouchi. Close to Uniform Prime Number Generation With Fewer Random Bits.
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2019, 65 (2), pp.1307-1317
...
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-02391472v1  Conference papers
Michel AbdallaPierre-Alain FouqueDavid Pointcheval. Password-Based Authenticated Key Exchange in the Three-Party Setting
Public Key Cryptography - PKC 2005, Jan 2005, Les Diablerets, Switzerland. pp.65-84, ⟨10.1007/978-3-540-30580-4_6⟩
hal-02307142v1  Conference papers
Olivier BlazyAngèle BossuatXavier BultelPierre-Alain FouqueCristina Onete et al.  SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting
IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019, 2019, Stockholm, Sweden. pp.294--309, ⟨10.1109/EuroSP.2019.00030⟩
...
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-02073941v1  Journal articles
Thomas EspitauPierre-Alain FouqueBenoit GérardMehdi Tibouchi. Loop-Abort Faults on Lattice-Based Signatures and Key Exchange Protocols
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2018, 67 (11), pp.1535-1549. ⟨10.1109/TC.2018.2833119⟩
hal-02073933v1  Conference papers
Jonathan BootleClaire DelaplaceThomas EspitauPierre-Alain FouqueMehdi Tibouchi. LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS
ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, QLD, Australia. pp.494-524, ⟨10.1007/978-3-030-03326-2_17⟩
...
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