Ghost in the Wires: My Adventures as the World's Most Wanted Hacker

Just Enough Software Architecture: A Risk-Driven Approach

Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Algorithms: Edition 4

Trust and Trustworthy Computing: 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012, Proceedings

Linux Basics for Hackers: Getting Started with Networking, Scripting, and Security in Kali

Domain-Driven Design: Tackling Complexity in the Heart of Software

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Fundamentals of Software Architecture: An Engineering Approach

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Penetration Testing with Raspberry Pi

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

E-Voting and Identity: First International Conference, VOTE-ID 2007, Bochum, Germany, October 4-5, 2007, Revised Selected Papers

Practical Malware Analysis: The Hands-On Guide to Dissecting Malicious Software

CUCKOO'S EGG

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Hacking: The Art of Exploitation, 2nd Edition

Progress in Cryptology – INDOCRYPT 2021: 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings