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: Rezk:Tamara
Contributed to:
2008
2007
2006
2006
2004
2017Wrote 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.