1 paper
R. Can Aygun, Yehuda Afek, Anat Bremler-Barr +1
With the goal of improving the security of Internet protocols, we seek faster, semi-automatic methods to discover new vulnerabilities in protocols such as DNS, BGP, and others. To…