Konstantinos Athanasiou

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 8

Top Topics

Countermeasures

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Inf. Forensics Secur.

Publications

Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei
Masking Feedforward Neural Networks Against Power Analysis Attacks. Proc. Priv. Enhancing Technol. 2022 (1) (2022)
Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. VSTTE (2020)
Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCárthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran
SideTrail: Verifying Time-Balancing of Cryptosystems. VSTTE (2018)
Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
Algebraic Fault Analysis of SHA-3 Under Relaxed Fault Models. IEEE Trans. Inf. Forensics Secur. 13 (7) (2018)
Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
Algebraic Fault Analysis of SHA-3. IACR Cryptol. ePrint Arch. 2017 (2017)
Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
Algebraic fault analysis of SHA-3. DATE (2017)
Pei Luo, Konstantinos Athanasiou, Liwei Zhang, Zhen Hang Jiang, Yunsi Fei, A. Adam Ding, Thomas Wahl
Compiler-Assisted Threshold Implementation against Power Analysis Attacks. ICCD (2017)
Konstantinos Athanasiou, Peizun Liu, Thomas Wahl
Unbounded-Thread Program Verification using Thread-State Equations. IJCAR (2016)
Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon
Test Case Generation for Concurrent Systems Using Event Structures. TAP@STAF (2015)