Dynamic vs. Static Flow-Sensitive Security Analysis
Civitas: Toward a Secure Voting System