Ada Cryptographic Objects Code

Last Revised: 2010-11-14

Hello!

This repository contains the source code for Ada Cryptographic Objects (ACO), an Ada library of
crypto primitives distributed under the terms of the Lesser GNU Public License.

ACO provides both high level interfaces to cryptographic services using the features of Ada
2005, and low level implementations of those services written in SPARK/Ada. The correctness and
security of the implementation is a high priority. The use of SPARK is intended to help prompt
that goal.

It is my intention to eventually support various high level cryptographic services in ACO such
as OpenPGP, X.509 certificates, SSL, and similar things. Obviously this is a very ambitious
plan.

To build ACO and all related programs, install GNAT GPL 2010. There are four GNAT project files.
The project tests/tests.gpr builds the library and the test program. The project src/aco.gpr
builds the library by itself (this is the only project file needed if you want to use the
library in your own applications). The project benchmarks/benchmarks.gpr builds the library and
the benchmark tests. The project tools/tools.gpr builds various supporting tools and
applications. See their individual folders for more information.

SPARK is not needed to build and use ACO or its associated programs. However, if you wish to
develop ACO or check the SPARK proofs that come with ACO you should install SPARK GPL 2010.

ACO supports both Windows and Linux.

Peter C. Chapin <PChapin@vtc.vsc.edu>