T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 30, 2024 — Jul 30, 2025 Showing page 126 of 144 Search / Filter on:
added YubiKey, StatVerif, Minimal_HashChain to distro	Simon Meier	More...				almost 13 years ago
modeled contract signing from StatVerif paper	Simon Meier	More...				almost 13 years ago
renamed: StatVerif_Example1 ~> StatVerif_Security_Device	Simon Meier	More...				almost 13 years ago
Merge branch 'feature-finish-TESLA2' into develop	Simon Meier	More...				almost 13 years ago
moved YubiSecure case studies into separate directory	Simon Meier	More...				almost 13 years ago
commented out lemma one_count_for_each_login, for the moment	Robert K	More...				almost 13 years ago
added NSPK3 to case studies, regression tests, and distribution	Simon Meier	More...				almost 13 years ago
NS example and inj. agreement for NSL and TLS	Simon Meier	More...				almost 13 years ago
updated artificial example	Simon Meier	More...				almost 13 years ago
typo in comments	Robert K	More...				almost 13 years ago
improved documentation on YubikeyHSM example and removed type restrictions	Robert K	More...				almost 13 years ago
improved documentation on Yubikey example and removed type restrictions	Robert K	More...				almost 13 years ago
Merge branch 'develop' of https://github.com/tamarin-prover/tamarin-prover into develop	Robert K	More...				almost 13 years ago
added injective auth. claim to Tutorial	Simon Meier	More...				almost 13 years ago
some work on Keyserver example	Simon Meier	More...				almost 13 years ago
Merge branch 'develop' of https://github.com/tamarin-prover/tamarin-prover into develop	Robert K	More...				almost 13 years ago
YubiHSM example added.	Robert K	More...				almost 13 years ago
minimal hash chain example started and giving up for now	Simon Meier	More...				almost 13 years ago
working on TESLA2 with re-authentication	Simon Meier	More...				almost 13 years ago
finished lossless TESLA 2 variant	Simon Meier	More...				almost 13 years ago
improved heuristic for protocol with loops	Simon Meier	More...				almost 13 years ago
moved special term functions to usage place	Simon Meier	More...				almost 13 years ago
working version of TESLA 2	Simon Meier	More...				almost 13 years ago
version bump to 0.8.1.0	Simon Meier	More...				almost 13 years ago
updated case studies	Simon Meier	More...				almost 13 years ago
fixed two soundness bugs	Simon Meier	More...				almost 13 years ago
some improvements to TESLA2	Simon Meier	More...				almost 13 years ago
Introduced Yubikey examples.	Robert K	More...				almost 13 years ago
gui: add delete markers to all proof steps	Simon Meier	More...				almost 13 years ago
example illustrating soundness bug #108; i.e.,	Simon Meier	More...				almost 13 years ago

←
1
2
…
122
123
124
125
126
127
128
129
130
…
143
144
→