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

Published in POST, 2016

Recommended citation: Quoc Huy Do, Eduard Kamburjan, Nathan Wasser. (2016). POST. LNCS 9635