Recherche - Université Paris-Saclay

40 résultats

	Pour les 40 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 Page suivante	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
		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
		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
		Federated Learning on Personal Data Management Systems: Decentralized and Reliable Secure Aggregation Protocols Julien Mirval , Luc Bouganim , Iulian Sandu Popa SSDBM 2023 - 35th International Conference on Scientific and Statistical Database Management, USC Information Sciences Institute, Jul 2023, Los Angeles CA, United States. pp.1-12, ⟨10.1145/3603719.3603730⟩ Communication dans un congrès hal-04234924v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		A Probabilistic Logic for Concrete Security David Baelde , Caroline Fontaine , Adrien Koutsos , Guillaume Scerri , Théo Vignon CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands. pp.324-339 Communication dans un congrès hal-04577828v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Automatic verification of Finite Variant Property beyond convergent equational theories Vincent Cheval , Caroline Fontaine 2025 IEEE 38th Computer Security Foundations Symposium (CSF 2025), IEEE, Jul 2025, Santa Cruz, United States Communication dans un congrès hal-04748770v1	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
		The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker Sylvain Conchon , Alexandrina Korneva SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.30-46, ⟨10.1007/978-3-031-47115-5_3⟩ Communication dans un congrès hal-04394062v2	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
		Nob-MIAs: Non-biased Membership Inference Attacks Assessment on Large Language Models with Ex-Post Dataset Construction Cédric Eichler , Nathan Champeil , Nicolas Anciaux , Alexandra Bensamoun , Héber Hwang Arcolezi , et al. WISE 2024 - 25th International Web Information Systems Engineering conference, Dec 2024, Doha, Qatar Communication dans un congrès hal-04670325v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Extensive and Secure Personal Data Management Systems Nicolas Anciaux , Luc Bouganim ERCIM News, 2023 Article dans une revue hal-04240543v1	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
		Polymorphic Type Inference for Dynamic Languages Giuseppe Castagna , Mickaël Laurent , Kim Nguyen Proceedings of the ACM on Programming Languages, In press, 8 (POPL), pp.40. ⟨10.1145/3632882⟩ Article dans une revue hal-04284072v1	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
		Extensive and Secure Data Management System with Vulnerable Extension Code Xinqing Li , Iulian Sandu Popa , Nicolas Anciaux APVP 2024 - 14ème Atelier sur la Protection de la Vie Privée, Jun 2024, Lyon, France Communication dans un congrès hal-04598521v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		An Extensive and Secure Personal Data Management System Using SGX Robin Carpentier , Floris Thiant , Iulian Sandu Popa , Nicolas Anciaux , Luc Bouganim BDA 2022 - 38ème Conférence sur la Gestion de Données - Principes, Technologie et Applications, Oct 2022, Clermont-Ferrand, France. ⟨10.48786/edbt.2022.53⟩ Communication dans un congrès hal-03941868v1	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
		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
		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
		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
		Demo : Data Minimization and Informed Consent in Administrative Forms Nicolas Anciaux , Sabine Frittella , Baptiste Joffroy , Benjamin Nguyen ACM CCS 2023 - Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. ⟨10.1145/3576915.3624363⟩ Communication dans un congrès hal-04240432v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Federated Learning on Personal Data Management Systems: Decentralized and Reliable Secure Aggregation Protocols Julien Mirval , Luc Bouganim , Iulian Sandu Popa BDA 2023 - 39ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Université de Montpellier, Oct 2023, Montpellier, France. pp.1-12 Communication dans un congrès hal-04234906v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Data Leakage Mitigation of User-Defined Functions on Secure Personal Data Management Systems Robin Carpentier , Iulian Sandu Popa , Nicolas Anciaux BDA 2022 - 38ème Conférence sur la Gestion de Données - Principes, Technologie et Applications, Oct 2022, Clermont-Ferrand, France Communication dans un congrès hal-03941879v1	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
		Continuous Authentication Leveraging Matrix Profile Luis Ibanez-Lissen , Jose Maria de Fuentes , Lorena Gonzales-Manzano , Nicolas Anciaux ARES 2024 - The 19th International Conference on Availability, Reliability and Security, Jul 2024, Vienne, Austria Communication dans un congrès hal-04663471v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager More
		Tutorial: Trusted Execution Environments and Intel SGX - a few basic notions and usages Antoine Boutet , Iulian Sandu Popa RESSI 2023 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2023, Neuvy-sur-Barangeon, France Communication dans un congrès hal-04228113v1	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

Combining homomorphic encryption and differential privacy in federated learning

Scalable program clone search through spectral analysis

Federated Learning on Personal Data Management Systems: Decentralized and Reliable Secure Aggregation Protocols

A Probabilistic Logic for Concrete Security

Automatic verification of Finite Variant Property beyond convergent equational theories

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

The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker

Adversarial reachability for program-level security analysis

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

Nob-MIAs: Non-biased Membership Inference Attacks Assessment on Large Language Models with Ex-Post Dataset Construction

Extensive and Secure Personal Data Management Systems

Inference of Robust Reachability Constraints

Polymorphic Type Inference for Dynamic Languages

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

Extensive and Secure Data Management System with Vulnerable Extension Code

An Extensive and Secure Personal Data Management System Using SGX

On the robustness of randomized classifiers to adversarial examples

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

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

Building blocks for LSTM homomorphic evaluation with TFHE

Demo : Data Minimization and Informed Consent in Administrative Forms

Federated Learning on Personal Data Management Systems: Decentralized and Reliable Secure Aggregation Protocols

Data Leakage Mitigation of User-Defined Functions on Secure Personal Data Management Systems

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

Continuous Authentication Leveraging Matrix Profile

Tutorial: Trusted Execution Environments and Intel SGX - a few basic notions and usages