Commits · f2b444e418ba276c8dd57a7618fdb8282288ce7a · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 12, 2017
- Added new compilation flags for warnings and cleaned up code · c8d455a6
  Florian Lugou authored 7 years ago
  
  c8d455a6
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Apr 06, 2017
- Added Diffie-Hellman to crypto blocks · 7e7a8907
  Florian Lugou authored 8 years ago
  
  7e7a8907
Oct 13, 2015
- updated ProVerif translation to only replicate processes that have multiple predecessors · e83a101a
  Florian Lugou authored 9 years ago
  
  e83a101a
Sep 28, 2015
- syntax correction for verifyMAC in ProVerif · 55864028
  Florian Lugou authored 9 years ago
  
  55864028
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
Sep 22, 2015
- Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
  Florian Lugou authored 9 years ago
  cc582c07