Asymmetric Secure Multi-execution with Declassification. - Iulia Bolosteanu; Deepak Garg 001 (POST, 2016)