(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.
Recent Comments