T

tamarin-prover

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 7 hours ago. based on code collected about 7 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 22, 2024 — Sep 22, 2025 Showing page 112 of 144 Search / Filter on:
cleaning up	Jannik Dreier	More...				over 10 years ago
fixed parsing of attacks"	Jannik Dreier	More...				over 10 years ago
fixed parsing of splitEqs in proofs	Jannik Dreier	More...				over 10 years ago
Fixed export and import of diff theories	Jannik Dreier	More...				over 10 years ago
fixed export of diff theories	Jannik Dreier	More...				over 10 years ago
Added header to rfid example	Ralf Sasse	More...				over 10 years ago
Changed trivial check to msg variables only - otherwise unsound, unless we have typing for Facts, i.e., the first argument is always 'fresh', then it would be ok. Consider as future work! Adjusted SignedDH_PFS example to ensure it does not make unnecessary claims in stored keys (first two arguments do not need to be fresh on the LHS, this is forced by their only source where they are fresh anyway). Added a test for axioms, and the probabilistic example of the paper.	Ralf Sasse	More...				over 10 years ago
Heuristic modified to push eqSplits back, just before the trivial goals that are last.	Ralf Sasse	More...				over 10 years ago
Added local trivial msg variable detection into heuristic, reverted general trivial fact detection to all messages (including fresh/public)	Ralf Sasse	More...				over 10 years ago
Added Diff-targeted heuristic, effectively moving trivial goals (like KU(X)) down and otherwise uses the old standard.	Ralf Sasse	More...				over 10 years ago
Fixed security property for SignedDH - proof still incomplete.	Ralf Sasse	More...				over 10 years ago
Added information to help with manual proofs for signed DH. Not completely working.	Ralf Sasse	More...				over 10 years ago
fixed a potential second bug around freshness	Jannik Dreier	More...				over 10 years ago
finally fixed bug!	Jannik Dreier	More...				over 10 years ago
started fixing bug	Jannik Dreier	More...				over 10 years ago
Added working RFID Feldhofer protocol, as well as first attempt for Signed DH	Ralf Sasse	More...				over 10 years ago
Envelope example with attack on nonrandom encryption	Ralf Sasse	More...				over 10 years ago
3 examples added, incomplete due to looping behavior on inputs	Ralf Sasse	More...				over 10 years ago
Added two examples, based on symmetric encryption (det/nondet), to have tests for correct axiom-treatment.	Ralf Sasse	More...				over 10 years ago
cleaned up code	Jannik Dreier	More...				over 10 years ago
performance: no debug output	Jannik Dreier	More...				over 10 years ago
fixed various bugs, including wrong variable bindings and wrong treatment of variants	Jannik Dreier	More...				over 10 years ago
removed chain goals, now simply preventing the solved tactic from beeing executed if there opne (albeit hidden) goals	Jannik Dreier	More...				over 10 years ago
in diff case, always solve chain goals	Jannik Dreier	More...				over 10 years ago
fixed multiplication and union, and merged solved and trivial	Jannik Dreier	More...				over 10 years ago
improved new trivial tactic	Jannik Dreier	More...				over 10 years ago
new trivial tactic	Jannik Dreier	More...				over 10 years ago
Merge pull request #151 from katrielalex/develop	Simon Meier	More...				over 10 years ago
Added a Vagrantfile which builds Tamarin in a clean Ubuntu 14.10 VM. Instructions are in the file.	Katriel Cohn-Gordon	More...				over 10 years ago
Unified examples, added comments, more tests needed.	Ralf Sasse	More...				over 10 years ago

←
1
2
…
108
109
110
111
112
113
114
115
116
…
143
144
→