NEWS

Formalization and Verification of the Shim6 Protocol

Publication on formalization and verification of the shim6 protocol.

Annual Report 2006

We are happy to present NLnet Labs Annual report 2006. In it we present an overview of Labs' various activities and describe their impact.

DNS Threat Analysis

Publication on DNS Threat Analysis.

NSD 2.3.7 Release

This is a bug-fix release on our older maintenance branch of NSD. It includes a fixup of type WKS printing from nsd-xfer, a fixup in a call to getservbyport. There are changes in the getaddrinfo...

NSD Memory Usage Estimate

Small web tool added to make a memory size indication given zone specification.

ldns 1.2.0 Release

We released a new version of ldns. There are a lot of bugfixes, some more examples, and drill has had significant updates.

NSD Powers Secure64 DNS Solution

Secure64 is a company specialized in secure and high-performance applications. They have developed SourceT, a micro operating system geared towards secure network systems on Itanium processors....

Annual Report 2005

We are happy to present NLnet Labs Annual report 2005. In it we present an overview of Labs' various activities and describe their impact.