D. Métayer
发表
David Wright,
Antonio Kung,
José M. del Álamo,
2015,
2015 IEEE Security and Privacy Workshops.
Claude Castelluccia,
Gergely Acs,
Daniel Le Métayer,
2016
.
Claude Castelluccia,
Mathieu Cunche,
Daniel Le Métayer,
2018,
2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Josep Domingo-Ferrer,
George Danezis,
Stefan Schiffner,
2014,
ArXiv.
Pascal Fradet,
Daniel Le Métayer,
Jean-Pierre Banâtre,
2000,
WMP.
Daniel Le Métayer,
Jean-Pierre Banâtre,
J. Banâtre,
1989,
Functional Programming.
Daniel Le Métayer,
Denis Butin,
Fanny Coudert,
2015,
Comput. Law Secur. Rev..
Daniel Le Métayer,
Raúl Pardo,
Raúl Pardo,
2019,
DBSec.
Sourya Joyee De,
Daniel Le Métayer,
D. L. Métayer,
2016,
2016 IEEE Security and Privacy Workshops (SPW).
Carmela Troncoso,
Antonio Kung,
José M. del Álamo,
2014,
CSP Forum.
Silvia Giordano,
Mirco Musolesi,
Melek Önen,
2019,
Security and Privacy in the Internet of Things.
G. Danezis,
J. Domingo-Ferrer,
D. L. Métayer,
2015
.
Valérie Gouranton,
Daniel Le Métayer,
V. Gouranton,
1999,
J. Log. Comput..
D. L. Métayer,
J. Banâtre,
C. Bryce,
1994
.
Daniel Le Métayer,
Geoffrey L. Burn,
G. Burn,
1996,
Journal of Functional Programming.
Chris Hankin,
Daniel Le Métayer,
C. Hankin,
1995,
Sci. Comput. Program..
Daniel Le Métayer,
Jean-Pierre Banâtre,
Ciarán Bryce,
1994,
ESORICS.
Daniel Le Métayer,
Geoffrey L. Burn,
D. L. Métayer,
1993,
PLILP.
Daniel Le Métayer,
Simon B. Jones,
D. L. Métayer,
1989,
FPCA.
Daniel Le Métayer,
Simon B. Jones,
D. L. Métayer,
1989,
Fourth IEEE Region 10 International Conference TENCON.
Olivier Ridoux,
Daniel Le Métayer,
Valérie-Anne Nicolas,
1998,
IEEE Softw..
Olivier Ridoux,
Daniel Le Métayer,
Valérie-Anne Nicolas,
1998
.
Clément Henin,
Daniel Le Métayer,
D. L. Métayer,
2021,
AI & SOCIETY.
D. L. Métayer,
Clément Henin,
D. Métayer,
2020,
ICPR Workshops.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1998,
Theor. Comput. Sci..
Daniel Le Métayer,
D. L. Métayer,
D. Métayer,
1988,
TOPL.
D. L. Métayer,
D. Métayer,
1985,
SLIPE '85.
Marine Minier,
Frédéric Le Mouël,
Stéphane Ubéda,
2007
.
Daniel Le Métayer,
Shara Monteleone,
D. L. Métayer,
2009,
Comput. Law Secur. Rev..
Daniel Le Métayer,
D. L. Métayer,
D. Métayer,
2016
.
Daniel Le Métayer,
D. Métayer,
2011,
SEFM.
Daniel Le Métayer,
Julien Le Clainche,
D. L. Métayer,
2012,
European Data Protection.
Daniel Le Métayer,
Jean-Pierre Banâtre,
Anne Coutant,
1988,
Future Gener. Comput. Syst..
Antoine Boutet,
Claude Castelluccia,
Vincent Roca,
2020
.
Sourya Joyee De,
Daniel Le Métayer,
S. De,
2016,
DPM/QASA@ESORICS.
Daniel Le Métayer,
D. L. Métayer,
D. Métayer,
1995,
PEPM '95.
Antoine Boutet,
Claude Castelluccia,
Vincent Roca,
2020
.
DESIRE: A Third Way for a European Exposure Notification System Leveraging the best of centralized and decentralized systems
pdf
Cédric Lauradoux,
Antoine Boutet,
Claude Castelluccia,
2020,
ArXiv.
Daniel Le Métayer,
D. L. Métayer,
D. Métayer,
2009,
Formal Aspects in Security and Trust.
Daniel Le Métayer,
Jean-Pierre Banâtre,
Ciarán Bryce,
1995,
Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures
pdf
Julien Bringer,
Hervé Chabanne,
Daniel Le Métayer,
2017,
Trans. Data Priv..
Julien Bringer,
Hervé Chabanne,
Daniel Le Métayer,
2015,
FM.
Daniel Le Métayer,
Thibaud Antignac,
Thibaud Antignac,
2014,
APF.
Pascal Fradet,
Daniel Le Métayer,
Pascal Fradet,
1997,
POPL '97.
D. L. Métayer,
Clément Henin,
D. Métayer,
2020,
2020 IEEE International Conference on Big Data (Big Data).
Daniel Le Métayer,
D. Métayer,
2002,
Lecture Notes in Computer Science.
Sourya Joyee De,
Daniel Le Métayer,
S. De,
2018,
2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Daniel Le Métayer,
Clement Henin,
Clément Henin,
2019
.
Daniel Le Métayer,
Christphe Lazaro,
D. Métayer,
2015,
ArXiv.
Daniel Le Métayer,
Pablo Rauzy,
Pablo Rauzy,
2018,
CODASPY.
Sourya Joyee De,
Daniel Le Métayer,
S. De,
2017,
APF.
Daniel Le Métayer,
Sourya De,
S. De,
2016
.
Daniel Le Métayer,
Thibaud Antignac,
Thibaud Antignac,
2015,
IFIPTM.
D. L. Métayer,
J. Banâtre,
Pascal Fradet,
2000,
WMP.
Nora Cuppens-Boulahia,
Frédéric Cuppens,
Guillaume Piolle,
2011,
SEC.
Daniel Le Métayer,
D. Métayer,
2007,
FOSAD.
Daniel Le Métayer,
Marc V. Benveniste,
Lionel Van Aertryck,
1997,
First IEEE International Conference on Formal Engineering Methods.
Frank Kargl,
Daniel Le Métayer,
Rens Wouter van der Heijden,
2015,
ESSoS.
Daniel Le Métayer,
Denis Butin,
Denis Butin,
2015,
2015 IEEE/ACM 1st International Workshop on TEchnical and LEgal aspects of data pRivacy and SEcurity.
Daniel Le Métayer,
Denis Butin,
Marcos Chicote,
2013,
2013 IEEE Security and Privacy Workshops.
Jean-Baptiste Raclet,
Gregor Gößler,
Daniel Le Métayer,
2010,
RV.