Roberto Blanco
where else to find them
no profile links on file
what they talk about
where they keep going back
- PriSC2 editions2023–2026
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| FSLH: Flexible Mechanized Speculative Load Hardening | PriSC 2026 | 2026-01-11 |
Presents FSLH, a middle-ground Spectre v1 mitigation that uses a static information‑flow analysis plus selective masking and a semantics that inserts masks (an… | ||
| SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability M... | PriSC 2023 | 2023-01-21 |
Extension of CompCert implements CompCert with compartments that enforces interfaces, disables cross-compartment inlining/tailcalls, and updates Coq… | ||
| nothing matches | ||