Prover - Toward More Efficient Formal Verification of Masking in Probing Model
Abstract: In recent years, formal verification has emerged as a crucial method for assessing security against Side-Channel attacks of masked implementations, owing to its remarkable versatility and high degree of automation. However, formal verification still faces technical bottlenecks in balancing accuracy and efficiency, thereby limiting its scalability. Former tools like maskVerif and CocoAlma are very efficient but they face accuracy issues when verifying schemes that utilize properties of Boolean functions. Later, SILVER addressed the accuracy issue, albeit at the cost of significantly reduced speed and scalability compared to maskVerif. Consequently, there is a pressing need to develop formal verification tools that are both efficient and accurate for designing secure schemes and evaluating implementations. This paper’s primary contribution lies in proposing several approaches to develop a more efficient and scalable formal verification tool called Prover, which is built upon SILVER. .... https://ojs.ub.rub.de/index.php/TCHES/article/view/11939
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Prover - Toward More Efficient Formal Verification of Masking in Probing Model ; volume:2025 ; number:1 ; year:2024
IACR transactions on cryptographic hardware and embedded systems ; 2025, Heft 1 (2024)
- Urheber
-
Zhou, Feng
Chen, Hua
Fan, Limin
- DOI
-
10.46586/tches.v2025.i1.552-585
- URN
-
urn:nbn:de:101:1-2412181757428.279620899030
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:34 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek.
Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Zhou, Feng
- Chen, Hua
- Fan, Limin
Ähnliche Objekte (12)
3D Head Pose Estimation via Normal Maps: A Generalized Solution for Depth Image, Point Cloud, and Mesh
Antifouling surfaces and materials : from land to marine environment
Usage of table salt and risk of all-cause and cardiovascular disease mortality among patients with diabetes: a national population-based cohort study
Asymptotic behaviour of the trace for Schrödinger operator on fractal drums
The existence and regularity of multiple solutions for a class of infinitely degenerate elliptic equations
On the holomorphic solution of non-linear totally characteristic equations
On the holomorphic solution of non-linear totally characteristic equations with several space variables
On existence of solutions for some hyperbolic-parabolic type chemotaxis systems
Adaptive force/position NN control of asymmetric teleopertion system based on fuzzy CMAC
Fast and Slow Decaying Solutions of Lane–Emden Equations Involving Nonhomogeneous Potential
Significant photocatalytic enhancement in methylene blue degradation of Bi2WO6 photocatalysts via graphene hybridization
Removal of lead (II) from aqueous solution with amino-functionalized nanoscale zero-valent iron
3D Head Pose Estimation via Normal Maps: A Generalized Solution for Depth Image, Point Cloud, and Mesh
Antifouling surfaces and materials : from land to marine environment
Usage of table salt and risk of all-cause and cardiovascular disease mortality among patients with diabetes: a national population-based cohort study
Asymptotic behaviour of the trace for Schrödinger operator on fractal drums
The existence and regularity of multiple solutions for a class of infinitely degenerate elliptic equations
On the holomorphic solution of non-linear totally characteristic equations
On the holomorphic solution of non-linear totally characteristic equations with several space variables
On existence of solutions for some hyperbolic-parabolic type chemotaxis systems
Adaptive force/position NN control of asymmetric teleopertion system based on fuzzy CMAC
Fast and Slow Decaying Solutions of Lane–Emden Equations Involving Nonhomogeneous Potential
Significant photocatalytic enhancement in methylene blue degradation of Bi2WO6 photocatalysts via graphene hybridization
Removal of lead (II) from aqueous solution with amino-functionalized nanoscale zero-valent iron
3D Head Pose Estimation via Normal Maps: A Generalized Solution for Depth Image, Point Cloud, and Mesh
Antifouling surfaces and materials : from land to marine environment
Usage of table salt and risk of all-cause and cardiovascular disease mortality among patients with diabetes: a national population-based cohort study
Asymptotic behaviour of the trace for Schrödinger operator on fractal drums
The existence and regularity of multiple solutions for a class of infinitely degenerate elliptic equations
On the holomorphic solution of non-linear totally characteristic equations
On the holomorphic solution of non-linear totally characteristic equations with several space variables
On existence of solutions for some hyperbolic-parabolic type chemotaxis systems
Adaptive force/position NN control of asymmetric teleopertion system based on fuzzy CMAC
Fast and Slow Decaying Solutions of Lane–Emden Equations Involving Nonhomogeneous Potential
Significant photocatalytic enhancement in methylene blue degradation of Bi2WO6 photocatalysts via graphene hybridization