Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
4 links
Roberto Blanco
Researcher
PaperProof Outlines as Proof Certificates: A System DescriptionAuthorship / preprint / 2015PaperSecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking SimulationAuthorship / preprint / 2022PaperTrace-Relating Compiler Correctness and Secure CompilationAuthorship / preprint / 2020PaperFSLH: Flexible Mechanized Speculative Load HardeningAuthorship / preprint / 2026