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
6 links
Toby Murray
Researcher
PaperAn Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & MoreAuthorship / preprint / 2020PaperVERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices)Authorship / preprint / 2020PaperSpecifying a Realistic File SystemAuthorship / preprint / 2015PaperA Hoare Logic with Regular Behavioral SpecificationsAuthorship / preprint / 2022PaperState Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol FuzzingAuthorship / preprint / 2022PaperCOGENT: Certified Compilation for a Functional Systems LanguageAuthorship / preprint / 2016