Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
47
views
26
references
Top references
cited by
16
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,327
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Verified Proofs of Higher-Order Masking
other
Author(s):
Gilles Barthe
,
Sonia Belaïd
,
François Dupressoir
,
Pierre-Alain Fouque
,
Benjamin Grégoire
,
Pierre-Yves Strub
Publication date
(Online):
April 14 2015
Publisher:
Springer Berlin Heidelberg
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
Higher order chromatin architecture
Most cited references
26
Record
: found
Abstract
: not found
Article
: not found
Language-based information-flow security
A. Sabelfeld
,
A.C. Myers
(2003)
0
comments
Cited
125
times
– based on
0
reviews
Review now
Bookmark
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
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):
2015
Publication date (Online):
April 14 2015
Pages
: 457-485
DOI:
10.1007/978-3-662-46800-5_18
SO-VID:
6fed2cd6-0711-4c7e-ad73-48fae606b391
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Cryptanalysis of the Multilinear Map over the Integers
pp. 15
Robust Authenticated-Encryption AEZ and the Problem That It Solves
pp. 45
On the Behaviors of Affine Equivalent Sboxes Regarding Differential and Linear Attacks
pp. 77
A Provable-Security Analysis of Intel’s Secure Key RNG
pp. 101
A Formal Treatment of Backdoored Pseudorandom Generators
pp. 156
The Multiple Number Field Sieve with Conjugation and Generalized Joux-Lercier Methods
pp. 173
Better Algorithms for LWE and LWR
pp. 231
Cryptanalytic Time-Memory-Data Tradeoffs for FX-Constructions with Applications to PRINCE and PRIDE
pp. 254
A Generic Approach to Invariant Subspace Attacks: Cryptanalysis of Robin, iSCREAM and Zorro
pp. 287
Structural Evaluation by Generalized Integral Property
pp. 315
Cryptanalysis of SP Networks with Partial Non-Linear Layers
pp. 345
The Sum Can Be Weaker Than Each Part
pp. 368
SPHINCS: Practical Stateless Hash-Based Signatures
pp. 401
Making Masking Security Proofs Concrete
pp. 430
Ciphers for MPC and FHE
pp. 457
Verified Proofs of Higher-Order Masking
pp. 486
Inner Product Masking Revisited
pp. 513
Fully Homomophic Encryption over the Integers Revisited
pp. 537
(Batch) Fully Homomorphic Encryption over Integers for Non-Binary Message Spaces
pp. 559
KDM-CCA Security from RKA Secure Authenticated Encryption
pp. 584
On the Provable Security of the Iterated Even-Mansour Cipher Against Related-Key and Chosen-Key Attacks
pp. 617
FHEW: Bootstrapping Homomorphic Encryption in Less Than a Second
pp. 641
Bootstrapping for HElib
pp. 673
More Efficient Oblivious Transfer Extensions with Security for Malicious Adversaries
pp. 702
How to Efficiently Evaluate RAM Programs with Malicious Security
pp. 733
Cube Attacks and Cube-Attack-Like Cryptanalysis on the Round-Reduced Keccak Sponge Function
pp. 762
Twisted Polynomials and Forgery Attacks on GCM
pp. 789
Quadratic Time, Linear Space Algorithms for Gram-Schmidt Orthogonalization and Gaussian Sampling in Structured Lattices
Similar content
3,327
It Sure Looks like X (Twitter) Has a Verified Bot Problem
Authors:
Sarah Perez
hUbiquitome: a database of experimentally verified ubiquitination cascades in humans
Authors:
Yipeng Du
,
Nanfang Xu
,
Ming Lu
…
van der Waals PtO2/MoS2 heterostructure verified from first principles
Authors:
Junlin Li
,
Sheng-Yi Xie
See all similar
Cited by
16
Consolidating Masking Schemes
Authors:
Oscar Reparaz
,
Begul Bilgin
,
Svetla Nikova
…
Randomness Complexity of Private Circuits for Multiplication
Authors:
Sonia Belaïd
,
Fabrice Benhamouda
,
Alain Passelègue
…
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
Authors:
Gilles Barthe
,
François Dupressoir
,
Sebastian Faust
…
See all cited by