Privagic: automatic code partitioning with explicit secure typing.

Subashiny Tanigassalame, Yohan Pipereau, Adam Chader, Jana Toljaga, Gal Thomas

Browse the full Middleware paper archive.