Marco Guarnieri
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Logic×1
Frequent co-authors
Research Timeline
2026
Detecting speculative leaks with compositional semantics
The paper proposes a novel framework, Speculative Non-Interference (SNI), and a tool, Spectector, to formally detect and verify security vulnerabilities arising from complex interactions of multiple speculative execution mechanisms.
Alignment Contracts for Agentic Security Systems
The paper introduces alignment contracts, a formal framework for specifying and enforcing behavioral constraints over observable effect traces, ensuring that powerful agentic security systems operate only within defined scopes.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.LORecentApr 30, 2026
Alignment Contracts for Agentic Security Systems
The paper introduces alignment contracts, a formal framework for specifying and enforcing behavioral constraints over observable effect traces, ensuring that powerful agentic security systems operate…
View →
cs.CRRecentMar 31, 2026