A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.

Cdric Fournet, Gurvan Le Guernic, Tamara Rezk

Browse the full CCS paper archive.