Poster: Formally Verified Binary Lifting to P-Code.

Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran

Browse the full CCS paper archive.