BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Korea
1 × Portugal
1 × USA
Collaborated with:
G.Barthe C.Fournet D.Pichardie M.Warnier A.Basu B.Grégoire C.Kunz Raimil Cruz B.P.Serpette É.Tanter
Talks about:
type (3) compil (2) secur (2) noninterfer (1) lightweight (1) cryptograph (1) implement (1) translat (1) transact (1) interfer (1)

Person: Tamara Rezk

DBLP DBLP: Rezk:Tamara

Contributed to:

POPL 20082008
ESOP 20072007
SAS 20062006
QAPL 20052006
VMCAI 20042004
ECOOP 20172017

Wrote 6 papers:

POPL-2008-FournetR #data flow #encryption #implementation #security
Cryptographically sound implementations for typed information-flow security (CF, TR), pp. 323–335.
ESOP-2007-BarthePR #bytecode #java #lightweight #verification
A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.
SAS-2006-BartheGKR #compilation #optimisation
Certificate Translation for Optimizing Compilers (GB, BG, CK, TR), pp. 301–317.
QAPL-2005-BartheRW06 #branch #transaction
Preventing Timing Leaks Through Transactional Branching Instructions (GB, TR, MW), pp. 33–55.
VMCAI-2004-BartheBR #compilation #security
Security Types Preserving Compilation: (GB, AB, TR), pp. 2–15.
ECOOP-2017-CruzRST #abstraction
Type Abstraction for Relaxed Noninterference (RC, TR, BPS, ÉT), p. 27.

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.