Automated Methods in Cryptographic Fault Analysis, Jakub Breier; Xiaolu Hou; Shivam Bhasin
Автор: Deepak D`Souza; K. Narayan Kumar Название: Automated Technology for Verification and Analysis ISBN: 3319681664 ISBN-13(EAN): 9783319681665 Издательство: Springer Рейтинг: Цена: 9781.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.
Автор: Artho Название: Automated Technology for Verification and Analysis ISBN: 3319465198 ISBN-13(EAN): 9783319465197 Издательство: Springer Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;
Автор: Cetin Kaya Koc Название: Cryptographic Engineering ISBN: 1441944176 ISBN-13(EAN): 9781441944177 Издательство: Springer Рейтинг: Цена: 22201.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is for engineers and researchers working in the embedded hardware industry. This book addresses the design aspects of cryptographic hardware and embedded software. The authors provide tutorial-type material for professional engineers and computer information specialists.
Автор: Francisco Rodriguez-Henriquez; N.A. Saqib; Arturo Название: Cryptographic Algorithms on Reconfigurable Hardware ISBN: 1441941568 ISBN-13(EAN): 9781441941565 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers computational methods, computer arithmetic algorithms, and design improvement techniques for implementing efficient cryptographic algorithms in FPGA reconfigurable hardware platforms. The author explores reconfigurable hardware design, explains the mathematics involved, and thoroughly reviews state-of-the-art implementation techniques.
Автор: Micciancio Daniele, Goldwasser Shafi Название: Complexity of Lattice Problems / A Cryptographic Perspective ISBN: 0792376889 ISBN-13(EAN): 9780792376880 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Complexity of Lattice Problems: A Cryptographic Perspective is an essential reference for those researching ways in which lattice problems can be used to build cryptographic systems. It will also be of interest to those working in computational complexity, combinatorics, and foundations of cryptography.The book presents a self-contained overview of the state of the art in the complexity of lattice problems, with particular emphasis on problems that are related to the construction of cryptographic functions. Specific topics covered are the strongest known inapproximability result for the shortest vector problem; the relations between this and other computational lattice problems; an exposition of how cryptographic functions can be built and prove secure based on worst-case hardness assumptions about lattice problems; and a study of the limits of non-approximability of lattice problems. Some background in complexity theory, but no prior knowledge about lattices, is assumed.The aim of the authors is to make lattice-based cryptography accessible to a wide audience, ultimately yielding further research and applications. Complexity of Lattice Problems: A Cryptographic Perspective will be valuable to anyone working in this fast-moving field. It serves as an excellent reference, providing insight into some of the most challenging issues being examined today.
Описание: This book can also serve as an excellent reference for researchers in the analog circuit design area and creators of CAD tools, as it provides a comprehensive overview and comparison of various approaches for analog circuit design automation and an extensive bibliography.
Описание: This book can also serve as an excellent reference for researchers in the analog circuit design area and creators of CAD tools, as it provides a comprehensive overview and comparison of various approaches for analog circuit design automation and an extensive bibliography.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
