Amanote Research
Register
Sign In
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
Lecture Notes in Computer Science
- Germany
doi 10.1007/978-3-319-96142-2_12
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 2018
Authors
Jun Zhang
Pengfei Gao
Fu Song
Chao Wang
Publisher
Springer International Publishing
Related search
Improving Side-Channel Attacks Against Pairing-Based Cryptography
Journal of Cryptographic Engineering
Computer Networks
Software
Communications
KeyDrown: Eliminating Software-Based Keystroke Timing Side-Channel Attacks
Thwarting Cache Side-Channel Attacks Through Dynamic Software Diversity
Threshold Implementations Against Side-Channel Attacks and Glitches
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Leak Resistant Architecture Against Side Channel Attacks
Efficient Design and Evaluation of Countermeasures Against Fault Attacks Using Formal Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Masking Against Side-Channel Attacks: A Formal Security Proof
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Design of a Set of Software Tools for Side-Channel Attacks
Journal of Information Security and Cryptography (Enigma)
Fast Elliptic Curve Multiplications Resistant Against Side Channel Attacks
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Electronic Engineering
Computer Graphics
Signal Processing
Applied Mathematics
Electrical
Computer-Aided Design
