Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Mastering Ethereum: Building Smart Contracts and DApps

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

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

Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

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

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

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

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Blockchain: Blueprint for a New Economy

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

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

Blockchain and Robotic Process Automation

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

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

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

Applied Cryptography: Protocols, Algorithms and Source Code in C, Edition 2

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

|| D A T A E N C R Y P T I O N || Data Encryption, Keep files safe from hackers and viruses ||

Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings