MC2: Rigorous and Efficient Directed Greybox Fuzzing

Publication
In Proceedings of the 29th ACM Conference on Computer and Communications Security. (CCS22) Best Paper Award Runner-Up