4 citations · 4 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
Pipe-Cleaner: Flexible Fuzzing Using Security Policies
Allison Naaktgeboren, Sean Noble Anderson, Andrew Tolmach +1
Fuzzing has proven to be very effective for discovering certain classes of software flaws, but less effective in helping developers process these discoveries. Conventional crash-ba…
cs.CR2020
Towards Formally Verified Compilation of Tag-Based Policy Enforcement
CHR Chhak, Andrew Tolmach, Sean Anderson
Hardware-assisted reference monitoring is receiving increasing attention as a way to improve the security of existing software. One example is the PIPE architecture extension, whic…