Guillaume Scerri

According to our database, Guillaume Scerri authored at least 19 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

CoRR, 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

Proceedings of the Proceedings 27th International Conference on Extending Database Technology, 2024

A Probabilistic Logic for Concrete Security.

David Baelde, Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2022

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

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 use in crowdsensing platforms: When data reuse meets privacy-preservation.

Mariem Brahem, Guillaume Scerri, Nicolas Anciaux, Valérie Issarny

Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications, 2021

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

Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets.

Hubert Comon, Charlie Jacomme, Guillaume Scerri

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

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

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

Trustworthy Distributed Computations on Personal Data Using Trusted Execution Environments.

Riad Ladjel, Nicolas Anciaux, Philippe Pucheral, Guillaume Scerri

Proceedings of the 18th IEEE International Conference On Trust, 2019

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

Proceedings of the Information Systems Development: Information Systems Beyond 2020, 2019

2017

Symbolic Models for Isolated Execution Environments.

Charlie Jacomme, Steve Kremer, Guillaume Scerri

IACR Cryptol. ePrint Arch., 2017

2016

Analysis of Key Wrapping APIs: Generic Policies, Computational Security.

Guillaume Scerri, Ryan Stanley-Oakes

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

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

2015

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

Guillaume Scerri

PhD thesis, 2015

2013

Tractable Inference Systems: An Extension with a Deducibility Predicate.

Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Security proof with dishonest keys.

Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri

IACR Cryptol. ePrint Arch., 2012