Recherche - CEA - Commissariat à l’énergie atomique et aux énergies alternatives

Documentation
Français (FR)

Anglais (EN)

20 résultats

	Pour les 20 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Inference of Robust Reachability Constraints Yanis Sellami , Guillaume Girol , Frédéric Recoules , Damien Couroussé , Sébastien Bardin 2024 ACM Symposium on Principles of Programming Languages, Jan 2024, London, United Kingdom. pp.2731-2760, ⟨10.1145/3632933⟩ Communication dans un congrès hal-04477919v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Practical Multi-Key Homomorphic Encryption for More Flexible and Efficient Secure Federated Average Aggregation Alberto Pedrouzo-Ulloa , Aymen Boudguiga , Olive Chakraborty , Renaud Sirdey , Oana Stan , et al. 2023 IEEE International Conference on Cyber Security and Resilience (CSR), Jul 2023, Venice, Italy. pp.612-617, ⟨10.1109/CSR57506.2023.10224979⟩ Communication dans un congrès hal-04509093v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Lightweight Countermeasures Against Original Linear Code Extraction Attacks on a RISC-V Core Théophile Gousselot , Olivier Thomas , Jean-Max Dutertre , Olivier Potin , Jean-Baptiste Rigaud 2023 IEEE International Symposium on Hardware Oriented Security and Trust (HOST), May 2023, San Jose, France. pp.89-99, ⟨10.1109/HOST55118.2023.10133316⟩ Communication dans un congrès hal-04465052v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Fault-resistant partitioning of secure CPUs for system Co-verification against faults Simon Tollec , Vedad Hadžić , Pascal Nasahl , Mihail Asavoae , Roderick Bloem , et al. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (4), pp.179-204. ⟨10.46586/tches.v2024.i4.179-204⟩ Article dans une revue cea-04706853v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More

Filtrer vos résultats

Active disjunctive constraint acquisition

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

Scalable program clone search through spectral analysis

Combining homomorphic encryption and differential privacy in federated learning

Adversarial reachability for program-level security analysis

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

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

Inference of Robust Reachability Constraints

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

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

Efficient and accurate homomorphic comparisons

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

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

On the robustness of randomized classifiers to adversarial examples

Building blocks for LSTM homomorphic evaluation with TFHE

Practical Multi-Key Homomorphic Encryption for More Flexible and Efficient Secure Federated Average Aggregation

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

Lightweight Countermeasures Against Original Linear Code Extraction Attacks on a RISC-V Core

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

Fault-resistant partitioning of secure CPUs for system Co-verification against faults