Commits · main · Müller, Jonas / EAC_Tamarin_Analysis · GitLab

Snippets Groups Projects

Jul 22, 2024
- Mention master thesis in README · d74f55cf
  Müller, Jonas authored 10 months ago
  
  d74f55cf
- Add acknowledgement for result files · 90f295d6
  Müller, Jonas authored 10 months ago
  
  90f295d6
Jul 06, 2024
- Change flag in verify transcript and clean-up lemmas · 9060f368
  Müller, Jonas authored 10 months ago
  
  9060f368
Jul 02, 2024
- Remove chip hiding property and add forward secrecy for terminal ltk · e7f75533
  Müller, Jonas authored 10 months ago
  
  e7f75533
Jun 25, 2024
- Add short project overview to README · 2bccaf0b
  Müller, Jonas authored 10 months ago
  
  2bccaf0b
Jun 24, 2024
- Add terminal corruption to key secrecy · 35523169
  Müller, Jonas authored 11 months ago
  
  35523169
Jun 19, 2024
- Update SigPQEAC results · a10c424d
  Müller, Jonas authored 11 months ago
  
  a10c424d
- Add results of all models · 2e2142c3
  Müller, Jonas authored 11 months ago
  
  View commits for tag v1.1 v1.1
  
  2e2142c3
- Fix missing T and pkCe in Verify_Transcript · 823db2c5
  Müller, Jonas authored 11 months ago
  
  823db2c5
- Encrypt iid in KEM to match certC encryption layer · fd9d4816
  Müller, Jonas authored 11 months ago
  
  fd9d4816
Jun 18, 2024
- Remove different non-repudiation approaches · 525bf74e
  Müller, Jonas authored 11 months ago
  
  525bf74e
Jun 12, 2024
- Add one-sided protocol simulation approach · 1e86d53a
  Müller, Jonas authored 11 months ago
  
  1e86d53a
Jun 11, 2024
- Add possible lemmata for the chip not non-repudiation · fe3f789f
  Müller, Jonas authored 11 months ago
  
  fe3f789f
- Refactor for a common include interface and better performance · 6cce9b7c
  Müller, Jonas authored 11 months ago
  
  View commits for tag v1.0 v1.0
  
  6cce9b7c
Jun 06, 2024
- Add all variants and python script to insert lemmas · 856dd764
  Müller, Jonas authored 11 months ago
  
  856dd764
May 16, 2024
- Add iid to make user ids unique per session, additional lemmata, include certs in sid · de79838b
  Müller, Jonas authored 1 year ago
  
  de79838b
Apr 16, 2024
- Add weak_agreement, agreement, modify security properties to induction and... · 477663a0
  Müller, Jonas authored 1 year ago
  477663a0
Apr 10, 2024
- Add results for the BasicEAC model · 8200a9d3
  Müller, Jonas authored 1 year ago
  
  View commits for tag v0.1 v0.1
  
  8200a9d3
- Add initial classical EAC model · 56af3bcd
  Müller, Jonas authored 1 year ago
  
  56af3bcd
- Initial commit · 24f7585d
  Müller, Jonas authored 1 year ago
  
  24f7585d