Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

H. Quoc Do, Kamburjan, E., and Wasser, N., “Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study”, in Proceedings of the 5th International Conference on Principles of Security and Trust (POST), 2016.