Guillaume Dufay

According to our database, Guillaume Dufay authored at least 10 papers between 2001 and 2010.

Collaborative distances:

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

2010

Verifying resource access control on mobile interactive devices.

Frédéric Besson, Guillaume Dufay, Thomas P. Jensen, David Pichardie

J. Comput. Secur., 2010

2006

A Formal Model of Access Control for Mobile Interactive Devices.

Frédéric Besson, Guillaume Dufay, Thomas P. Jensen

Proceedings of the Computer Security, 2006

2005

Tool-Assisted Specification and Verification of Typed Low-Level Languages.

Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa

J. Autom. Reason., 2005

Formal Methods for Smartcard Security.

Gilles Barthe, Guillaume Dufay

Proceedings of the Foundations of Security Analysis and Design III, 2005

Privacy-Sensitive Information Flow with JML.

Guillaume Dufay, Amy P. Felty, Stan Matwin

Proceedings of the Automated Deduction, 2005

2004

A Tool-Assisted Framework for Certified Bytecode Verification.

Gilles Barthe, Guillaume Dufay

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2002

A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa

Proceedings of the Verification, 2002

Tool-Assisted Specification and Verification of the JavaCard Platform.

Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A Formal Executable Semantics of the JavaCard Platform.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa

Proceedings of the Programming Languages and Systems, 2001

Jakarta: A Toolset for Reasoning about JavaCard.

Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa

Proceedings of the Smart Card Programming and Security, 2001