StefanDeian

Liquid information flow control

StefanDeian, PolikarpovaNadia, YangJean, 2020 .

Flexible dynamic information flow control in Haskell

StefanDeian, C MitchellJohn, RussoAlejandro, 2011 .

Addressing covert termination and timing channels in concurrent information flow systems

StefanDeian, C MitchellJohn, RussoAlejandro, 2012 .

From fine- to coarse-grained dynamic information flow control and back

StefanDeian, GargDeepak, RussoAlejandro, 2019 .

CT-wasm: type-driven secure cryptography for the web ecosystem

StefanDeian, WattConrad, RennerJohn, 2019 .

Pretend synchrony: synchronous verification of asynchronous distributed programs

BakstAlexander, StefanDeian, JhalaRanjit, 2019 .