Submit Software
  1. Home
  2. Linux
  3. Other
  4. libsparkcrypto

libsparkcrypto

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.

VERSION HISTORY

  • Version files posted on 2010-09-13
    Several fixes and updates
  • Version N/A posted on 2010-09-13

Program Details

Related Programs

  • GenPW Free

    GenPW is a small and simple password generator. It provides some additional functionality like, Password Patterns and Characterset Probabilities.

  • ipfwAdmin Free

    IpfwAdmin is a stand-alone web based admin tool that manages FreeBSD Ipfw rule tables. It's contains plain c and some csh/awk/sed scripts.

  • Cosign: Web Single Sign-On Free

    An open source project originally designed to provide the University of Michigan with a secure single sign-on web authentication system. Cosign is part of the National Science Foundation Middleware Initiative (NMI) EDIT softw

  • SIFA Free

    SIFA (Secure Information Flow Analyser) uses a graph-based approach to reason about the possible vulnerabilities of a system from an information security perspective, supporting multiple views over the system. SIFA is an expe

  • mySQLenum Free

    mySQLenum is a command line automatic blind sql injection tool for web application that uses MySql server as its back-end. Its main goal is to provide an easy to use command line interface.

  • loop-AES Free

    Fast and transparent file system and swap encryption package for linux.No source code changes to linux kernel.Works with 2.6, 2.4, 2.2 and 2.0 kernels.

  • Comply Free

    A web based compliance tracking tool which will start off based on NIST 800-53. Hopefully it will include HIPAA, GLBA, Sarbane Oxley, Privacy Act etc.

  • KeyCenter4NB Free

    A suite of modules for the Netbeans IDE for accessing and manipulating Java keystore files, X.509 certificates, etc.

  • Universal SAFE Signing Interface Free

    USSI is the Universal SAFE Signing Interface. USSI provides web services for the application of SAFE digital signatures for PDF, text, xml, etc. Please see http://www.safe-biopharma.org for more information on SAFE.

  • ASP.Net TypeKey authentication module Free

    A C# module to allow ASP.Net sites to easily use the TypeKey authentication service.