Adam Wick

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 5

Top Topics

Intrusion Detection System

Imperative Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Jared Chandler, Adam Wick
Research Report: Synthesizing Intrusion Detection System Test Data from Open-Source Attack Signatures. SP Workshops (2023)
Jared Chandler, Adam Wick
Deceptive Self-Attack for Cyber-Defense. HICSS (2023)
Jared Chandler, Adam Wick, Kathleen Fisher
BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats. NDSS (2023)
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
A type system for extracting functional specifications from memory-safe imperative programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Jared Chandler, Kathleen Fisher, Erin Chapman, Eric Davis, Adam Wick
Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception. HICSS (2020)
Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
Precise garbage collection for C. ISMM (2009)
Levent Erkök, Magnus Carlsson, Adam Wick
Hardware/software co-verification of cryptographic algorithms using Cryptol. FMCAD (2009)
Adam Wick, Matthew Flatt
Memory accounting without partitions. ISMM (2004)