Side-Channel Analysis via Symbolic Execution and Model Counting

ACM SIGSOFT Software Engineering Notes ◽

10.1145/3282517.3302416 ◽

2019 ◽

Vol 43 (4) ◽

pp. 55-55

Author(s):

Tevfik Bultan

Keyword(s):

Symbolic Execution ◽

Side Channel ◽

Side Channel Analysis ◽

Model Counting ◽

Channel Analysis

Download Full-text

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT

2016 IEEE 29th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2016.34 ◽

2016 ◽

Author(s):

Corina S. Pasareanu ◽

Quoc-Sang Phan ◽

Pasquale Malacaria

Keyword(s):

Symbolic Execution ◽

Side Channel ◽

Side Channel Analysis ◽

Channel Analysis

Download Full-text

Parameters selection and optimization in profiled side channel analysis based on convolutional neural network

2020 IEEE 2nd International Conference on Civil Aviation Safety and Information Technology (ICCASIT ◽

10.1109/iccasit50869.2020.9368671 ◽

2020 ◽

Author(s):

Liu Linyun ◽

Chen Kaiyan ◽

Song Shijie ◽

Zhang Yang ◽

Liu Junyan ◽

...

Keyword(s):

Neural Network ◽

Convolutional Neural Network ◽

Side Channel ◽

Side Channel Analysis ◽

Parameters Selection ◽

Channel Analysis

Download Full-text

Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis

Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems ◽

10.1145/2491899.2465570 ◽

2013 ◽

Author(s):

Carlos Moreno ◽

Sebastian Fischmeister ◽

M. Anwar Hasan

Keyword(s):

Embedded Systems ◽

Side Channel ◽

Side Channel Analysis ◽

Channel Analysis

Download Full-text

PowerScout: A Security-Oriented Power Delivery Network Modeling Framework for Cross-Domain Side-Channel Analysis

2020 Asian Hardware Oriented Security and Trust Symposium (AsianHOST) ◽

10.1109/asianhost51057.2020.9358263 ◽

2020 ◽

Author(s):

Huifeng Zhu ◽

Xiaolong Guo ◽

Yier Jin ◽

Xuan Zhang

Keyword(s):

Network Modeling ◽

Power Delivery ◽

Side Channel ◽

Modeling Framework ◽

Side Channel Analysis ◽

Cross Domain ◽

Power Delivery Network ◽

Channel Analysis ◽

Delivery Network

Download Full-text

You can detect but you cannot hide: Fault Assisted Side Channel Analysis on Protected Software-based Block Ciphers

2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) ◽

10.1109/dft50435.2020.9250870 ◽

2020 ◽

Keyword(s):

Block Ciphers ◽

Side Channel ◽

Side Channel Analysis ◽

Channel Analysis

Download Full-text

Side-channel analysis attacks based on deep learning network

Frontiers of Computer Science ◽

10.1007/s11704-020-0209-4 ◽

2021 ◽

Vol 16 (2) ◽

Author(s):

Yu Ou ◽

Lang Li

Keyword(s):

Deep Learning ◽

Side Channel ◽

Side Channel Analysis ◽

Learning Network ◽

Channel Analysis ◽

Deep Learning Network

Download Full-text

Side-Channel Analysis Attacks on Hardware Implementations of Cryptographic Algorithms

Wireless Security and Cryptography ◽

10.1201/9780849387692-15 ◽

2017 ◽

pp. 229-264

Keyword(s):

Side Channel ◽

Side Channel Analysis ◽

Hardware Implementations ◽

Cryptographic Algorithms ◽

Channel Analysis

Download Full-text

A Comparison of Weight Initializers in Deep Learning-Based Side-Channel Analysis

Lecture Notes in Computer Science - Applied Cryptography and Network Security Workshops ◽

10.1007/978-3-030-61638-0_8 ◽

2020 ◽

pp. 126-143

Author(s):

Huimin Li ◽

Marina Krček ◽

Guilherme Perin

Keyword(s):

Deep Learning ◽

Side Channel ◽

Side Channel Analysis ◽

Channel Analysis

Download Full-text

Correction to: Side-Channel Analysis of CRYSTALS-Kyber and A Novel Low-Cost Countermeasure

10.1007/978-3-030-90553-8_11 ◽

2021 ◽

pp. C1-C1

Author(s):

Meziane Hamoudi ◽

Amina Bel Korchi ◽

Sylvain Guilley ◽

Sofiane Takarabt ◽

Khaled Karray ◽

...

Keyword(s):

Low Cost ◽

Side Channel ◽

Side Channel Analysis ◽

Channel Analysis

Download Full-text

A Hardware Trojans Detection method by side-channel analysis

10.22323/1.264.0044 ◽

2016 ◽

Author(s):

Lin Ni

Keyword(s):

Detection Method ◽

Side Channel ◽

Hardware Trojans ◽

Side Channel Analysis ◽

Channel Analysis

Download Full-text