Develop and Download Open Source Software

libsparkcrypto

[RSS]Download

Would you recoomend this project?

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.

You can download file releases of libsparkcrypto project from List of release files

System Requirements

Operating System: OS Portable (Source code to work with many OS platforms), POSIX (Linux,BSD,Solaris etc..), Other

List of release files

File/Folder NameFile TypeSizeDateDownload Count
Latest 2 files
libsparkcrypto-0.1.1.tgzapplication/x-gzip; charset=binary99.1 KB2010-09-13 23:111
libsparkcrypto-0.1.0.tgzapplication/x-gzip; charset=binary109.9 KB2010-09-13 23:111
All Files
libsparkcrypto-0.1.1.tgzapplication/x-gzip; charset=binary99.1 KB2010-09-13 23:111
libsparkcrypto-0.1.0.tgzapplication/x-gzip; charset=binary109.9 KB2010-09-13 23:111


Related Projects
  • Ophcrack
  • プロジェクト・ナニ屋
  • EasyPG
  • 住基ICカード電子署名ライブラリ
  • 暗号バッグ
Search Keywords
No Data
About SourceForge.JP
Find Software
Develop Software
Community
Help
SourceForge.JP is a Japanese version of SourceForge.net. For developments that are not related to Japan, we recommend you to use SourceForge.net.