Cited By
View all- Patrignani MAhmed AClarke D(2019)Formal Approaches to Secure CompilationACM Computing Surveys10.1145/328098451:6(1-36)Online publication date: 4-Feb-2019
- Larmuseau AClarke D(2015)Formalizing a Secure Foreign Function InterfaceSoftware Engineering and Formal Methods10.1007/978-3-319-22969-0_16(215-230)Online publication date: 21-Aug-2015