Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / symbolicsoft/verifpal issues and pull requests

#6 - Fix false attacks in authentication queries by rewriting primitives and checking later for equivalence

Pull Request - State: closed - Opened by max-p-log-p 6 months ago - 1 comment

#5 - Proving protocol using OPRF with a password

Issue - State: open - Opened by forty 9 months ago - 1 comment

#4 - `SIGNVERIF` with original value (like proof-of-identity)

Issue - State: open - Opened by cobratbq 12 months ago

#3 - Proverif translation error

Issue - State: open - Opened by cym13 about 1 year ago