Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.

Quoc Huy Do Eduard Kamburjan Nathan Wasser

Published in: POST (2016)

Keyphrases

fully automatic
flow analysis
case study
semi automatic
information flow
post processing
image quality
distributed databases
electronic voting