8 resultater (0,28111 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Side-Channel Analysis of Embedded Systems - Maamar Ouladj - Bog - Springer Nature Switzerland AG - Plusbog.dk

Side-Channel Analysis of Embedded Systems - Maamar Ouladj - Bog - Springer Nature Switzerland AG - Plusbog.dk

It has been more than 20 years since the seminal publications on side-channel attacks. They aim at extracting secrets from embedded systems while they execute cryptographic algorithms, and they consist of two steps, measurement and analysis. This book tackles the analysis part, especially under situations where the targeted device is protected by random masking. The authors explain advances in the field and provide the reader with mathematical formalizations. They present all known analyses within the same notation framework, which allows the reader to rapidly understand and learn contrasting approaches. It will be useful as a graduate level introduction, also for self-study by researchers and professionals, and the examples are taken from real-world datasets.

DKK 485.00
1

Side-Channel Analysis of Embedded Systems - Sylvain Guilley - Bog - Springer Nature Switzerland AG - Plusbog.dk

Side-Channel Analysis of Embedded Systems - Sylvain Guilley - Bog - Springer Nature Switzerland AG - Plusbog.dk

It has been more than 20 years since the seminal publications on side-channel attacks. They aim at extracting secrets from embedded systems while they execute cryptographic algorithms, and they consist of two steps, measurement and analysis. This book tackles the analysis part, especially under situations where the targeted device is protected by random masking. The authors explain advances in the field and provide the reader with mathematical formalizations. They present all known analyses within the same notation framework, which allows the reader to rapidly understand and learn contrasting approaches. It will be useful as a graduate level introduction, also for self-study by researchers and professionals, and the examples are taken from real-world datasets.

DKK 434.00
1

Advances in Cryptology – EUROCRYPT 2021 - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Advances in Cryptology – EUROCRYPT 2021 - - Bog - Springer Nature Switzerland AG - Plusbog.dk

The 3-volume-set LNCS 12696 - 12698 constitutes the refereed proceedings of the 40 th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Eurocrypt 2021, which was held in Zagreb, Croatia, during October 17-21, 2021. The 78 full papers included in these proceedings were accepted from a total of 400 submissions. They were organized in topical sections as follows: Part I: Best papers; public-key cryptography; isogenies; post-quantum cryptography; lattices; homomorphic encryption; symmetric cryptanalysis; Part II: Symmetric designs; real-world cryptanalysis; implementation issues; masking and secret-sharing; leakage, faults and tampering; quantum constructions and proofs; multiparty computation; Part III: Garbled circuits; indistinguishability obfuscation; non-malleable commitments; zero-knowledge proofs; property-preserving hash functions and ORAM; blockchain; privacy and law enforcement.

DKK 967.00
1

Advances in Cryptology – EUROCRYPT 2021 - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Advances in Cryptology – EUROCRYPT 2021 - - Bog - Springer Nature Switzerland AG - Plusbog.dk

The 3-volume-set LNCS 12696 - 12698 constitutes the refereed proceedings of the 40 th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Eurocrypt 2021, which was held in Zagreb, Croatia, during October 17-21, 2021. The 78 full papers included in these proceedings were accepted from a total of 400 submissions. They were organized in topical sections as follows: Part I: Best papers; public-key cryptography; isogenies; post-quantum cryptography; lattices; homomorphic encryption; symmetric cryptanalysis; Part II: Symmetric designs; real-world cryptanalysis; implementation issues; masking and secret-sharing; leakage, faults and tampering; quantum constructions and proofs; multiparty computation; Part III: Garbled circuits; indistinguishability obfuscation; non-malleable commitments; zero-knowledge proofs; property-preserving hash functions and ORAM; blockchain; privacy and law enforcement.

DKK 967.00
1

Advances in Cryptology – EUROCRYPT 2021 - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Advances in Cryptology – EUROCRYPT 2021 - - Bog - Springer Nature Switzerland AG - Plusbog.dk

The 3-volume-set LNCS 12696 - 12698 constitutes the refereed proceedings of the 40 th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Eurocrypt 2021, which was held in Zagreb, Croatia, during October 17-21, 2021. The 78 full papers included in these proceedings were accepted from a total of 400 submissions. They were organized in topical sections as follows: Part I: Best papers; public-key cryptography; isogenies; post-quantum cryptography; lattices; homomorphic encryption; symmetric cryptanalysis; Part II: Symmetric designs; real-world cryptanalysis; implementation issues; masking and secret-sharing; leakage, faults and tampering; quantum constructions and proofs; multiparty computation; Part III: Garbled circuits; indistinguishability obfuscation; non-malleable commitments; zero-knowledge proofs; property-preserving hash functions and ORAM; blockchain; privacy and law enforcement.

DKK 717.00
1

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Tools and Algorithms for the Construction and Analysis of Systems - - Bog - Springer Nature Switzerland AG - Plusbog.dk

Synthesis.- HOLL: Program Synthesis for Higher Order Logic Locking.- The Complexity of LTL Rational Synthesis.- Synthesis of Compact Strategies for Coordination Programs.- ZDD Boolean Synthesis.- Verification.- Comparative Verification of the Digital Library of Mathematical.- Functions and Computer Algebra Systems.- Verifying Fortran Programs with CIVL.- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems.- Efficient Neural Network Analysis with Sum-of-Infeasibilities.- Blockchain.- Formal Verification of the Ethereum 2.0 Beacon Chain.- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover.- A Max-SMT Superoptimizer for EVM handling Memory and Storage.- Grammatical Inference.- A New Approach for Active Automata Learning Based on Apartness.- Learning Realtime One-Counter Automata.- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes.- Verification Inference.- Inferring Interval-Valued Floating-Point Preconditions.- NeuReach: Learning Reachability Functions from Simulations.- Quantifier Alternations: Taming the Search Space Explosion.- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions.- Short papers.- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.- Automated Translation of Natural Language Requirements to Runtime Monitors.- MaskD: A Tool for Measuring Masking Fault-Tolerance.- Better Counterexamples for Dafny.- Constraint Solving.- cvc5: A Versatile and Industrial-Strength SMT Solver.- Clausal Proofs for Pseudo-Boolean Reasoning.- Moving Definition Variables in Quantified Boolean Formulas.- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.- Model checking and verification.- Property Directed Reachability for Generalized Petri Nets.- Transition Power Abstractions for Deep Counterexample Detection.- Searching for Ribbon-Shaped Paths in Fair Transition Systems.- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.

DKK 349.00
1

Audio Technology, Music, and Media - Julian Ashbourn - Bog - Springer Nature Switzerland AG - Plusbog.dk

Audio Technology, Music, and Media - Julian Ashbourn - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book provides a true A to Z of recorded sound, from its inception to the present day, outlining how technologies, techniques, and social attitudes have changed things, noting what is good and what is less good. The author starts by discussing the physics of sound generation and propagation. He then moves on to outline the history of recorded sound and early techniques and technologies, such as the rise of multi-channel tape recorders and their impact on recorded sound. He goes on to debate live sound versus recorded sound and why there is a difference, particularly with classical music. Other topics covered are the sound of real instruments and how that sound is produced and how to record it; microphone techniques and true stereo sound; digital workstations, sampling, and digital media; and music reproduction in the home and how it has changed. The author wraps up the book by discussing where we should be headed for both popular and classical music recording and reproduction, the role of the Audio Engineer in the 21 st century, and a brief look at technology today and where it is headed. This book is ideal for anyone interested in recorded sound. "[Julian Ashbourn] strives for perfection and reaches it through his recordings... His deep knowledge of both technology and music is extensive and it is with great pleasure that I see he is passing this on for the benefit of others. I have no doubt that this book will be highly valued by many in the music industry, as it will be by me." -- Claudio Di Meo, Composer, Pianist and Principal Conductor of The Kensington Philharmonic Orchestra, The Hemel Symphony Orchestra and The Lumina Choir

DKK 519.00
1

Audio Technology, Music, and Media - Julian Ashbourn - Bog - Springer Nature Switzerland AG - Plusbog.dk

Audio Technology, Music, and Media - Julian Ashbourn - Bog - Springer Nature Switzerland AG - Plusbog.dk

This book provides a true A to Z of recorded sound, from its inception to the present day, outlining how technologies, techniques, and social attitudes have changed things, noting what is good and what is less good. The author starts by discussing the physics of sound generation and propagation. He then moves on to outline the history of recorded sound and early techniques and technologies, such as the rise of multi-channel tape recorders and their impact on recorded sound. He goes on to debate live sound versus recorded sound and why there is a difference, particularly with classical music. Other topics covered are the sound of real instruments and how that sound is produced and how to record it; microphone techniques and true stereo sound; digital workstations, sampling, and digital media; and music reproduction in the home and how it has changed. The author wraps up the book by discussing where we should be headed for both popular and classical music recording and reproduction, the role of the Audio Engineer in the 21 st century, and a brief look at technology today and where it is headed. This book is ideal for anyone interested in recorded sound. "[Julian Ashbourn] strives for perfection and reaches it through his recordings... His deep knowledge of both technology and music is extensive and it is with great pleasure that I see he is passing this on for the benefit of others. I have no doubt that this book will be highly valued by many in the music industry, as it will be by me." -- Claudio Di Meo, Composer, Pianist and Principal Conductor of The Kensington Philharmonic Orchestra, The Hemel Symphony Orchestra and The Lumina Choir

DKK 519.00
1