Author

Siva Kesava

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.

https://sivakesava1.github.io/

Ferret: Automatically finding RFC compliance bugs in DNS nameservers

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.

How complex is the DNS?

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.

Find bugs in your DNS zone files before deployment

By Siva Kesava on 29 Oct 2020

Guest Post: GRᴏᴏᴛ is a new open-source static verification tool for DNS zone files.