Software Map

Project Tree

Topic > Security Cryptography (6 projects)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

11 projects in result set.

gazelle - IHE Gazelle Tools. The Gazelle project is aimed at developing testing tools for IHE. This tools shall test the interoperability of medical systems and the compliance of the messages send by those systems with standards recommender by IHE.

Development Status : 3 - Alpha[Filter]
Development Status : 4 - Beta[Filter]
Development Status : 5 - Production/Stable[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : Apache Software License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Communications[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Security[Filter]

Activity Percentile: 96.58

Registered: 2007-03-07 16:37

Why3 - Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers. The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/

Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 70.22

Registered: 2010-11-05 10:44

Nullability Inference Tool - NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 11.67

Registered: 2008-04-30 12:04

IoT Modeling Language - A transpiler from an IoT modelling language to BIP.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : Creative Commons[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Security[Filter]
Topic : Software Development : Compilers[Filter]

Registered: 2018-10-03 13:16

The Why platform - The Why platform is an environment for deductive verification of C and Java programs.
Kind : Software[Filter] License : OSI Approved : GNU General Public License \(GPL\)[Filter] Operating System : Microsoft : Windows[Filter] Operating System : POSIX : GNU/Linux[Filter] Programming Language : Objective-Caml[Filter] Research center : Saclay - Ile de France[Filter] Topic : Security[Filter] Topic : Software Development[Filter]	Activity Percentile: 0.00 Registered: 2007-10-18 11:50

Thesis - All Files from Loïc Fejoz's Ph'd thesis.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Nancy[Filter]
Topic : Security[Filter]

Registered: 2007-01-29 09:19

Toolbox for Opacity - This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.
Development Status : 2 - Pre-Alpha[Filter] Intended Audience : Developers[Filter] Intended Audience : End Users/Desktop[Filter] Kind : Publication\(s\)[Filter] Kind : Software[Filter] Natural Language : English[Filter] Natural Language : French[Filter] Programming Language : Java[Filter] Research center : Rennes[Filter] Topic : Scientific/Engineering[Filter] Topic : Security[Filter]	Activity Percentile: 0.00 Registered: 2010-03-09 11:24

Steganography and Covert Channels - Steganography and Covert Channels source code repo
Development Status : 3 - Alpha[Filter] Environment : Console \(Text Based\)[Filter] Intended Audience : Developers[Filter] Kind : Software[Filter] License : OSI Approved : GNU General Public License \(GPL\)[Filter] Natural Language : English[Filter] Operating System : POSIX : GNU/Linux[Filter] Programming Language : Java[Filter] Research center : Rennes[Filter] Topic : Security[Filter]	Activity Percentile: 0.00 Registered: 2014-09-29 13:56

Frama-C - Frama-C is a platform for static analysis of C source code

Development Status : 4 - Beta[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : Microsoft : Windows : Windows NT/2000[Filter]
Operating System : POSIX[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2008-01-23 14:35

stasi - Solution de Test Automatisée de la Sécurité Informatique
Development Status : 3 - Alpha[Filter] Intended Audience : System Administrators[Filter] License : CeCILL[Filter] Operating System : POSIX[Filter] Programming Language : Perl[Filter] Topic : Security[Filter]	Activity Percentile: 0.00 Registered: 2013-05-16 14:19

Sandbox for Grids - Sandbox for Grids (s4g) is a Linux user-mode sandbox. It offers a secure execution environment for suspicious applications. Written in C, it tries to solve some typical problems of quarantine applications: efficiency and security.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Topic : Security[Filter]
Topic : System[Filter]

Activity Percentile: 0.00

Registered: 2005-07-12 11:01