SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg 0001, Catalin Hritcu. SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 64-79, IEEE, 2022. [doi]

This author has not been identified. Look up 'Akram El-Korashy' in GoogleThis author has not been identified. Look up 'Roberto Blanco' in GoogleThis author has not been identified. Look up 'Jérémy Thibault' in GoogleThis author has not been identified. Look up 'Adrien Durier' in GoogleThis author has not been identified. It may be one of the following persons:

Deepak Garg

Look up 'Deepak Garg 0001' in GoogleThis author has not been identified. Look up 'Catalin Hritcu' in Google

runs on WebDSL