OSDV Technical Background

From OSDVwiki

There are a few pages that cover topics that are central to OSDV technology and development activities:

• The Open Toaster Architecture
• The T-Spec approach to development
• An explanation of High Assurance
• A non-technical but pithy explanation of the basic problems: Voting Technology Problems: What, Why, and So What?
• A not-so-technical explanation of how certification of voting systems is fundamentally broken, and how to fix it: Certify Voting Systems, For Real