Sanjit A. Seshia. Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond. In Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha, editors, Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. Volume 7730 of Lecture Notes in Computer Science, pages 1-10, Springer, 2013. [doi]
Abstract is missing.