Marco Guarnieri
Marco Guarnieri
Home
News
Recent publications
All publications
Projects
Open positions
Contact
CV
Light
Dark
Automatic
Page not found
Perhaps you were looking for one of these?
Latest
Testing side-channel security of cryptographic implementations against future microarchitectures
Publications
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Automatic Detection of Speculative Execution Combinations
Anosy: Approximated Knowledge Synthesis with Refinement Types for Declassification
Hardware-Software Contracts for Secure Speculation
Exorcising Spectres with Secure Compilers
Contract-aware Secure Compilation
Cite
×