Adam Wick
According to our database1,
Adam Wick
authored at least 9 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
1
3
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Research Report: Synthesizing Intrusion Detection System Test Data from Open-Source Attack Signatures.
Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023
BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023
Proceedings of the 56th Hawaii International Conference on System Sciences, 2023
2021
A type system for extracting functional specifications from memory-safe imperative programs.
Proc. ACM Program. Lang., 2021
2020
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020
2009
Proceedings of the 8th International Symposium on Memory Management, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2006
Magpie: Precise Garbage Collection for C.
PhD thesis, 2006
2004
Proceedings of the 4th International Symposium on Memory Management, 2004