Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
33
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
2,176
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
2,176
Gravitational-wave bursts and stochastic background from superfluid vortex avalanches during pulsar glitches
Authors:
L Warszawski
,
A. Melatos
Pulsar glitch recovery and the superfluidity coefficients of bulk nuclear matter
Authors:
C. A. van Eysden
,
A. Melatos
On the Performance of LMS Communication with Hardware Impairments and Interference
Authors:
Kefeng Guo
,
Min Lin
,
Bangning Zhang
…
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