Stop manually analyzing binary! Practical Binary Analysis is the first book of its kind to present advanced binary analysis topics, such as binary instrumentation, dynamic taint analysis, and symbolic execution, in an accessible way.
Your customers demand and deserve better security and privacy in their software. This book is the first to detail a rigorous, proven methodology that measurably minimizes security bugs--the Security Development Lifecycle (SDL).
Autonomous Horizons: The Way Forward identifies issues and makes recommendations for the Air Force to take full advantage of this transformational technology.
Introduction to Computing is a comprehensive text designed for the CS0 (Intro to CS) course at the college level. It may also be used as a primary text for the Advanced Placement Computer Science course at the high school level.
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software.
They also study the problem of deciding combined theories based on the Nelson-Oppen procedure. The first edition of this book was adopted as a textbook in courses worldwide.
This indispensable guide illuminates the darkest corners of those systems, starting with an architectural overview, then drilling all the way to the core.