Adam Wick

According to our database, Adam Wick authored at least 9 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Research Report: Synthesizing Intrusion Detection System Test Data from Open-Source Attack Signatures.

Jared Chandler, Adam Wick

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats.

Jared Chandler, Adam Wick, Kathleen Fisher

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Deceptive Self-Attack for Cyber-Defense.

Jared Chandler, Adam Wick

Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

2021

A type system for extracting functional specifications from memory-safe imperative programs.

Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic

Proc. ACM Program. Lang., 2021

2020

Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception.

Jared Chandler, Kathleen Fisher, Erin Chapman, Eric Davis, Adam Wick

Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

2009

Precise garbage collection for C.

Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt

Proceedings of the 8th International Symposium on Memory Management, 2009

Hardware/software co-verification of cryptographic algorithms using Cryptol.

Levent Erkök, Magnus Carlsson, Adam Wick

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2006

Magpie: Precise Garbage Collection for C.

Adam Wick

PhD thesis, 2006

2004

Memory accounting without partitions.

Adam Wick, Matthew Flatt

Proceedings of the 4th International Symposium on Memory Management, 2004