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

Mastering Ethereum: Building Smart Contracts and DApps

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

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

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

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

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

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

Blockchain: Blueprint for a New Economy

Eternal Systems: First International Workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

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

Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

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

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

Practical Guide to Applied Conformal Prediction in Python: Learn and apply the best uncertainty frameworks to your industry applications

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

The NFT Handbook: How to Create, Sell and Buy Non-Fungible Tokens

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

The Big Switch: Rewiring the World, from Edison to Google

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers