BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Spain
2 × Italy
Collaborated with:
G.Barthe L.Jakubiec S.M.d.Sousa A.P.Felty S.Matwin B.P.Serpette
Talks about:
formal (2) java (2) card (2) correspond (1) framework (1) platform (1) virtual (1) privaci (1) certifi (1) bytecod (1)

Person: Guillaume Dufay

DBLP DBLP: Dufay:Guillaume

Contributed to:

CADE 20052005
FASE 20042004
VMCAI 20022002
ESOP 20012001

Wrote 4 papers:

CADE-2005-DufayFM #data flow #information management #ml #privacy
Privacy-Sensitive Information Flow with JML (GD, APF, SM), pp. 116–130.
FASE-2004-BartheD #bytecode #framework #verification
A Tool-Assisted Framework for Certified Bytecode Verification (GB, GD), pp. 99–113.
VMCAI-2002-BartheDJS #virtual machine
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
ESOP-2001-BartheDJSS #execution #framework #platform #semantics
A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.