Recherche - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu

Filtrer vos résultats

16 résultats
Image document

Active disjunctive constraint acquisition

Grégoire Menguy , Sébastien Bardin , Arnaud Gotlieb , Nadjib Lazaar
KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.512-520, ⟨10.24963/kr.2023/50⟩
Communication dans un congrès cea-04258912v1
Image document

Scalable program clone search through spectral analysis

Tristan Benoit , Jean-Yves Marion , Sébastien Bardin
ESEC/FSE '23 - 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Dec 2023, San Francisco, United States. ⟨10.48550/arXiv.2210.13063⟩
Communication dans un congrès hal-03826726v4

Optimized Stream-Cipher-Based Transciphering by Means of Functional-Bootstrapping

Adda-Akram Bendoukha , Pierre-Emmanuel Clet , Aymen Boudguiga , Renaud Sirdey
DBSec2023, 13942, Springer Nature Switzerland, pp.91-109, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-37586-6_6⟩
Proceedings/Recueil des communications hal-04460039v1
Image document

Combining homomorphic encryption and differential privacy in federated learning

Arnaud Grivet Sebert , Marina Checri , Oana Stan , Renaud Sirdey , Cedric Gouy-Pailler
2023 20th Annual International Conference on Privacy, Security and Trust (PST), Aug 2023, Copenhague, Denmark. 10320195 (7 p.), ⟨10.1109/PST58708.2023.10320195⟩
Communication dans un congrès cea-04485721v1
Image document

Binsec/Rel: Symbolic binary analyzer for security with applications to constant-Time and secret-erasure

Lesly-Ann Daniel , Sébastien Bardin , Tamara Rezk
ACM Transactions on Privacy and Security, 2023, 26 (2), pp.11:1-42. ⟨10.1145/3563037⟩
Article dans une revue cea-04228169v1
Image document

A semantics of structures, unions, and underspecified terms for formal specification

Louis Gauthier , Virgile Prevosto , Julien Signoles
FormaliSE 2024 - International Conference on Formal Methods in Software Engineering, Apr 2024, Lisbonne, Portugal. ⟨10.1145/3644033.3644380⟩
Communication dans un congrès cea-04480238v1
Image document

Adversarial reachability for program-level security analysis

Sébastien Bardin , Soline Ducousso , Marie-Laure Potet
ESOP 2023 - 32nd European Symposium on Programming,, ETAPS, Apr 2023, Paris, France. pp.58-89, ⟨10.1007/978-3-031-30044-8_3⟩
Communication dans un congrès cea-04199882v1
Image document

A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries

Antoine Geimer , Mathéo Vergnolle , Frédéric Recoules , Lesly-Ann Daniel , Sébastien Bardin , et al.
CCS 2023 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.1690-1704, ⟨10.1145/3576915.3623112⟩
Communication dans un congrès hal-04474774v1
Image document

Efficient and accurate homomorphic comparisons

Olive Chakraborty , Martin Zuber
WAHC'22: Proceedings of the 10th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 2022, ACM, pp.35-46, 2022, WAHC'22 - Proceedings of the 10th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 978-1-4503-9877-0. ⟨10.1145/3560827.3563375⟩
Proceedings/Recueil des communications cea-03983178v1
Image document

A homomorphic AES evaluation in less than 30 seconds by means of TFHE

Daphne Trama , Pierre-Emmanuel Clet , Aymen Boudguiga , Renaud Sirdey
WAHC 2023 - 11th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, Nov 2023, Copenhague, Denmark
Communication dans un congrès cea-04332234v1
Image document

ComBo: a Novel Functional Bootstrapping Method for Efficient Evaluation of Nonlinear Functions in the Encrypted Domain

Pierre-Emmanuel Clet , Aymen Boudguiga , Renaud Sirdey , Martin Zuber
AfricaCrypt, Jul 2023, Sousse, Tunisia. p. 317-343, ⟨10.1007/978-3-031-37679-5_14⟩
Communication dans un congrès cea-04487781v1
Image document

Impact of the flicker noise on the ring oscillator-based TRNGs

Licinius Benea , Mikael Carmona , Viktor Fischer , Florian Pebay-Peyroula , Romain Wacquez
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (2), pp.870-889. ⟨10.46586/tches.v2024.i2.870-889⟩
Article dans une revue ujm-04428085v1
Image document

Building blocks for LSTM homomorphic evaluation with TFHE

Daphne Trama , Pierre-Emmanuel Clet , Aymen Boudguiga , Renaud Sirdey
7th International Symposium on Cyber Security, Cryptology and Machine Learning (CSCML 2023), Jun 2023, Paris, France. pp.117
Communication dans un congrès cea-04186110v1
Image document

Lightweight FHE-based protocols achieving results consistency for data encrypted under different keys

Marina Checri , Jean-Paul Bultel , Renaud Sirdey , Aymen Boudguiga
SECRYPT 2023 - 20th International Conference on Security and Cryptography, Jul 2023, Rome, Italy. 2023, ⟨10.5220/0012085200003555⟩
Poster de conférence cea-04321177v1
Image document

On the robustness of randomized classifiers to adversarial examples

Rafael Pinot , Laurent Meunier , Florian Yger , Cédric Gouy-Pailler , Yann Chevaleyre , et al.
Machine Learning, 2022, 111 (9), pp.3425-3457. ⟨10.1007/s10994-022-06216-6⟩
Article dans une revue hal-03916842v1
Image document

A probabilistic design for practical homomorphic majority voting with intrinsic differential privacy

Arnaud Grivet Sebert , Martin Zuber , Oana Stan , Renaud Sirdey , Cedric Gouy-Pailler
WAHC 2023 - 11th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, Nov 2023, Copenhague, Denmark. pp.47-58, ⟨10.1145/3605759.3625258⟩
Communication dans un congrès cea-04461731v1