Feedback to the European Data Protection Board’s Guidelines 2/2023 on Technical Scope of Art. 5(3) of ePrivacy Directive
Cristiana Santos
,
Nataliia Bielova
,
Vincent Roca
,
Mathieu Cunche
,
Gilles Mertens
,
et al.
Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2024
Reports
hal-04437008v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)
Vincent Cheval
,
Raphaëlle Crubillé
,
Steve Kremer
2023
Preprints, Working Papers, ...
hal-03683907v2
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Reachability Analysis of Self Modifying Code
Tayssir Touili
,
Xin Ye
Journal articles
hal-04295949v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
CryptoVerif: a Computationally-Sound Security Protocol Verifier (Initial Version with Communications on Channels)
Bruno Blanchet
RR-9525, Inria Paris. 2023, pp.166
Reports
hal-04246199v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
CryptoVerif: a Computationally-Sound Security Protocol Verifier
Bruno Blanchet
,
Charlie Jacomme
RR-9526, Inria. 2023, pp.194
Reports
hal-04253820v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
Constantin Catalin Dragan
,
Francois Dupressoir
,
Ehsan Estaji
,
Kristian Gjøsteen
,
Thomas Haines
,
et al.
Conference papers
hal-03913573v2
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Unmasking the Veiled: A Comprehensive Analysis of Android Evasive Malware
Antonio Ruggia
,
Dario Nisi
,
Savino Dambra
,
Alessio Merlo
,
Davide Balzarotti
,
et al.
ASIAACS 2024, 19th ACM ASIA Conference on Computer and Communications Security , ACM, Jul 2024, Singapore, Singapore
Conference papers
hal-04378941v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Typing High-Speed Cryptography against Spectre v1
Basavesh Ammanaghatta Shivakumar
,
Gilles Barthe
,
Benjamin Grégoire
,
Vincent Laporte
,
Tiago Oliveira
,
et al.
Conference papers
hal-04106448v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
RSSI-based Fingerprinting of Bluetooth Low Energy Devices
Guillaume Gagnon
,
Sébastien Gambs
,
Mathieu Cunche
SECRYPT 2023 - 20th International Conference on Security and Cryptography , Jul 2023, Rome, Italy. pp.1-12
Conference papers
hal-04161424v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Rétro-ingénierie et détournement de piles protocolaires embarquées, un cas d'étude sur le système ESP32
Damien Cauquil
,
Romain Cayre
SSTIC 2023, Symposium sur la sécurité des technologies de l'information et des communications , Jun 2023, Rennes, France
Conference papers
hal-04228161v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Son Ho
,
Aymeric Fromherz
,
Jonathan Protzenko
Proceedings of the ACM on Programming Languages , 2023, 7 (ICFP), pp.385-416.
⟨10.1145/3607844⟩
Journal articles
hal-04301439v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
David Baelde
,
Adrien Koutsos
,
Joseph Lallemand
Conference papers
hal-03981949v2
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Themis: an On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability
Mikaël Bougon
,
Hervé Chabanne
,
Véronique Cortier
,
Alexandre Debant
,
Emmanuelle Dottax
,
et al.
CCS 2022 - The ACM Conference on Computer and Communications Security , Nov 2022, Los Angeles, United States.
⟨10.1145/3548606.3560563⟩
Conference papers
hal-03763294v2
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Bandwidth-efficient threshold EC-DSA revisited: Online/Offline Extensions, Identifiable Aborts Proactive and Adaptive Security
Guilhem Castagnos
,
Dario Catalano
,
Fabien Laguillaumie
,
Federico Savasta
,
Ida Tucker
Journal articles
hal-03927198v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Evaluating the Reusability of Android Static Analysis Tools
Jean-Marie Mineau
,
Jean-François Lalande
ICSR 2024 - 21st International Conference on Software and Systems Reuse , Jun 2024, Limassol, Cyprus
Conference papers
hal-04557993v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems
Florent Moriconi
,
Axel Ilmari Neergaard
,
Lucas Georget
,
Samuel Aubertin
,
Aurélien Francillon
Conference papers
hal-04087018v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Highly distributed and privacy-preserving queries on personal data management systems
Luc Bouganim
,
Julien Loudet
,
Iulian Sandu Popa
Journal articles
hal-03814840v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Se protéger d'une pandémie numérique
Valérie Viet Triem Tong
,
Jean-Louis Lanet
2023
Other publications
hal-04547827v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
I want to ride my BICYCL: BICYCL Implements CryptographY in CLass groups
Cyril Bouvier
,
Guilhem Castagnos
,
Laurent Imbert
,
Fabien Laguillaumie
Journal articles
lirmm-03863678v2
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
Manuel Barbosa
,
Gilles Barthe
,
Benjamin Grégoire
,
Adrien Koutsos
,
Pierre-Yves Strub
Journal articles
hal-04048217v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Toward training NLP models to take into account privacy leakages
Gaspard Berthelier
,
Antoine Boutet
,
Antoine Richard
BigData 2023 - IEEE International Conference on Big Data , Dec 2023, Sorrento, Italy. pp.1-9
Conference papers
hal-04299405v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
Manuel Barbosa
,
Gilles Barthe
,
Christian Doczkal
,
Jelle Don
,
Serge Fehr
,
et al.
Conference papers
hal-04315311v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Pushing Edge Computing one Step Further: Resilient and Privacy-Preserving Processing on Personal Devices
Ludovic Javet
,
Nicolas Anciaux
,
Luc Bouganim
,
Léo Lamoureux
,
Philippe Pucheral
EDBT 2023 - 26th International Conference on Extending Database Technology , Mar 2023, Ioannina, Greece.
⟨10.48786/edbt.2023.77⟩
Conference papers
hal-03996787v2
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security
Cas Cremers
,
Alexander Dax
,
Charlie Jacomme
,
Mang Zhao
32nd USENIX Security Symposium 2023 , USENIX, Aug 2023, Anaheim, United States
Conference papers
hal-04126116v3
Actions
Share
Gmail
Facebook
X
LinkedIn
More
CV2EC: Getting the Best of Both Worlds
Bruno Blanchet
,
Pierre Boutry
,
Christian Doczkal
,
Benjamin Grégoire
,
Pierre-Yves Strub
2023
Preprints, Working Papers, ...
hal-04321656v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
ESPwn32: Hacking with ESP32 System-on-Chips
Romain Cayre
,
Damien Cauquil
,
Aurélien Francillon
WOOT 2023, 17th IEEE Workshop on Offensive Technologies, co-located with IEEE S&P 2023 , IEEE, May 2023, San Francisco, United States.
⟨10.1109/SPW59333.2023.00033⟩
Conference papers
hal-04183794v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
SNAKE challenge: Sanitization Algorithms under Attack
Tristan Allard
,
Louis Béziaud
,
Sébastien Gambs
ACM International Conference on Information and Knowledge Management , Oct 2023, Birmingham, United Kingdom.
⟨10.1145/3583780.3614754⟩
Conference papers
hal-04228115v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Automatic verification of transparency protocols
Vincent Cheval
,
José Moreira
,
Mark Ryan
Conference papers
hal-04219234v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
On the Auditability of the Estonian IVXV System and an Attack on Individual Verifiability
Anggrio Sutopo
,
Thomas Haines
,
Peter Rønne
Conference papers
hal-04216242v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms
Héber Hwang Arcolezi
,
Selene Cerna
,
Catuscia Palamidessi
DBSec 2023 - 37th IFIP Annual Conference on Data and Applications Security and Privacy , Vijay Atluri; Anna Lisa Ferrara, Jul 2023, Sophia Antipolis, France. pp.165-183,
⟨10.1007/978-3-031-37586-6_11⟩
Conference papers
hal-04175035v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More