20 citations · 66 across the 15 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021
Compositional Vulnerability Detection with Insecurity Separation Logic (Extended Version)
Toby Murray, Pengbo Yan, Gidon Ernst
Memory-safety issues and information leakage are known to be depressingly common. We consider the compositional static detection of these kinds of vulnerabilities in first-order C-…
cs.PL2020★ 1 cited
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs
Robert Sison, Toby Murray
Proving only over source code that programs do not leak sensitive data leaves a gap between reasoning and reality that can only be filled by accounting for the behaviour of the com…
cs.PL2016★ 4 cited
COGENT: Certified Compilation for a Functional Systems Language
Liam O'Connor, Christine Rizkallah, Zilin Chen +8
We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and witho…