Concurrency in Dependable Computing

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

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

CUCKOO'S EGG

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

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

Trustworthy Cyber-Physical Systems Engineering

Penetration Testing with Raspberry Pi

Reliable Software Technologies – Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

But how Do it Know?: The Basic Principles of Computers for Everyone

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

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

Industrial Deployment of System Engineering Methods

Hacking: The Art of Exploitation, 2nd Edition

Mastering Metasploit

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

CompTIA Security+ SY0-701 Certification Guide: Master cybersecurity fundamentals and pass the SY0-701 exam on your first attempt, Edition 3

Architecting Dependable Systems III

Mastering Windows Security and Hardening: Secure and protect your Windows environment from cyber threats using zero-trust security principles, Edition 2

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers