Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.026Apr2324Feb191830Jul12MayUpdate ObsEquOracle_credential_installation.py: switch from python3.8 to python3mastermasterfixed typoadded DockerfileUpdate README.md to add docker setupUpdate README.md based on feedbackUpdate README.md based on feedbackUpdate README.md based on feedbackAdd LICENSEUpdate README.mddetails for test machineRenamed instruction files to README.mdMinor formatting correctionAdded security property files for Tamarin 1.6.1Added additional execution instructions to subfoldersCorrected theory namesAdded hyperlinks to the filenames of model files in READMERestructured README and added a description of changes to the original DAA modelSpecified used Tamarin version in READMEchanged names to better match paperRemoved latex syntax from READMEInitial commit