Mustafa Khairallah

PUBLICATIONS

Journal Publications

• 2020

  • "A Countermeasure Against Statistical Ineffective Fault Analysis", Jakub Breier, Mustafa Khairallah, Xiaolu Hou, Yang Liu - IEEE Transactions on Circuits and Systems II: Express Briefs [eprint] 

  • "Duel of the Titans: The Romulus and Remus Families of Lightweight AEAD Algorithms", Tetsu Iwata, Mustafa Khairallah, Kazuhiko Minematsu, Thomas Peyrin - IACR Transactions on Symmetric Cryptology, 2020, Issue 1 / Fast Software Encryption (FSE) 2020 [eprint]

  • "Weak Keys in the Rekeying Paradigm: Application to COMET and mixFeed", Mustafa Khairallah - IACR Transactions on Symmetric Cryptology, 2019, Issue 4 / Fast Software Encryption (FSE) 2020 [eprint]

• 2019​​

  • "Security is an Architectural Design Constraint", Prasanna Ravi, Sourav Sen Gupta, Anupam Chattopadhyay, Mustafa Khairallah, Zakaria Najm and Shivam Bhasin - The Journal of Microprocessors and Microsystems [eprint]

​

Conference Publications

• 2019

  • "On Comparison of Countermeasures against Statistical Ineffective Fault Attacks" - Mustafa Khairallah, Shivam Bhasin, Karim Abdellatif - 31st International Conference on Microelectronics (ICM)

  • "Updates on Romulus, Remus and TGIF" - Tetsu Iwata, Mustafa Khairallah, Kazuhiko Minematsu, Thomas Peyrin - NIST Lightweight Cryptography Workshop

  • "Recruiting Fault Tolerance Techniques for Microprocessor Security" - Vinay B. Y. Kumar, Suman Deb, Rupesh Kumar, Mustafa Khairallah, Anupam Chattopadhyay, Avi Mendelson - The IEEE Asian Test Symposium (ATS)

  • "On Misuse of Nonce-Misuse Resistance: Adapting Differential Fault Attacks on (few) CAESAR Winners", Mustafa Khairallah, Shivam Bhasin, Anupam Chattopadhyay - IEEE International Workshop on Advances in Sensors and Interfaces (IWASI) [eprint]

  • "SoK: On the DFA Vulnerabilities of Substitution-Permutation Networks", Mustafa Khairallah, ​Xiaolu Hou, Zakaria Najm, Jakub Breier, Shivam Bhasin, Thomas Peyrin - ACM Asia Conference on Computer and Communications Security (ASIACCS) [eprint]

• 2018

  • "Crack me if you can: Hardware Acceleration Bridging the Gap between Practical and Theoretical Cryptanalysis?: A Survey", Mustafa Khairallah, Zakaria Najm, Anupam Chattopadhyay and Thomas Peyrin - International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) [pdf]

  • "On Hardware Implementation of Tang-Maitra Boolean Functions", Mustafa Khairallah, Anupam Chattopadhyay, Bimal Mandal and Subhamoy Maitra - Arithmetic of Finite Fields (WAIFI) [eprint]

  • "A Hardware-efficient Implementation of CLOC for On-Chip Authenticated Encryption", Mahmoud A. Elmohr, Sachin Kumar, Mustafa Khairallah and Anupam Chattopadhyay - IEEE Computer Society Annual Symposium on VLSI (ISVLSI) [pdf]

  • "Protecting Block Ciphers against Differential Fault Attacks without Re-keying", Anubhab Baksi, Shivam Bhasin, Jakub Breier, Mustafa Khairallah and Thomas Peyrin - IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) [eprint]

  • "DFARPA: Differential Fault Attack Resistant Physical Design Automation", Mustafa Khairallah, Rajat Sadhukhan, Radhamanjari Samanta, Jakub Breier, Shivam Bhasin, Rajat Subhra Chakraborty, Anupam Chattopadhyay and Debdeep Mukhopadhyay - Design, Automation and Test in Europe (DATE) [pdf]

• 2017

  • "Looting the LUTs : FPGA Optimization of AES and AES-like Ciphers for Authenticated Encryption", Mustafa Khairallah, Anupam Chattopadhyay and Thomas Peyrin - Progress in Cryptology, Indocrypt [eprint]

• 2016

  • "Tile-Based Modular Architecture for Accelerating Homomorphic Function Evaluation on FPGA" , Mustafa Khairallah and Maged Ghoneima -  International Midwest Symposium on Circuits and Systems (MWSCAS) [eprint]

• 2015

  • "An Efficient Verification Framework for Audio/Video Interface Protocols", Noha Shaarawy, Mustafa Khairallah, Khaled Khalifa, Hany Salah, Amr Salah and Maged Ghoneima - Design and Verification Conference in Europe (DVCon Europe) [pdf]

  • "New Polynomial Basis Versatile Multiplier over GF (2^m) for Low-Power On-Chip Crypto-Systems", Mustafa Khairallah and Maged Ghoneima - IEEE International Symposium on Circuits and Systems (ISCAS) [pdf]

• 2014

  • "Reusable Processor Verification Methodology Based on UVM", Mustafa Khairallah and Maged Ghoneima -  Design and Verification Conference in Europe (DVCon Europe) [pdf]

• 2011

  • "FPGA implementation of high-speed XTS-AES for data storage devices", Mohamed Elmoghany, Mohamed Diab, Moustafa Kassem, Mustafa Khairallah, Omar El Shahat and Wael Sharkasy - International Conference for Internet Technology and Secured Transactions (ICITST)[pdf]

 

Book Chapters

• 2019

  • "Differential Fault Attack Resistant Hardware Design Automation", Mustafa Khairallah, Jakub Breier, Shivam Bhasin and Anupam Chattopadhyay - Automated Methods in Cryptographic Fault Analysis, Editors: Jakub Breier, Xiaolu Hou and Shivam Bhasin [Springer]

 

Technical Reports

• 2019

  • "Forgery Attack on mixFeed in the Nonce-Misuse Scenario", Mustafa Khairallah [eprint]

  • "Forgery Attack on SNEIKEN", Mustafa Khairallah [eprint]​

• 2017

  • "A Comprehensive Performance Analysis of Hardware Implementations of CAESAR Candidates", Sachin Kumar, Jawad Haj-Yahya, Mustafa Khairallah, Mahmoud A. Elmohr and Anupam Chattopadhyay [eprint]

​