Ada-Europe 2018

Ada-Europe 2018, Lisbon Portugal 18-22 June 2018 SysAda was present at the Ada-Europe Conference on Reliable Software last week. It was a interesting week of Talks, tutorials and workshops. We will be looking at some of the highlights was they appear online.

By | June 20th, 2018|Ada-Europe, Conferences|0 Comments

Provably Secure DNS

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

By | October 13th, 2017|Conferences|Comments Off on Provably Secure DNS