https://github.com/emsec/verfi
Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)
https://github.com/emsec/verfi
Last synced: over 1 year ago
JSON representation
Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)
- Host: GitHub
- URL: https://github.com/emsec/verfi
- Owner: emsec
- License: bsd-3-clause
- Created: 2019-11-26T15:23:37.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-11-06T08:31:19.000Z (almost 6 years ago)
- Last Synced: 2024-03-27T13:19:25.148Z (over 2 years ago)
- Language: C++
- Size: 973 KB
- Stars: 7
- Watchers: 9
- Forks: 3
- Open Issues: 0