Guillaume Scerri
Guillaume Scerri
Maître de conférences, Université Versailles Saint-Quentin en Yvelines
Dirección de correo verificada de lsv.ens-cachan.fr
TítuloCitado porAño
Secure multiparty computation from SGX
R Bahmani, M Barbosa, F Brasser, B Portela, AR Sadeghi, G Scerri, ...
International Conference on Financial Cryptography and Data Security, 477-497, 2017
402017
Foundations of hardware-based attested computation and application to SGX
M Barbosa, B Portela, G Scerri, B Warinschi
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 245-260, 2016
392016
Analysis of key wrapping APIs: generic policies, computational security
G Scerri, R Stanley-Oakes
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 281-295, 2016
142016
Tractable inference systems: an extension with a deducibility predicate
H Comon-Lundh, V Cortier, G Scerri
International Conference on Automated Deduction, 91-108, 2013
112013
Security proof with dishonest keys
H Comon-Lundh, V Cortier, G Scerri
International Conference on Principles of Security and Trust, 149-168, 2012
112012
Personal data management systems: The security and functionality standpoint
N Anciaux, P Bonnet, L Bouganim, B Nguyen, P Pucheral, IS Popa, ...
Information Systems 80, 13-35, 2019
102019
Trustworthy Distributed Computations on Personal Data Using Trusted Execution Environments
R Ladjel, N Anciaux, P Pucheral, G Scerri
2019 18th IEEE International Conference On Trust, Security And Privacy In …, 2019
32019
Secure multiparty computation from sgx
B Portela, M Barbosa, G Scerri, B Warinschi, R Bahmani, F Brasser, ...
32017
Proofs of security protocols revisited
G Scerri
32015
A manifest-based framework for organizing the management of personal data at the edge of the network
R Ladjel, N Anciaux, P Pucheral, G Scerri
22019
Symbolic models for isolated execution environments
C Jacomme, S Kremer, G Scerri
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 530-545, 2017
12017
Personal database security and trusted execution environments: a tutorial at the crossroads
N Anciaux, L Bouganim, P Pucheral, G Scerri
Proceedings of the VLDB Endowment 12 (12), 1994-1997, 2019
2019
Performance of Large Scale Data-Oriented Operations under the TEE Constraints
R Carpentier, N Anciaux, I Popa, G Scerri
2018
Secure and Distributed Computations for a Personal Data Management System
R Ladjel, N Anciaux, G Scerri, P Pucheral
2018
Secure and Distributed Computations for a Personal Cloud
R Ladjel, N Anciaux, P Pucheral, G Scerri
2018
Secure Multiparty Computation from SGX
AR Sadeghi, G Scerri, B Warinschi
Financial Cryptography and Data Security: 21st International Conference, FC …, 2017
2017
Secure Multiparty Computation from SGX
M Barbosa, A Sadeghi, BL Portela, F Brasser, R Bahmani, B Warinschi, ...
2017
Foundations of Hardware-Based Attested Computation and Application to SGX
G Scerri, B Warinschi, M Barbosa, B Portela
2016
A tool for automating the computationally complete symbolic attacker
H Comon-Lundh, V Cortier, G Scerri
Joint Workshop on Foundations of Computer Security and Formal and …, 2014
2014
Modélisation des clés de l'intrus
G Scerri
2010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20