A Typed Assembly Language for Confidentiality.

Dachuan Yu, Nayeem Islam

Browse the full ESOP paper archive.