Tornado: automatic generation of probing-secure masked bitsliced implementations
type: Item
instance of: scholarly article
title: Tornado: automatic generation of probing-secure masked bitsliced implementations
DOI: 10.1007/978-3-030-45727-3_11
author: Sonia Belaïd
author: Pierre-Évariste Dagand
author: Darius Mercadier
author: Matthieu Rivain
author: Raphaël Wintersdorff
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 7436949
zbMATH Keywords: compiler
zbMATH Keywords: masking
zbMATH Keywords: automated verification
zbMATH Keywords: bitslice
describes a project that uses: Gimli
describes a project that uses: Subterranean
describes a project that uses: tightPROVE
describes a project that uses: Usuba
describes a project that uses: spongent
MaRDI profile type: Publication
full work available at URL: 978-3-030-45727-3 11
OpenAlex ID: W3022378354
cites work: Horizontal side-channel attacks and countermeasures on the ISW masking scheme
cites work: Tight private circuits: achieving probing security with the least refreshing
cites work: A fast new DES implementation in software
cites work: Higher-Order Masking Schemes for S-Boxes
cites work: Algebraic Decomposition for Probing Security
cites work: Side Channel Cryptanalysis of a Higher Order Masking Scheme
cites work: Higher-Order Side Channel Security and Mask Refreshing
cites work: Fast Evaluation of Polynomials over Binary Finite Fields and Application to Side-Channel Countermeasures
cites work: How Fast Can Higher-Order Masking Be in Software?
cites work: Advances in Cryptology - CRYPTO 2003
cites work: Very High Order Masking: Efficient Implementation and Security Evaluation
cites work: Provably Secure Higher-Order Masking of AES
cites work: All the AES you need on Cortex-M3 and M4
cites work: Optimizing S-Box Implementations for Several Criteria Using SAT Solvers
cites work: Efficient cryptography on the RISC-V architecture
Recommended article: LS-Designs: Bitslice Encryption for Efficient Masked Software Implementations
Recommended article: Masking against Side-Channel Attacks: A Formal Security Proof
Recommended article: Improved Masking for Tweakable Blockciphers with Applications to Authenticated Encryption
Recommended article: Masking proofs are tight and how to exploit it in security evaluations
Recommended article: New instantiations of the CRYPTO 2017 masking schemes
Recommended article: Synthesis of Masking Countermeasures against Side Channel Attacks
Recommended article: Secure Multiplication for Bitslice Higher-Order Masking: Optimisation and Comparison
Recommended article: Provable secure software masking in the real-world
Recommended article: Towards tight random probing security
description: scientific article; zbMATH DE number 7436949