Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Crafting Interpreters

Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures

Mastering Ethereum: Building Smart Contracts and DApps

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

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

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

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

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

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

Blockchain: Blueprint for a New Economy

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Compiler Design

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

|| BTC MINING || how to properly mime for BItcoin || MR. BIG WEALTH

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

CCSP For Dummies: Book + 2 Practice Tests + 100 Flashcards Online, Edition 2

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

CISM Certified Information Security Manager Study Guide

User-Centric Networking: Future Perspectives