Verifying System-level Security of a Smart Ballot Box (2021)

First Author: Dana Dghaym
Attributed to:  Holistic Design of Secure Systems on Capability Hardware (HD-Sec) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Type: Working Paper