Pinned Repositories
PasswordCrackingTraining
CloudHSM-model
A Formally Verified Configuration for Hardware Security Modules in the Cloud: Tamarin model.
fuzzy-rainbow
A fast and cost-effective design for FPGA-based fuzzy rainbow tradeoffs
PUF-model
Formal model of PUF-based protocols