/BESSPIN-Voting-System-Demonstrator-2019

The BESSPIN Voting System. This system is used to demonstrate and red team SSITH secure CPUs.

Primary LanguageCoqOtherNOASSERTION

Issues