Popular repositories Loading

1. DICE-Profiles DICE-Profiles Public

   Forked from dice-project/DICE-Profiles

   UML profiles for the DICE project

   Java

2. surreal surreal Public

   Forked from stefanomarrone/surreal

   SURvivability Requirements Elicitation adn Assessment tooL

   Java

3. PTPNperfbound PTPNperfbound Public

   A performance bound solver for PTPN

   Python

4. greatspn.docker greatspn.docker Public

   Forked from abelgomez/greatspn.docker

   Docker files to create a GreatSPN image that can be accessed via SSH

   Dockerfile

5. goal-checker goal-checker Public

   Checking security goals on execution traces of the Java-based implementation of cryptographic protocols produced by the AnBx framework

   Java