When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
Guglielmo FachiniCatalin HritcuMarco StronatiArthur Azevedo de AmorimAna Nora EvansCarmine AbateRoberto BlancoThéo LaurentBenjamin C. PierceAndrew TolmachPublished in: CoRR (2018)