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

