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 × 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 DBLP: Stefan:Deian

Contributed to:

OSDI 20142014
ICFP 20122012
OSDI 20122012
Haskell 20112011
Haskell 20142014
PLDI 20192019
POPL 20192019

Wrote 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.
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.

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.