Daniel Le Métayer
发表
Antoine Boutet,
Claude Castelluccia,
Vincent Roca,
2020
.
Daniel Le Métayer,
D. Le Métayer,
1996,
SIGSOFT '96.
Pascal Fradet,
Daniel Le Métayer,
1998,
Sci. Comput. Program..
Daniel Le Métayer,
D. L. Métayer,
D. Métayer,
1995,
PEPM '95.
Daniel Le Métayer,
Claude Castelluccia,
2020,
APF.
Pascal Fradet,
Daniel Le Métayer,
Pascal Fradet,
1997,
POPL '97.
Gregor Gößler,
Daniel Le Métayer,
2015,
Sci. Comput. Program..
Daniel Le Métayer,
Sourya De,
S. De,
2016
.
Daniel Le Métayer,
Clément Henin,
2020
.
Marine Minier,
Frédéric Le Mouël,
Stéphane Ubéda,
2007
.
Daniel Le Métayer,
D. L. Métayer,
D. Métayer,
2009,
Formal Aspects in Security and Trust.
David Mentré,
Thierry Priol,
Daniel Le Métayer,
2000,
2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.
Daniel Le Métayer,
Julien Le Clainche,
D. L. Métayer,
2012,
European Data Protection.
David A. Schmidt,
Daniel Le Métayer,
1996,
CSUR.
Pascal Fradet,
Daniel Le Métayer,
Michaël Périn,
1999,
ESEC/FSE-7.
Valérie Gouranton,
Daniel Le Métayer,
1994
.
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.
Claude Castelluccia,
Gergely Acs,
Daniel Le Métayer,
2016
.
Adrien Richard,
Bertrand Jeannet,
Rémi Douence,
2007
.
Daniel Le Métayer,
D. L. Métayer,
2002
.
Gregor Gößler,
Daniel Le Métayer,
D. L. Métayer,
2013,
FACS.
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..
Sourya Joyee De,
Daniel Le Métayer,
S. De,
2016,
DPM/QASA@ESORICS.
Daniel Le Métayer,
Pablo Rauzy,
Pablo Rauzy,
2018,
CODASPY.
Antonio Kung,
Daniel Le Métayer,
Christophe Jouvray,
2015
.
Daniel Le Métayer,
Jean-Pierre Banâtre,
Ciarán Bryce,
1994,
ESORICS.
Daniel Le Métayer,
Antoinette Rouvroy,
Antoinette Rouvroy,
2008
.
Pascal Fradet,
Daniel Le Métayer,
1996,
LOMAPS.
Dominique Bolignano,
Daniel Le Métayer,
Claire Loiseaux,
2000,
Java Card Workshop.
Sourya Joyee De,
Daniel Le Métayer,
D. L. Métayer,
2016,
Privacy Risk Analysis.
Daniel Le Métayer,
Thibaud Antignac,
Thibaud Antignac,
2015,
IFIPTM.
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,
Simon B. Jones,
D. Métayer,
1989,
Fourth IEEE Region 10 International Conference TENCON.
Daniel Le Métayer,
Jean-Pierre Banâtre,
D. L. Métayer,
1991,
Research Directions in High-Level Parallel Programming Languages.
Antoine Boutet,
Claude Castelluccia,
Vincent Roca,
2020
.
Daniel Le Métayer,
1985,
ACM SIGPLAN Notices.
Daniel Le Métayer,
D. L. Métayer,
D. Métayer,
1988,
TOPL.
Daniel Le Métayer,
Marc V. Benveniste,
Lionel Van Aertryck,
1997,
First IEEE International Conference on Formal Engineering Methods.
Stéphane Frénot,
Valérie Viet Triem Tong,
Daniel Le Métayer,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Daniel Le Métayer,
Sonia Desmoulin-Canselier,
D. L. Métayer,
2019,
Eur. J. Law Technol..
Chris Hankin,
Daniel Le Métayer,
C. Hankin,
1994,
POPL '94.
Josep Domingo-Ferrer,
George Danezis,
Stefan Schiffner,
2014,
ArXiv.
Daniel Le Métayer,
Denis Butin,
D. L. Métayer,
2013,
FM.
Daniel Le Métayer,
2013,
CODASPY '13.
Claude Castelluccia,
Gergely Acs,
Daniel Le Métayer,
2016
.
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel
Lacramioara Astefanoaei,
Gregor Gößler,
Daniel Le Métayer,
2014,
Tech. Sci. Informatiques.
Daniel Le Métayer,
Geoffrey L. Burn,
G. Burn,
1996,
Journal of Functional Programming.
Daniel Le Métayer,
Jean-Pierre Banâtre,
D. L. Métayer,
1986
.
Ta Vinh Thong,
Daniel Le Métayer,
Denis Butin,
2015,
APF.
Daniel Le Métayer,
Marie-Laure Potet,
Eduardo Mazza,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Daniel Le Métayer,
Jean-Pierre Banâtre,
J. Banâtre,
1989,
Functional Programming.
Jean-Baptiste Raclet,
Gregor Gößler,
Daniel Le Métayer,
2010,
RV.
Julien Bringer,
Hervé Chabanne,
Daniel Le Métayer,
2015,
FM.
Daniel Le Métayer,
Clement Henin,
2020
.
Daniel Le Métayer,
Romuald Thion,
2011,
2011 IEEE International Symposium on Policies for Distributed Systems and Networks.
Daniel Le Métayer,
Geoffrey L. Burn,
G. Burn,
1993,
PLILP.
Claude Castelluccia,
Daniel Le Métayer,
Gergely Acs,
2015
.
Pascal Fradet,
Daniel Le Métayer,
1989,
TAPSOFT, Vol.2.
David Garlan,
Daniel Le Métayer,
D. L. Métayer,
1997
.
Nora Cuppens-Boulahia,
Frédéric Cuppens,
Guillaume Piolle,
2011,
SEC.
Valérie Gouranton,
Daniel Le Métayer,
V. Gouranton,
1999,
J. Log. Comput..
Daniel Le Métayer,
Denis Butin,
Marcos Chicote,
2013,
2013 IEEE Security and Privacy Workshops.
Carmela Troncoso,
Antonio Kung,
José M. del Álamo,
2014,
CSP Forum.
Stefan Schiffner,
Daniel Le Métayer,
Thomas Engel,
2015,
Lecture Notes in Computer Science.
Julien Bringer,
Hervé Chabanne,
Daniel Le Métayer,
2016,
DBSec.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1998,
Theor. Comput. Sci..
Antoine Boutet,
Claude Castelluccia,
Vincent Roca,
2020
.
Olivier Ridoux,
Daniel Le Métayer,
Valérie-Anne Nicolas,
1998,
IEEE Softw..
Dominique Bolignano,
Daniel Le Métayer,
Claire Loiseaux,
2000,
MOVEP.
Daniel Le Métayer,
Thomas P. Jensen,
Tommy Thorn,
1999,
Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344).
Zhendong Ma,
Antonio Kung,
Daniel Le Métayer,
2017,
Comput. Law Secur. Rev..
Daniel Le Métayer,
Jean-Pierre Banâtre,
1993,
CACM.
Daniel Le Métayer,
Christphe Lazaro,
D. Métayer,
2015,
ArXiv.
Daniel Le Métayer,
1994,
Specification of Parallel Algorithms.
Pascal Fradet,
Daniel Le Métayer,
Ronan Gaugne,
1996
.
David Mentré,
Thierry Priol,
Daniel Le Métayer,
1999
.
Daniel Le Métayer,
D. Métayer,
2011,
SEFM.
Daniel Le Métayer,
Jean-Pierre Banâtre,
Anne Coutant,
1988,
it Inf. Technol..
Claude Castelluccia,
Mathieu Cunche,
Daniel Le Métayer,
2018,
2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
David Wright,
Antonio Kung,
José M. del Álamo,
2015,
2015 IEEE Security and Privacy Workshops.
Daniel Le Métayer,
Jean-Pierre Banâtre,
Anne Coutant,
1988,
Future Gener. Comput. Syst..
Daniel Le Métayer,
Clement Henin,
Clément Henin,
2019
.
Chris Hankin,
Daniel Le Métayer,
C. Hankin,
1995,
Sci. Comput. Program..
Sourya Joyee De,
Daniel Le Métayer,
S. De,
2017,
APF.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1992,
LCPC.
Daniel Le Métayer,
1996,
CSUR.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1992,
WSA.
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,
Denis Butin,
Fanny Coudert,
2015,
Comput. Law Secur. Rev..
Frank Kargl,
Daniel Le Métayer,
Rens Wouter van der Heijden,
2015,
ESSoS.
Mathieu Cunche,
Daniel Le Métayer,
Victor Morel,
2019,
2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE).
Daniel Le Métayer,
2010,
Data Protection in a Profiled World.
Daniel Le Métayer,
Thomas P. Jensen,
Tommy Thorn,
1998,
Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
Olivier Ridoux,
Daniel Le Métayer,
Valérie-Anne Nicolas,
1999,
LOPSTR.
Sourya Joyee De,
Daniel Le Métayer,
D. L. Métayer,
2016,
2016 IEEE Security and Privacy Workshops (SPW).
Olivier Ridoux,
Daniel Le Métayer,
Valérie-Anne Nicolas,
1998
.
Daniel Le Métayer,
Shara Monteleone,
D. L. Métayer,
2009
.
Daniel Le Métayer,
Thibaud Antignac,
Thibaud Antignac,
2014,
APF.
Daniel Le Métayer,
Jean-Pierre Banâtre,
D. L. Métayer,
1991,
Lecture Notes in Computer Science.
Daniel Le Métayer,
Claire Loiseaux,
2008,
SEC.
Daniel Le Métayer,
D. Métayer,
2002,
Lecture Notes in Computer Science.
Daniel Le Métayer,
1991,
Research Directions in High-Level Parallel Programming Languages.
Cédric Lauradoux,
Antoine Boutet,
Claude Castelluccia,
2020
.
Daniel Le Métayer,
Shara Monteleone,
D. L. Métayer,
2009,
Comput. Law Secur. Rev..
Daniel Le Métayer,
Marie-Laure Potet,
Eduardo Mazza,
2010,
SBMF.
Chris Hankin,
Daniel Le Métayer,
1994,
ESOP.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1993,
PARLE.
Daniel Le Métayer,
D. Métayer,
2007,
FOSAD.
Daniel Le Métayer,
Jean-Pierre Banâtre,
D. L. Métayer,
1990,
Sci. Comput. Program..
Daniel Le Métayer,
Thomas P. Jensen,
Frédéric Besson,
2001,
J. Comput. Secur..
David Garlan,
Daniel Le Métayer,
D. L. Métayer,
1996,
Lecture Notes in Computer Science.
Daniel Le Métayer,
1998,
IEEE Trans. Software Eng..
Pascal Fradet,
Daniel Le Métayer,
Jean-Pierre Banâtre,
2000,
WMP.
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.
Silvia Giordano,
Mirco Musolesi,
Melek Önen,
2019,
Security and Privacy in the Internet of Things.
Daniel Le Métayer,
Thibaud Antignac,
2014,
STM.
Daniel Le Métayer,
Thomas P. Jensen,
Tommy Thorn,
1998,
ECOOP Workshops.
Daniel Le Métayer,
Thibaud Antignac,
2015
.
Daniel Le Métayer,
Mathieu Cunche,
Victor Morel,
2020
.
Daniel Le Métayer,
D. L. Métayer,
D. Métayer,
2016
.
Julien Bringer,
Hervé Chabanne,
Daniel Le Métayer,
2015,
ISC.
Daniel Le Métayer,
Simon B. Jones,
D. L. Métayer,
1989,
FPCA.
Daniel Le Métayer,
Raúl Pardo,
Raúl Pardo,
2019,
DBSec.
Daniel Le Métayer,
1997,
SIGP.
Silvia Giordano,
Mirco Musolesi,
Claude Castelluccia,
2019
.
Daniel Le Métayer,
D. L. Métayer,
2012
.
Pascal Fradet,
Daniel Le Métayer,
1991,
TOPL.
Daniel Le Métayer,
Jean-Pierre Bonâtre,
D. L. Métayer,
1996
.
Chris Hankin,
Daniel Le Métayer,
1994,
SAS.
Pascal Fradet,
Daniel Le Métayer,
Ronan Caugne,
1996,
ESOP.
Stéphane Frénot,
Valérie Viet Triem Tong,
Daniel Le Métayer,
2011,
CACM.
Daniel Le Métayer,
Clément Henin,
D. L. Métayer,
2021,
AI Ethics.