Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Crafting Interpreters

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Mastering Windows Server 2012 R2

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

Mastering Ethereum: Building Smart Contracts and DApps

User-Centric Networking: Future Perspectives

Malware Development for Ethical Hackers: Learn how to develop various types of malware to strengthen cybersecurity

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009

Crypto: How the Code Rebels Beat the Government--Saving Privacy in the Digital Age

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Hacking the Hacker: Learn From the Experts Who Take Down Hackers

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

AIX 7.2, PowerVM - UNIX, Virtualization and Security, An administrator's guide

Foundations of Security Analysis and Design VII: FOSAD 2012 / 2013 Tutorial Lectures

Compiler Design

A Process Algebraic Approach to Software Architecture Design