Floriana Ciaglia
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Gautier Raimondionce
- Neil Zhaoonce
- Scott Mooreonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Type-directed Program Transformation for Constant-Time Enforcement | PriSC 2022 | 2022-01-16 |
Claims a more permissive information‑flow type system that records indirect-of{p} dependencies and rejects only direct flows, then uses those types to drive a… | ||
| Towards Understanding Spectre-PHT in Memory-Safe Languages | PriSC 2022 | 2022-01-16 |
A testing framework instruments Rust libraries with SpecFuzz to simulate branch mispredictions (skipping annotated bounds checks), runs four-hour fuzz sessions… | ||
| Synthesizing Evidence of Emergent Computation | PriSC 2022 | 2022-01-16 |
Tool called seek synthesizes counterexamples to secure compilation from executable language models and uses Rosette symbolic execution to produce concrete… | ||
| nothing matches | ||