A secrecy-preserving language for distributed and object-oriented systems

Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas. A secrecy-preserving language for distributed and object-oriented systems. Journal of Logic and Algebraic Programming, 99:1-25, 2018. [doi]

Abstract

Abstract is missing.