Handbook of Formal Analysis and Verification in Cryptography, Akleylek, Sedat

Автор: Meyer Pierre-Jean, Devonport Alex, Arcak Murat
Название: Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
ISBN: 3030651096 ISBN-13(EAN): 9783030651091
Издательство: Springer
Цена: 7927.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or `boxes`.

Автор: Wasserman, Gary
Название: Reliability Verification, Testing, and Analysis in Engineering Design
ISBN: 0824704754 ISBN-13(EAN): 9780824704759
Издательство: Taylor&Francis
Рейтинг:
Цена: 46702.00 р.
Наличие на складе: Нет в наличии.

Автор: Marc Joye; Michael Tunstall
Название: Fault Analysis in Cryptography
ISBN: 3642436773 ISBN-13(EAN): 9783642436772
Издательство: Springer
Рейтинг:
Цена: 18904.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers fault analysis in secret key cryptography, from side-channel analysis and its relevance to fault attacks, to block ciphers, countermeasures against AES, attack-resistent devices, fault attacks on stream ciphers and fault injection experiments.

Автор: Mike Mintz; Robert Ekendahl
Название: Hardware Verification with C++
ISBN: 1489978976 ISBN-13(EAN): 9781489978974
Издательство: Springer
Рейтинг:
Цена: 22563.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.

Автор: Deepak D`Souza; K. Narayan Kumar
Название: Automated Technology for Verification and Analysis
ISBN: 3319681664 ISBN-13(EAN): 9783319681665
Издательство: Springer
Рейтинг:
Цена: 8537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions.

Автор: Mason Stephen
Название: Computing Security & Cryptography Handbook
ISBN: 1632401134 ISBN-13(EAN): 9781632401137
Издательство: Неизвестно
Цена: 19304.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Rolf Drechsler; Ulrich K?hne
Название: Formal Modeling and Verification of Cyber-Physical Systems
ISBN: 3658099933 ISBN-13(EAN): 9783658099930
Издательство: Springer
Рейтинг:
Цена: 10366.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.

Автор: Robert B. Jones
Название: Symbolic Simulation Methods for Industrial Formal Verification
ISBN: 1461353955 ISBN-13(EAN): 9781461353959
Издательство: Springer
Рейтинг:
Цена: 12196.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.

Автор: Stan Budkowski; Ana Cavalli; Elie Najm
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 0412847604 ISBN-13(EAN): 9780412847608
Издательство: Springer
Рейтинг:
Цена: 26711.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addresses formal description techniques applicable to distributed systems and communication protocols. This title presents the state of the art in theory, application, tools and industrialization of FDTs. It features FDT-based system and protocol engineering, FDT-application to distributed systems, and protocol engineering.

Автор: Rolf Drechsler
Название: Formal Verification of Circuits
ISBN: 079237858X ISBN-13(EAN): 9780792378587
Издательство: Springer
Рейтинг:
Цена: 20485.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Malay Ganai; Aarti Gupta
Название: SAT-Based Scalable Formal Verification Solutions
ISBN: 1441943412 ISBN-13(EAN): 9781441943415
Издательство: Springer
Рейтинг:
Цена: 20123.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Автор: Pallab Dasgupta
Название: A Roadmap for Formal Property Verification
ISBN: 9048171857 ISBN-13(EAN): 9789048171859
Издательство: Springer
Рейтинг:
Цена: 17074.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.