Results 1-20 of 33. Search equation: ((uid:50001378)) Sort: Title Author Issue date Filter: All documents types Scientific journals - Article - Short communication - Book review - Letter to the editor - Complete issue - OtherBooks - Book published as author, translator, etc. - Collective work published as editor or directorParts of books - Contribution to collective works - Contribution to encyclopedias, dictionaries... - Preface, postface, glossary...Scientific congresses, symposiums and conference proceedings - Unpublished conference - Paper published in a book - Paper published in a journal - PosterScientific presentation in universities or research centersReports - Expert report - Internal report - External report - OtherDissertations and theses - Bachelor/master dissertation - Doctoral thesis - Postdoctoral thesis - OtherLearning materials - Course notes - OtherPatentCartographic materials - Single work - Part of another publicationComputer developments - Textual, factual or bibliographical database - Software - OtherE-prints/Working papers - First made available on ORBilu - Already available on another siteDiverse speeches and writings - Article for general public - Conference given outside the academic context - Speeches/Talks - Other     1 2   Cryptanalysis of CLT13 Multilinear Maps with Independent SlotsCoron, Jean-Sébastien ; Notarnicola, Luca Speeches/Talks (2019)Detailed reference viewed: 62 (1 UL) Cryptanalysis of CLT13 Multilinear Maps with Independent SlotsCoron, Jean-Sébastien ; Notarnicola, Luca in Advances in Cryptology – ASIACRYPT 2019, 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II (2019, December)Detailed reference viewed: 123 (0 UL) On Kilian's Randomization of Multilinear Map EncodingsCoron, Jean-Sébastien ; Pereira, Vitor in Coron, Jean-Sébastien; Pereira, Vitor (Eds.) On Kilian's Randomization of Multilinear Map Encodings (2019)Detailed reference viewed: 17 (4 UL) High-Order Conversion from Boolean to Arithmetic MaskingCoron, Jean-Sébastien in Proceedings of CHES 2017 (2017, September)Detailed reference viewed: 128 (17 UL) Zeroizing Attacks on Indistinguishability Obfuscation over CLT13Coron, Jean-Sébastien ; Lee, Moon Sung; Lepoint, Tancrede et alin Proceedings of PKC 2017 (2017)Detailed reference viewed: 101 (18 UL) Faster Evaluation of SBoxes via Common SharesCoron, Jean-Sébastien ; Greuet, Aurelien; Prouff, Emmanuel et alin Proceedings of CHES 2016 (2016)Detailed reference viewed: 83 (2 UL) Horizontal Side-Channel Attacks and Countermeasures on the ISW Masking SchemeCoron, Jean-Sébastien ; Battistello, Alberto; Prouff, Emmanuel et alin Proceedings of CHES 2016 (2016)Detailed reference viewed: 102 (0 UL) Cryptanalysis of GGH15 Multilinear MapsCoron, Jean-Sébastien ; Lee, Moon Sung; Lepoint, Tancrede et alin Proceedings of Crypto 2016 (2016)Detailed reference viewed: 111 (2 UL) Zeroizing Without Low-Level Zeroes: New MMAP Attacks and Their LimitationsCoron, Jean-Sébastien in Proceedings of Crypto 2015 (2015)Detailed reference viewed: 103 (4 UL) New Multilinear Maps over the IntegersCoron, Jean-Sébastien ; Lepoint, Tancrede; Tibouchi, Mehdiin Proceedings of Crypto 2015 (2015)Detailed reference viewed: 113 (12 UL) Conversion from Arithmetic to Boolean Masking with Logarithmic ComplexityCoron, Jean-Sébastien ; Groszschädl, Johann ; Tibouchi, Mehdi et alin Leander, Gregor (Ed.) Fast Software Encryption, 22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised Selected Papers (2015, March)A general technique to protect a cryptographic algorithm against side-channel attacks consists in masking all intermediate variables with a random value. For cryptographic algorithms combining Boolean ... [more ▼]A general technique to protect a cryptographic algorithm against side-channel attacks consists in masking all intermediate variables with a random value. For cryptographic algorithms combining Boolean operations with arithmetic operations, one must then perform conversions between Boolean masking and arithmetic masking. At CHES 2001, Goubin described a very elegant algorithm for converting from Boolean masking to arithmetic masking, with only a constant number of operations. Goubin also described an algorithm for converting from arithmetic to Boolean masking, but with O(k) operations where k is the addition bit size. In this paper we describe an improved algorithm with time complexity O(log k) only. Our new algorithm is based on the Kogge-Stone carry look-ahead adder, which computes the carry signal in O(log k) instead of O(k) for the classical ripple carry adder. We also describe an algorithm for performing arithmetic addition modulo 2^k directly on Boolean shares, with the same complexity O(log k) instead of O(k). We prove the security of our new algorithm against first-order attacks. Our algorithm performs well in practice, as for k=64 we obtain a 23% improvement compared to Goubin’s algorithm. [less ▲]Detailed reference viewed: 184 (8 UL) Secure Conversion between Boolean and Arithmetic Masking of Any OrderCoron, Jean-Sébastien ; Groszschädl, Johann ; Vadnala, Praveen Kumar in Batina, Lejla; Robshaw, Matthew (Eds.) Cryptographic Hardware and Embedded Systems - CHES 2014, 16th International Workshop, Busan, South Korea, September 23-26, 2014. Proceedings (2014, September)Detailed reference viewed: 140 (12 UL) Higher Order Masking of Look-Up TablesCoron, Jean-Sébastien in Proceedings of Eurocrypt 2014 (2014)Detailed reference viewed: 83 (1 UL) Fast Evaluation of Polynomials over Binary Finite Fields and Application to Side-Channel CountermeasuresCoron, Jean-Sébastien ; Roy, Arnab; Venkatesh, Srinivas Vivek in Batina, Lejla; Robshaw, Matthew (Eds.) Cryptographic Hardware and Embedded Systems – CHES 2014 (2014)We describe a new technique for evaluating polynomials over binary finite fields. This is useful in the context of anti-DPA countermeasures when an S-box is expressed as a polynomial over a binary finite ... [more ▼]We describe a new technique for evaluating polynomials over binary finite fields. This is useful in the context of anti-DPA countermeasures when an S-box is expressed as a polynomial over a binary finite field. For n-bit S-boxes our new technique has heuristic complexity ${\cal O}(2^{n/2}/\sqrt{n})$ instead of ${\cal O}(2^{n/2})$ proven complexity for the Parity-Split method. We also prove a lower bound of ${\Omega}(2^{n/2}/\sqrt{n})$ on the complexity of any method to evaluate $n$-bit S-boxes; this shows that our method is asymptotically optimal. Here, complexity refers to the number of non-linear multiplications required to evaluate the polynomial corresponding to an S-box. In practice we can evaluate any 8-bit S-box in 10 non-linear multiplications instead of 16 in the Roy-Vivek paper from CHES 2013, and the DES S-boxes in 4 non-linear multiplications instead of 7. We also evaluate any 4-bit S-box in 2 non-linear multiplications instead of 3. Hence our method achieves optimal complexity for the PRESENT S-box. [less ▲]Detailed reference viewed: 137 (6 UL) A Note on the Bivariate Coppersmith TheoremCoron, Jean-Sébastien ; Kirichenko, Alexey; Tibouchi, Mehdi in Journal of Cryptology (2013), 26(2), 246-250Detailed reference viewed: 91 (2 UL) Practical Multilinear Maps over the IntegersCoron, Jean-Sébastien ; Lepoint, Tancrède ; Tibouchi, Mehdi in CRYPTO (1) (2013)Detailed reference viewed: 115 (3 UL) Batch Fully Homomorphic Encryption over the IntegersCheon, Jung Hee; Coron, Jean-Sébastien ; Kim, Jinsu et alin EUROCRYPT (2013)Detailed reference viewed: 140 (0 UL) Public Key Compression and Modulus Switching for Fully Homomorphic Encryption over the IntegersCoron, Jean-Sébastien ; Naccache, David; Tibouchi, Mehdi in EUROCRYPT (2012)Detailed reference viewed: 103 (0 UL) Conversion of Security Proofs from One Leakage Model to Another: A New IssueCoron, Jean-Sébastien ; Christophe, Giraud; Emmanuel, Prouff et alin Proceedings of COSADE 2012 (2012)To guarantee the security of a cryptographic implementation against Side Channel Attacks, a common approach is to formally prove the security of the corresponding scheme in a model as pertinent as ... [more ▼]To guarantee the security of a cryptographic implementation against Side Channel Attacks, a common approach is to formally prove the security of the corresponding scheme in a model as pertinent as possible. Nowadays, security proofs for masking schemes in the literature are usually conducted for models where only the manipulated data are assumed to leak. However in practice, the leakage is better modeled encompassing the memory transitions as e.g. the Hamming distance model. From this observation, a natural question is to decide at which extent a countermeasure proved to be secure in the first model stays secure in the second. In this paper, we look at this issue and we show that it must definitely be taken into account. Indeed, we show that a countermeasure proved to be secure against second-order side-channel attacks in the first model becomes vulnerable against a first-order side-channel attack in the second model. Our result emphasize the issue of porting an implementation from devices leaking only on the manipulated data to devices leaking on the memory transitions. [less ▲]Detailed reference viewed: 102 (8 UL) Fully Homomorphic Encryption over the Integers with Shorter Public KeysCoron, Jean-Sébastien ; Mandal, Avradip ; Naccache, David et alin CRYPTO (2011)Detailed reference viewed: 92 (0 UL) 1 2