papers
Publications (3)
astro-ph.HE2012
Results from the IceCube Experiment - Neutrino 2012
Greg Sullivan, IceCube Collaboration
cs.SE2025
cozy: Comparative Symbolic Execution for Binary Programs
Caleb Helbling, Graham Leach-Krouse, Sam Lasser +1
cs.CR2024
Pipe-Cleaner: Flexible Fuzzing Using Security Policies
Allison Naaktgeboren, Sean Noble Anderson, Andrew Tolmach +1