alegen/proverif — pull request #1 by rwmanos (2014-06-18 22:09:23+00:00)
Title: fixed the fix

The fix is for the 2nd input of the responder instead of the 1st input. Also some minor mistakes of the example... ^^

Eventually, according to the slides the Secrecy of s must fail(?) instead of pass.