Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Linked e-resources

Details

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.

Browse Subjects

Statistics

from
to
Export