Commit Graph

9 Commits

Author SHA1 Message Date
Cas Cremers
8eec8e90e4 Merge branch 'master' of ssh://cremersc@buckleburg.inf.ethz.ch/home/cremersc/repos/scyther 2008-03-13 10:24:28 +01:00
Cas Cremers
bea1c85d9d Tried to model Guttman variants, found multi-protocol attack. 2008-02-25 23:46:22 +01:00
Cas Cremers
b1ea3f6d4b Split up Neumann-Stubblebine. 2008-02-25 23:28:52 +01:00
Cas Cremers
cfe0f917a1 Added generator for ffgg protocol. 2008-02-25 14:11:11 +01:00
Cas Cremers
0e15b7221f Strange problem with concretization algorithm.
Terence is selected, but it should not be. This is a
bug and should be fixed.
2008-01-10 16:10:21 +01:00
Cas Cremers
6cf81b3e8e Added protocol that exploits the main problem of the Athena-based algorithm. 2007-09-18 15:25:32 +02:00
Cas Cremers
ab7d37fca2 Further cleanup. 2007-06-12 14:48:13 +02:00
Cas Cremers
9aa39bfbe2 - SPORE moved into gui directory by default. 2007-05-19 17:10:46 +02:00
Cas Cremers
d622b14257 - Big restructuring of the directories 2007-05-17 17:28:10 +02:00