Security Dependability Group
Security Dependability Group
People
Projects
Publications
Cyber Grand Challenge
Helix: a Platform for Efficiently Transforming Binaries
Binary diversification, hardening, fuzzing
Jack W. Davidson
Xandra: An autonomous cyber battle system for the Cyber Grand Challenge
Anh Nguyen-Tuong
,
David Melski
,
Jack W. Davidson
,
Michele Co
,
William H Hawkins
,
Jason D. Hiser
,
Derek Morris
,
Ducson Nguyen
,
Eric Rizzi
Securing Binary Code
William H Hawkins
,
Jason D. Hiser
,
Anh Nguyen-Tuong
,
Michele Co
,
Jack W. Davidson
Zipr: Efficient static binary rewriting for security
William H Hawkins
,
Jason D. Hiser
,
Michele Co
,
Anh Nguyen-Tuong
,
Jack W. Davidson
Cyber Grand Challenge
TECHx - Xandra Cyber Reasoning System
Jack W. Davidson
Cite
×
