Pages that link to "Item:Q2669248"
From MaRDI portal
The following pages link to A formal treatment of the role of verified compilers in secure computation (Q2669248):
Displaying 4 items.
- Yet another compiler for active security or: efficient MPC over arbitrary rings (Q1784116) (← links)
- Certified compilation for cryptography: extended x86 instructions and constant-time verification (Q2152025) (← links)
- A tribute to José Manuel Valença (Q2168787) (← links)
- Compiling Information-Flow Security to Minimal Trusted Computing Bases (Q3000581) (← links)