Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

E

EAC_Tamarin_Analysis
- Activity
- Members
- Package registry
- Container registry
- Terraform modules
- Contributor analytics
- Repository analytics

Snippets Groups Projects

Admin message

Aufgrund einer Wartung am 01.07.2025 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen.

Due to maintenance at 01.07.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.

6cce9b7c

Commit 6cce9b7c authored 1 year ago by Müller, Jonas

Downloads
- Patches
- Plain Diff

Refactor for a common include interface and better performance

parent 856dd764

No related branches found

No related tags found

No related merge requests found

Changes 8

Show whitespace changes

Inline Side-by-side

Showing

ClassicEAC.spthy 14 additions, 78 deletions

ClassicEAC.spthy
FastKemPQEAC.spthy 15 additions, 56 deletions

FastKemPQEAC.spthy
FastSigPQEAC.spthy 16 additions, 58 deletions

FastSigPQEAC.spthy
KemPQEAC.spthy 16 additions, 56 deletions

KemPQEAC.spthy
SigPQEAC.spthy 16 additions, 56 deletions

SigPQEAC.spthy
include/attacker.spthy 12 additions, 0 deletions

include/attacker.spthy
include/lemmas.spthy 13 additions, 9 deletions

include/lemmas.spthy
include/setup.spthy 49 additions, 0 deletions

include/setup.spthy

with 151 additions and 313 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment