MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Guillaume Dufay" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Privacy-sensitive information flow with JML
by Guillaume Dufay, Amy Felty, Stan Matwin — 2005 — In CADE
…Privacy-Sensitive Information Flow with JML Guillaume Dufay 1 , Amy Felty 1 , and Stan Matwin 1…
Cited by 5 (0 self) – Add To MetaCart

A Formal Model of Access Control for Mobile Interactive Devices
by Frédéric Besson, Guillaume Dufay, Thomas Jensen — 2006 — in "11th European Symposium On Research In Computer Security (ESORICS’06)", Springer LNCS
…A Formal Model of Access Control for Mobile Interactive Devices Frédéric Besson, Guillaume Dufay…
Cited by 5 (0 self) – Add To MetaCart

Verifying Resource Access Control on Mobile Interactive Devices
by Frédéric Besson, Guillaume Dufay, Thomas Jensen, David Pichardie, Inria Rennes, U. Rennes — 2008
…Verifying Resource Access Control on Mobile Interactive Devices Frédéric Besson Guillaume Dufay…
Add To MetaCart

Formalization in Coq of the Java Card Virtual Machine
by Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard Serpette, Simão Sousa, Shen-Wei Yu
…GillesBarthe,GuillaumeDufay,LineJakubiec,BernardSerpette,SimãoSousa,andShen-WeiYu Formalizationin…
Cited by 1 (0 self) – Add To MetaCart

A Formal Executable Semantics of the JavaCard Platform
by Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard Serpette, Simo Melo de Sousa
…A Formal Executable Semantics of the JavaCard Platform Gilles Barthe 1 , Guillaume Dufay 1…
Cited by 12 (0 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB