tamarin-prover-0.8.4.0: data/examples/ake/bilinear/README
This folder contains case studies from Benedikt Schmidt's Ph.D. thesis. The remaining case studies from the thesis can be found in the "csf12" folder.
This folder contains case studies from Benedikt Schmidt's Ph.D. thesis. The remaining case studies from the thesis can be found in the "csf12" folder.