Topics in Cryptology - CT-RSA 2016: The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings

Superintelligence: Paths, Dangers, Strategies

E-Voting and Identity: Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009, Proceedings

Designing Games: A Guide to Engineering Experiences

Our Final Invention: Artificial Intelligence and the End of the Human Era

Public-Key Cryptography – PKC 2019: 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II

Real-World Electronic Voting: Design, Analysis and Deployment

Theory of Fun for Game Design: Edition 2

Advances in Cryptology -- ASIACRYPT 2012: 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012, Proceedings

Tricks of Keyboard Shortcuts

Financial Cryptography and Data Security: 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers

I Forced a Bot to Write This Book: A.I. Meets B.S.

Advances in Cryptology -- ASIACRYPT 2013: 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

The Age of Spiritual Machines: When Computers Exceed Human Intelligence

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Designing with the Body: Somaesthetic Interaction Design

Applied Cryptography and Network Security: 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I

Practical Arduino Robotics: A hands-on guide to bringing your robotics ideas to life using Arduino

Speculative Everything: Design, Fiction, and Social Dreaming

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers