1. Protection in Programming-Language Translations
2. When Good Components Go Bad
3. State-dependent representation independence
4. Sean Noble Anderson , Leonidas Lampropoulos , Roberto Blanco , Benjamin C. Pierce , and Andrew Tolmach . 2021. Security Properties for Stack Safety. CoRR, abs/2105.00417 ( 2021 ), arxiv:2105.00417. arxiv:2105.00417 Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, and Andrew Tolmach. 2021. Security Properties for Stack Safety. CoRR, abs/2105.00417 (2021), arxiv:2105.00417. arxiv:2105.00417
5. Arm. 2021. Morello project. https://www.morello-project.org/ Arm. 2021. Morello project. https://www.morello-project.org/