
@conference {618,
	title = {Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study},
	booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)},
	year = {2016},
	author = {Huy Quoc Do and Eduard Kamburjan and Nathan Wasser}
}
