GitHub - finleywang/twoflip_proverif: ProVerif program for phases in 2FLIP scheme. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitattributes		.gitattributes
a_twoflip_reg_auth		a_twoflip_reg_auth
b_twoflip_keyupdate		b_twoflip_keyupdate
c_twoflip_pwupdate		c_twoflip_pwupdate

About

ProVerif program for phases in 2FLIP scheme.

Report repository

Releases

No releases published

Packages

Contributors