• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Quoc Huy DoEduard KamburjanNathan Wasser
Published in: POST (2016)
Keyphrases
  • fully automatic
  • flow analysis
  • case study
  • semi automatic
  • information flow
  • post processing
  • image quality
  • distributed databases
  • electronic voting