Quantum Physics · Physics
A Novel Protocol-Authentication Algorithm Ruling Out a Man-in-the-Middle Attack in Quantum Cryptography
M. Peev, M. Nölle, O. Maurhardt, T. Lorünser +5
2007-05-23
Cryptography and Security · Computer Science
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
2020-06-17
Cryptography and Security · Computer Science
A Survey of Microarchitectural Side-channel Vulnerabilities, Attacks and Defenses in Cryptography
Xiaoxuan Lou, Tianwei Zhang, Jun Jiang, Yinqian Zhang
2021-03-29
Cryptography and Security · Computer Science
The dangerous path towards your own cryptography method
Warley M. S. Alves, Thiago L. Prado, Antonio M. Batista, Fabiano A. S. Ferrari
2018-12-14
Cryptography and Security · Computer Science
A novel Two-Factor HoneyToken Authentication Mechanism
Vassilis Papaspirou, Leandros Maglaras, Mohamed Amine Ferrag, Ioanna Kantzavelou +2
2021-01-22
Cryptography and Security · Computer Science
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
Antoine Geimer, Mathéo Vergnolle, Frédéric Recoules, Lesly-Ann Daniel +2
2023-10-13
Formal Languages and Automata Theory · Computer Science
A Survey of Practical Formal Methods for Security
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo +3
2021-09-06
Cryptography and Security · Computer Science
Hardening Confidential Federated Compute against Side-channel Attacks
James Bell-Clark, Albert Cheu, Adria Gascon, Jonathan Katz
2026-03-24
Cryptography and Security · Computer Science
Circuit Masking: From Theory to Standardization, A Comprehensive Survey for Hardware Security Researchers and Practitioners
Ana Covic, Fatemeh Ganji, Domenic Forte
2021-07-01
Quantum Physics · Physics
Updating Quantum Cryptography Report ver. 1
Donna Dodson, Mikio Fujiwara, Philippe Grangier, Masahito Hayashi +23
2009-09-30
Cryptography and Security · Computer Science
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song +1
2019-01-29
Cryptography and Security · Computer Science
Envisioning the Future of Cyber Security in Post-Quantum Era: A Survey on PQ Standardization, Applications, Challenges and Opportunities
Saleh Darzi, Kasra Ahmadi, Saeed Aghapour, Attila Altay Yavuz +1
2023-10-19
Cryptography and Security · Computer Science
Systematic Classification of Side-Channel Attacks: A Case Study for Mobile Devices
Raphael Spreitzer, Veelasha Moonsamy, Thomas Korak, Stefan Mangard
2017-12-08