Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Hammer, C., Pfaff, D., & Skoruppa, M. (2016). Implementation-level Analysis of the JavaScript Helios Voting Client. In Proceedings of the 31st Annual ACM Symposium on Applied Computing (pp. 2071-2078). New York, NY: ACM. doi:10.1145/2851613.2851800.