Guillaume Dufay
According to our database1,
Guillaume Dufay
authored at least 10 papers
between 2001 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
J. Comput. Secur., 2010
2006
Proceedings of the Computer Security, 2006
2005
J. Autom. Reason., 2005
Proceedings of the Foundations of Security Analysis and Design III, 2005
Proceedings of the Automated Deduction, 2005
2004
Proceedings of the Fundamental Approaches to Software Engineering, 2004
2002
Proceedings of the Verification, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the Programming Languages and Systems, 2001
Proceedings of the Smart Card Programming and Security, 2001