Travelled to:1 × Denmark
2 × USA
Collaborated with:D.Mazières A.Russo A.Levy J.C.Mitchell D.Terei Sunjay Cauligi John Renner R.Jhala A.A.Levy K.v.Gleissenthall Rami Gökhan Kici A.Bakst Marco Vassena D.G.0001 Vineet Rajani C.Watt Natalie Popescu P.Buiras E.Z.Yang P.Marchenko D.Herman B.Karp D.B.Giffin Gary Soeller Brian Johannesmeyer Fraser Brown Riad S. Wahby B.Grégoire G.Barthe
Talks about:inform (3) flow (3) web (3) protect (2) control (2) system (2) applic (2) secur (2) dynam (2) time (2)
Person: Deian Stefan
DBLP: Stefan:Deian
Contributed to:
2014
20122012
20112014
2019
2019Wrote 10 papers:
- OSDI-2014-StefanYMRHKM #javascript
- Protecting Users by Confining JavaScript with COWL (DS, EZY, PM, AR, DH, BK, DM), pp. 131–146.
- 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-2011-StefanRMM #data flow #flexibility #haskell #information management
- Flexible dynamic information flow control in Haskell (DS, AR, JCM, DM), pp. 95–106.
- Haskell-2014-LevyTSM #web
- Demo proposal: making web applications -XSafe (AAL, DT, DS, DM), p. 91.
- Haskell-2014-StefanLRM
- Building secure systems with LIO (demo) (DS, AL, AR, DM), pp. 93–94.
- PLDI-2019-CauligiSJBWRGBJ #domain-specific language #named
- FaCT: a DSL for timing-sensitive computation (SC, GS, BJ, FB, RSW, JR, BG, GB, RJ, DS), pp. 174–189.
- POPL-2019-GleissenthallKB #distributed #source code #verification
- Pretend synchrony: synchronous verification of asynchronous distributed programs (KvG, RGK, AB, DS, RJ), p. 30.
- POPL-2019-VassenaRGRS #data flow #information management
- From fine- to coarse-grained dynamic information flow control and back (MV, AR, DG0, VR, DS), p. 31.
- POPL-2019-WattRPCS #ecosystem #encryption #named #web
- CT-wasm: type-driven secure cryptography for the web ecosystem (CW, JR, NP, SC, DS), p. 29.