finleywang

Pinned Repositories

proverif_epaf
proverif source code and output for EPAF, which is an efficient pseudonymous-based inter-vehicle authentication framework for VANET
Language:Standard ML20
twoflip_proverif
ProVerif program for phases in 2FLIP scheme.
00

finleywang's Repositories

finleywang/proverif_epaf
proverif source code and output for EPAF, which is an efficient pseudonymous-based inter-vehicle authentication framework for VANET
Language:Standard ML2
finleywang/twoflip_proverif
ProVerif program for phases in 2FLIP scheme.