Poster: Formally Verified Binary Lifting to P-Code. - Nico Naus; Freek Verbeek; Sagar Atla; Binoy Ravindran (CCS, 2024)