Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security.

Jiahui Shang, Luning Zhang, Zhongxiang Zheng

Browse the full TrustCom paper archive.