Professional Red Teaming: Conducting Successful Cybersecurity Engagements

Superintelligence: Paths, Dangers, Strategies

Cybersecurity for Space: Protecting the Final Frontier

The Selfish Gene: 40th Anniversary edition, Edition 4

Waging Cyber War: Technical Challenges and Operational Constraints

No Place to Hide: Edward Snowden, the NSA, and the U.S. Surveillance State

The Art of Strategy: A Game Theorist's Guide to Success in Business and Life

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

The Black Swan: The Impact of the Highly Improbable

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Click Here to Kill Everybody: Security and Survival in a Hyper-connected World

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Python Ethical Hacking from Scratch: Think like an ethical hacker, avoid detection, and successfully develop, deploy, detect, and avoid malware

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Hacking: The Art of Exploitation, 2nd Edition

Rigorous Development of Complex Fault-Tolerant Systems

Math Storm Olympiad Problems

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Data and Goliath: The Hidden Battles to Collect Your Data and Control Your World

Mastering Metasploit