The popular strongSwan open source IPsec VPN project now makes use of Ada.
The latest strongSwan release 5.0.3 [1] contains support for the Trusted Key Manager (TKM), which is a separate process providing security critical operations of the IKEv2 protocol. The TKM has been implemented from scratch in Ada, using some of the new Ada 2012 contract features for added confidence of meeting the specification.
For more, see the project website at http://www.codelabs.ch/tkm/.
