The following pages link to Marco Patrignani (Q1749115):
Displaying 5 items.
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Fully-abstract compilation by approximate back-translation (Q2828252) (← links)
- A Secure Compiler for ML Modules (Q3460898) (← links)
- (Q4596778) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
