Ferret: Automatically finding RFC compliance bugs in DNS nameservers
Guest Post: New open-source tool identifies 30 unique bugs across popular DNS implementations like Bind, Knot, NSD, and PowerDNS.
CARVIEW |
Siva Kesava is a PhD candidate at the Department of Computer Science, UCLA. His research interests lie at the intersection of Networks and Programming Languages. He is working on harnessing network verification to improve cloud reliability.
By Siva Kesava on 24 Jun 2022
Guest Post: New open-source tool identifies 30 unique bugs across popular DNS implementations like Bind, Knot, NSD, and PowerDNS.
By Siva Kesava on 11 Mar 2022
Guest Post: Using the power of the DNAME record type, study shows DNS can express regular languages and pushdown systems.
By Siva Kesava on 29 Oct 2020
Guest Post: GRᴏᴏᴛ is a new open-source static verification tool for DNS zone files.