Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

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

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Mastering Windows Server 2012 R2

Trusted Computing - Challenges and Applications: First International Conference on Trusted Computing and Trust in Information Technologies, TRUST 2008 Villach, Austria, March 11-12, 2008 Proceedings

Mastering Ethereum: Building Smart Contracts and DApps

Handbook of Model Checking

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

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

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

Decidability of Parameterized Verification

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

Blockchain: Blueprint for a New Economy

Linux Device Drivers: Where the Kernel Meets the Hardware, Edition 3

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

Chromebook: 101 Tips & Tricks For Chrome OS

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

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