6 citations · 6 across the 5 of their papers we have counts for
3 papers · 1 filter
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo +1
Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX…
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow
Marco Vassena, Alejandro Russo, Deepak Garg +2
This tutorial provides a complete and homogeneous account of the latest advances in fine- and coarse-grained dynamic information-flow control (IFC) security. Since the 70s, the pro…
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)
Stefan Heule, Deian Stefan, Edward Z. Yang +2
Many important security problems in JavaScript, such as browser extension security, untrusted JavaScript libraries and safe integration of mutually distrustful websites (mash-ups),…