User Tools

Site Tools


Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study (BibTeX)

@inproceedings{DoKamburjanWasser-POST-2016,
  author      = {Quoc Huy Do and Eduard Kamburjan and Nathan Wasser},
  title       = {{Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study}},
  booktitle   = {Principles of Security and Trust - 5th International Conference, {POST} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages       = {97-115},
  year        = 2016,
  abstract    = {Logic-based information flow analysis approaches generally are high precision, but lack automatic ability in the sense that they demand user interactions and user-defined specifications. To overcome this obstacle, we propose an approach that combines the strength of two available logic-based tools based on the KeY theorem prover: the KEG tool that detects information flow leaks for Java programs and a specification generation tool utilizing abstract interpretation on program logic. As a case study, we take a simplified e-voting system and show that our approach can lighten the user’s workload considerably, while still keeping high precision.},
}