Travelled to:1 × Denmark
1 × USA
Collaborated with:D.Stefan A.Russo D.Mazières J.C.Mitchell P.Buiras D.B.Giffin D.Terei
Talks about:system (2) untrust (1) protect (1) privaci (1) concurr (1) channel (1) address (1) termin (1) inform (1) covert (1)
Person: Amit Levy
DBLP: Levy:Amit
Contributed to:
2012
2012
2014Wrote 3 papers:
- ICFP-2012-StefanRBLMM #concurrent #data flow #termination
- Addressing covert termination and timing channels in concurrent information flow systems (DS, AR, PB, AL, JCM, DM), pp. 201–214.
- OSDI-2012-GiffinLSTMMR #named #privacy #web
- Hails: Protecting Data Privacy in Untrusted Web Applications (DBG, AL, DS, DT, DM, JCM, AR), pp. 47–60.
- Haskell-2014-StefanLRM
- Building secure systems with LIO (demo) (DS, AL, AR, DM), pp. 93–94.