Skip to content
master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.

README.md

formalVerificationOAuthProverif

Formal verification of the protocol OAuth 2.0 (draft 22) using the automatic cryptographic protocol verifier Proverif.

About

Formal verification of the protocol OAuth 2.0 (draft 22) using the automatic cryptographic protocol verifier Proverif.

Resources

License

Releases

No releases published
You can’t perform that action at this time.