Format | |
---|---|
BibTeX | |
MARCXML | |
TextMARC | |
MARC | |
DublinCore | |
EndNote | |
NLM | |
RefWorks | |
RIS |
Linked e-resources
Details
Table of Contents
Introduction
Background
Challenges of SCA-based Verification
Local Vanishing Monomials Removal
Reverse Engineering
Dynamic Backward Rewriting
SCA-based Verifier RevSCA-2.0
Debugging
Conclusion and Outlook.
Background
Challenges of SCA-based Verification
Local Vanishing Monomials Removal
Reverse Engineering
Dynamic Backward Rewriting
SCA-based Verifier RevSCA-2.0
Debugging
Conclusion and Outlook.