Security - Ada Resource Association

Blog Sep 3 '15

New SPARK 2014 Book Available

by brukardt

The all-new SPARK book by John McCormick and Peter Chapin, “Building High Integrity Applications with SPARK”, was recently published. The book will allow developers to master the basic concepts for building systems with SPARK 2014.

Read Blog Entry

Blog Apr 8 '13

Ada inflitrates strongSwan

by brukardt

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

Read Blog Entry

Blog May 31 '11

SPARK Pro Demo – An Introduction t...

by AdaCore

The third in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. This demo covers advanced data and control coupling. We’ll present a new demo in the series every Monday.

Read Blog Entry

Blog May 26 '11

SPARK Pro Demo – An Introduction t...

by AdaCore

The second in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. This demo covers basic data and control coupling. We’ll present a new demo in the series every Monday.

Read Blog Entry

Blog May 16 '11

SPARK Pro Demo – An Introduction t...

by AdaCore

The first in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. We’ll present a new demo in the series every Monday.

Read Blog Entry

Blog Apr 7 '11

SPARK Developers Janet Barnes and Rod Ch...

by jayre

At the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010), it was announced that Microsoft Research would sponsor an award that recognises significant technological advances towards the goals of the Verified Software Initiative (VSI).

From the announcement:
We are delighted to announce that the recipients of the inaugural Microsoft Research Verified Software Milestone Award are Janet Barnes and Rod Chapman for the Tokeneer Project (http://www.altran-praxis.com/security.aspx).

The formal presentation of the Award will be made to Janet and Rod at AVoCS 2011 (http://conferences.ncl.ac.uk/AVoCS2011/), which is being hosted by Newcastle University this September.

The full award citation is provided along with further details of the award process at the VSI website, i.e. http://dream.inf.ed.ac.uk/vsi

Read Blog Entry

Blog Jan 10 '11

Designing a High Assurance Workstation (...

by jayre

In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Senier from secunet talks about their experiences building High Assurance workstations.