Logical Relations for Formally Verified Authenticated Data Structures.

Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti

Browse the full CCS paper archive.