(From the Archive)

Provably Secure DNS: A case study in reliable software.

An excellent paper from the Ada-Europe conference in 2013, by Barry Fagin and Martin Carlisle, using SPARK to build a DNS server. this was a hugely inspiring paper on the power of Ada and SPARK.