Konstantinos Athanasiou

According to our database, Konstantinos Athanasiou authored at least 8 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Masking Feedforward Neural Networks Against Power Analysis Attacks.

Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei

Proc. Priv. Enhancing Technol., 2022

2020

Automatic Detection and Repair of Transition- Based Leakage in Software Binaries.

Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei

Proceedings of the Software Verification - 12th International Conference, 2020

2018

Algebraic Fault Analysis of SHA-3 Under Relaxed Fault Models.

Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl

IEEE Trans. Inf. Forensics Secur., 2018

SideTrail: Verifying Time-Balancing of Cryptosystems.

Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

Algebraic Fault Analysis of SHA-3.

Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl

IACR Cryptol. ePrint Arch., 2017

Compiler-Assisted Threshold Implementation against Power Analysis Attacks.

Pei Luo, Konstantinos Athanasiou, Liwei Zhang, Zhen Hang Jiang, Yunsi Fei, A. Adam Ding, Thomas Wahl

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

2016

Unbounded-Thread Program Verification using Thread-State Equations.

Konstantinos Athanasiou, Peizun Liu, Thomas Wahl

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Test Case Generation for Concurrent Systems Using Event Structures.

Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon

Proceedings of the Tests and Proofs - 9th International Conference, 2015