Security proof with dishonest keys. - Hubert Comon-Lundh; Véronique Cortier; Guillaume Scerri (IACR Cryptol. ePrint Arch., 2012)

Tractable Inference Systems: An Extension with a Deducibility Predicate. - Hubert Comon-Lundh; Véronique Cortier; Guillaume Scerri (CADE, 2013)

Proofs of security protocols revisited. (Les preuves de protocoles cryptographiques revisitées). - Guillaume Scerri (2015)

Secure Multiparty Computation from SGX. - Raad Bahmani; Manuel Barbosa; Ferdinand Brasser; Bernardo Portela; Ahmad-Reza Sadeghi; Guillaume Scerri; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2016)

Foundations of Hardware-Based Attested Computation and Application to SGX. - Manuel Barbosa; Bernardo Portela; Guillaume Scerri; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2016)

Analysis of Key Wrapping APIs: Generic Policies, Computational Security. - Guillaume Scerri; Ryan Stanley-Oakes (IACR Cryptol. ePrint Arch., 2016)

Symbolic Models for Isolated Execution Environments. - Charlie Jacomme; Steve Kremer; Guillaume Scerri (IACR Cryptol. ePrint Arch., 2017)

A Manifest-Based Framework for Organizing the Management of Personal Data at the Edge of the Network. - Riad Ladjel; Nicolas Anciaux; Philippe Pucheral; Guillaume Scerri (ISD, 2019)

Trustworthy Distributed Computations on Personal Data Using Trusted Execution Environments. - Riad Ladjel; Nicolas Anciaux; Philippe Pucheral; Guillaume Scerri (TrustCom/BigDataSE, 2019)

Personal Data Management Systems: The security and functionality standpoint. - Nicolas Anciaux; Philippe Bonnet; Luc Bouganim; Benjamin Nguyen; Philippe Pucheral; Iulian Sandu Popa; Guillaume Scerri (Inf. Syst., 2019)

Personal Database Security and Trusted Execution Environments: A Tutorial at the Crossroads. - Nicolas Anciaux; Luc Bouganim; Philippe Pucheral; Iulian Sandu Popa; Guillaume Scerri (Proc. VLDB Endow., 2019)

Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets. - Hubert Comon; Charlie Jacomme; Guillaume Scerri (CCS, 2020)

Secure Distributed Queries over Large Sets of Personal Home Boxes. - Riad Ladjel; Nicolas Anciaux; Philippe Pucheral; Guillaume Scerri (Trans. Large Scale Data Knowl. Centered Syst., 2020)

Consent-driven data use in crowdsensing platforms: When data reuse meets privacy-preservation. - Mariem Brahem; Guillaume Scerri; Nicolas Anciaux; Valérie Issarny (PerCom, 2021)

Mitigating Leakage from Data Dependent Communications in Decentralized Computing using Differential Privacy. - Riad Ladjel; Nicolas Anciaux; Aurélien Bellet; Guillaume Scerri (CoRR, 2021)

Consent-driven Data Reuse in Multi-tasking Crowdsensing Systems: A Privacy-by-Design Solution. - Mariem Brahem; Guillaume Scerri; Nicolas Anciaux; Valérie Issarny (Pervasive Mob. Comput., 2022)

A Probabilistic Logic for Concrete Security. - David Baelde; Caroline Fontaine; Adrien Koutsos; Guillaume Scerri; Théo Vignon (CSF, 2024)

A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent. - Nicolas Anciaux; Sabine Frittella; Baptiste Joffroy; Benjamin Nguyen; Guillaume Scerri (EDBT, 2024)

Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents. - Léonard Brice; Jean-François Raskin; Mathieu Sassolas; Guillaume Scerri; Marie van den Bogaard (CSF, 2025)