Formal System Verification: State-of the-Art and Future Trends

🔒Hacking: The Core of Hacking: An Easy Guide to Open Secret Knowledge of Hacker🔓

Hacking into Hackers' Head: A step towards creating CyberSecurity awareness

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017

Ubuntu Using Hacking

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

The Unaccountability Machine: Why Big Systems Make Terrible Decisions - and How The World Lost its Mind

Advanced Logic Synthesis

Cyber Security

Information Storage: A Multidisciplinary Perspective

Kali Linux Cookbook

Natural Language Processing for Electronic Design Automation

CYBER WAR AND IT'S PROTECTION

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Deep Thinking: Where Machine Intelligence Ends and Human Creativity Begins

Advanced BDD Optimization

footprinting & scanning

Arduino Project Handbook: 25 Practical Projects to Get You Started