Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
42
views
27
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,041
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Advances in Cryptology – EUROCRYPT 2018
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
other
Author(s):
Roderick Bloem
,
Hannes Gross
,
Rinat Iusupov
,
Bettina Könighofer
,
Stefan Mangard
,
Johannes Winter
Publication date
(Online):
March 31 2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
27
Record
: found
Abstract
: not found
Book Chapter
: not found
Private Circuits: Securing Hardware against Probing Attacks
Yuval Ishai
,
Amit Sahai
,
David N Wagner
(2003)
0
comments
Cited
112
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards
Jean-Jacques Quisquater
,
David Samyde
(2001)
0
comments
Cited
76
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Provably Secure Higher-Order Masking of AES
Matthieu Rivain
,
Emmanuel Prouff
(2010)
0
comments
Cited
61
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
March 31 2018
Pages
: 321-353
DOI:
10.1007/978-3-319-78375-8_11
SO-VID:
2abcd037-6880-47d3-a5fa-0b08e10586ce
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 34
But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin
pp. 66
Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain
pp. 99
Sustained Space Complexity
pp. 133
Multi-Collision Resistant Hash Functions and Their Applications
pp. 162
Collision Resistant Hashing for Paranoids: Dealing with Multiple Collisions
pp. 197
Synchronized Aggregate Signatures from the RSA Assumption
pp. 230
More Efficient (Almost) Tightly Secure Structure-Preserving Signatures
pp. 261
The Communication Complexity of Private Simultaneous Messages, Revisited
pp. 287
The Complexity of Multiparty PSM Protocols and Related Models
pp. 321
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
pp. 354
Masking the GLP Lattice-Based Signature Scheme at Any Order
pp. 385
Masking Proofs Are Tight and How to Exploit it in Security Evaluations
pp. 415
The Discrete-Logarithm Problem with Preprocessing
pp. 468
Two-Round Multiparty Secure Computation from Minimal Assumptions
pp. 500
k-Round Multiparty Computation from k-Round Oblivious Transfer via Garbled Interactive Circuits
pp. 535
Adaptively Secure Garbling with Near Optimal Online Complexity
pp. 566
A New Approach to Black-Box Concurrent Secure Computation
pp. 603
Obfustopia Built on Secret-Key Functional Encryption
pp. 649
Limits on Low-Degree Pseudorandom Generators (Or: Sum-of-Squares Meets Program Obfuscation)
pp. 683
Boomerang Connectivity Table: A New Cryptanalysis Tool
pp. 715
Correlation Cube Attacks: From Weak-Key Distinguisher to Key Recovery
pp. 745
The Missing Difference Problem, and Its Applications to Counter Mode Encryption
pp. 771
Fast Near Collision Attack on the Grain v1 Stream Cipher
Similar content
1,041
Knock-on processes in superfluid vortex avalanches and pulsar glitch statistics
Authors:
L. Warszawski
,
A. Melatos
A Series of (Net) Spin-down Glitches in PSR J1522-5735: Insights from the Vortex Creep and Vortex Bending Models
Authors:
S. Q. Zhou
,
W. T. Ye
,
M. Y. Ge
…
Jupiter mission's computer glitch delays data-gathering
Authors:
Alexandra Witze
See all similar
Cited by
3
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
Authors:
Jun Zhang
,
Pengfei Gao
,
Fu Qiang Song
…
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Authors:
Shengjian Guo
,
Chao hua Wang
,
Meng Chao Wu
Fast Verification of Masking Schemes in Characteristic Two
Authors:
Nicolas Bordes
,
Pierre Karpman
See all cited by