Faiq Khalid

Projektass.

  faiqkhalid1.jpg
E-Mail: faiq.khalid@tuwien.ac.at
Phone: +43 (1) 58801-18268
Fax: +43 (1) 58801-18297
Address:



Vienna University of Technology
Department of Computer Engineering
Embedded Computing Systems Group
Treitlstrasse 3, 2nd floor, 1040 Wien, Austria

Publications

CS Archive Publications

  1. A. Marchisio, G. Nanfa, F. Khalid, M. A. Hanif, M. Martina, M. Shafique, “CapsAttacks: Robust and Imperceptible Adversarial Attacks on Capsule Networks”,  CoRR abs/1901.09878, 2019, [Link: http://arxiv.org/abs/1901.09878]

  2. F. Khalid, S. R. Hasan, O. Hasan, F. Awwad, M. Shafique “SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection”, CoRR, abs/1901.07299, 2018, [Link: http://arxiv.org/abs/1901.07299]

  3. F. Khalid, I. H. Abbassi, S. Rehman, O. Hasan, M. Shafique “ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits”, CoRR, abs/1812.05446, 2018, http://arxiv.org/abs/1812.05446

  4. A. Siddique, F. Khalid, O. Hasan, M. Shafique, “ApproxCS: Near-Sensor Approximate Compressed Sensing for IoT-Healthcare Systems”, CoRR abs/1811.07330, 2018, [Link: https://arxiv.org/abs/1811.07330]

  5. F. Khalid, M. A. Hanif, S. Rehman, M. Shafique, “ISA4ML: Training Data-Unaware Imperceptible Security Attacks on Machine Learning Modules of Autonomous Vehicles”, CoRR abs/1811.01031, 2018, [Link: http://arxiv.org/abs/1811.01031]

  6. H. Ali, H. Tariq, M. A. Hanif, F. Khalid, S. Rehman, R. Ahmed M. Shafique, “QuSecNets: Quantization-based Defense Mechanism for Securing Deep Neural Network against Adversarial Attacks”, CoRR abs/1811.01437, 2018, [Link: http://arxiv.org/abs/1811.01437]

  7. H. Tariq, H. Ali, M. A. Hanif, F. Khalid, S. Rehman, R. Ahmed, M. Shafique, “SSCNets: A Selective Sobel Convolution-based Technique to Enhance the Robustness of Deep Neural Networks against Security Attacks”, CoRR abs/1811.01443, 2018, [Link: http://arxiv.org/abs/1811.01443]

Refereed Journals

  1. D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, and E. Bartocci, “A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems”, IEEE Access, 2019, Accepted.

  2. I. H. Abbassi, F. Khalid, O. Hasan, A. M. Kamboh, “Using Gate-Level Side Channel Parameters for Formally Analyzing Vulnerabilities in Integrated Circuits”, Science of Computer Programming, Elsevier, 2019, Accepted.

  3. I. H. Abbassi, F. Khalid, O. Hasan, A. M. Kamboh, M. Shafique, “McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits”, IEEE Access, 2018, Vol. 6, pp. 32240-32257

  4. S. Iqbal, M. U. Sardar, F. Khalid and O. Hasan, “Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management”, International Journal of Disaster Risk Reduction, Elsevier, doi: 10.1016/j.ijdrr.2018.04.010, April 2018

  5. F. Khalid, S. R. Hasan, O. Hasan and F. Awwad, "Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification”, Integration the VLSI journal, Volume 61, Issue C, pp. 62-76, Elsevier, 2018.

  6. S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M. Shafique and J. Henkel, “FAMe-TM: Formal Analysis Methodology for Task Migration Algorithms in Many-Core Systems”, Science of Computer Programming, Elsevier, Vol. 133, Part 2, 2017, pp. 154-174.

  7. F. K. Lodhi, S. R. Hasan, O. Hasan, and F. Awwad, “Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification”, Journal of Electronic Testing: Theory and Applications, Volume 32, Issue 5, Springer 2016.

  8. F. K. Lodhi, N. Sharif, N. Ramzan, O. Hasan and S. R. Hasan, “Timing variation aware dynamic digital phase detector for low-latency clock domain crossing”, IET Circuits, Devices & Systems, Volume 8, Issue 1, pp. 58 - 64, Jan. 2014.

Peer Reviewed Conferences

  1. F. Khalid, M. A. Hanif, S. Rehman, J. Qadir, M. Shafique, "FAdeML: Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning", Design, Automation and Test in Europe (DATE-2019), Florence, Italy, To Appear.

  2. I. H. Abbassi, F. Khalid, S. Rehman, A. M. Kamboh, A. Jantsch, S. Grag, M. Shafique "TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint", Design, Automation and Test in Europe (DATE-2019), Florence, Italy, To Appear.

  3. F. Khalid, M. A. Hanif, S. Rehman, M. Shafique, “Security for Machine Learning-based Systems: Attacks and Challenges during Training and Inference”, 16th International Conference on Frontiers of Information Technology (FIT), December, 2018.

  4. H. Mohammaed, J. Howell, S. R. Hasan, N. Guo, F. Khalid, O. Elkeelany, "Hardware Trojan Based Security Issues in Home Area Network: A Testbed Setup", in IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2018), to Appear.

  5. M. Shafique, F. Khalid, S. Rehman, “Intelligent Security Measures for Smart Cyber-Physical Systems”, Euromicro Conference on Digital System Design (DSD-2018), Prague, Czech Republic, pp. 280-287.

  6. F. Kriebel, S. Rehman, M. A. Hanif, F. Khalid, M. Shafique, “Robustness for Smart Cyber-Physical Systems and Internet-of-Things: From Adaptive Robustness Methods to Reliability and Security for Machine Learning”, in IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2018), Hong Kong, China, pp. 581-586.

  7. M. A. Hanif, F. Khalid, R. V. W. Putra, S. Rehman, M. Shafique, “Robust Machine Learning Systems: Reliability and Security for Deep Neural Networks”, in International Symposium on On-Line Testing and Robust System Design (IOLTS-2018), Platja d'Aro, Spain, pp. 257 - 260. 

  8. S. Rehman, F. Kriebel, B. S. Prabakaran, F. Khalid, M. Shafique, “Hardware and Software Techniques for Heterogeneous Fault-Tolerance”, International Symposium on On-Line Testing and Robust System Design (IOLTS-2018), Platja d'Aro, Spain, pp. 115 - 118. 

  9. F. Khalid, S. Nanjiani, S. R. Hasan, O. Hasan, F. Awwad and M. Shafique, “Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices”, IEEE International Symposium on Circuits and Systems (ISCAS 2018), Florence, Italy, pp. 1-5.

  10. M. Hailesellasie, S. R. Hasan F. Khalid, F. Awwad and M. Shafique, “FPGA-Based Convolutional Neural Network Architecture with Reduced Parameter Requirements”, IEEE International Symposium on Circuits and Systems (ISCAS 2018), Florence, Italy, pp. 1-5.

  11. S. Khan, F. Khalid, O. Hasan and J. M. Cardoso, “Formal Verification of A Domain Specific Language for Run-time Adaptation”, IEEE International Systems Conference (SysCon 2018), Vancouver, British Columbia, Canada, pp. 1-8.

  12. M. Shafique, T. Theocharides, C. S. Bouganis, M. Abdullah Hanif, F. Khalid, R. Hafiz, S. Rehman, “An Overview of Next-Generation Architectures for Machine Learning: Roadmap, Opportunities and Challenges in the IoT Era”, Special Session, Design, Automation and Test in Europe (DATE-2018), Dresden, Germany, pp. 827-832.

  13. F. Khalid, S. R. Hasan, O. Hasan and F. Awwad, "Behavior Profiling of Power Distribution Networks for Runtime Hardware Trojan Detection”, International Midwest Symposium on Circuits and Systems (MWSCAS 2017), IEEE Circuit and System Society (CAS), Boston, MA, USA, 1316-1319.

  14. F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad, "Power Profiling of Instructions of Microcontroller to Detect Hardware Trojans without Golden Circuit Models”, Design, Automation and Test in Europe (DATE-2017), Swisstech, Laussane, Switzerland, pp. 294 - 297.

  15. S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M. Shafique and J. Henkel, “CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking”, Design, Automation and Test in Europe (DATE-2017), Swisstech, Laussane, Switzerland, pp. 1289 - 1292

  16. I. Abbasi, F. K. Lodhi, A. Kamboh, O. Hasan, "Formal Verification of Gate-Level Multiple Side Channel Parameters to detect Hardware Trojans", Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Tokyo, Japan, pp. 75-92.

  17. W. Gul, S. R. Hasan and O. Hasan, F. K. Lodhi and F. Awwad,"Synchronously Triggered GALS Design Templates Leveraging QDI Asynchronous Interfaces", in IEEE Symposium on circuits and System (ISCAS 2016), Montreal, QC, 2016, pp. 2615-2618.

  18. F. K. Lodhi, I. Abbasi, F. Khalid, O. Hasan, S. R. Hasan and F. Awwad,"A Self-Learning Framework to Detect the Intruded Integrated Circuits", in IEEE Symposium on circuits and System (ISCAS 2016), Montreal, QC, 2016, pp. 1702-1705.

  19. F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad,"Formal Analysis of Macro Synchronous Micro Asychronous Pipeline for Hardware Trojan Detection, " in Nordic Circuits and Systems Conference (NORCAS 2015): NORCHIP & International Symposium on System-on-Chip (SoC), Oct. 2015, pp.1-4.

  20. S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M. Shafique and J. Henkel, “Formal Verification of Distributed Task Migration for Thermal Management in On-chip Multi-core Systems using nuXmv”, Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Luxembourg City, Luxembourg, 2014, pp 32-46.

  21. F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad,"Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline, " in IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2014), IEEE Circuit and System Society (CAS), Aug. 2014, pp. 659 - 662.

  22. F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad, "Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline," IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2014), July 2014, pp. 601 - 606.

  23. F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad, "Modified Null Convention Logic Pipeline to Detect Soft Errors in Both Null and Data Phase, " in IEEE International Midwest Symposium on Circuits and Systems (MWCAS 2012) ,IEEE Circuit and System Society (CAS), Boise, Iadho, USA, pp. 402 - 405.

  24. N. Sharif, N. Ramzan, F. K. Lodhi, O. Hasan and S. R. Hasan, " Quantitative Analysis of State-of-the-Art Synchronizers: Clock Domain Crossing Perspective, " IEEE International Conference on Emerging Technologies (ICET-11), Islamabad, Pakistan, September 2011, pp. 1 - 6.

  25. F. K. Lodhi, N. Ramzan, and O. Hasan, "Towards Precise, Scalable and Automatic Analysis of Analog and Mixed Signal Circuits", IEEE International Conference on Information and Emerging Technologies (ICIET-10), Karachi, Pakistan, June 2010, pp 1-6.

Book Chapters

  1. I. Abbasi, F. K. Lodhi, A. Kamboh, O. Hasan, "Formal Verification of Gate-Level Multiple Side Channel Parameters to detect Hardware Trojans", Formal Techniques for Safety-Critical Systems, 2016, pp 75-92.

  2. S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M. Shafique and J. Henkel, “Formal Verification of Distributed Task Migration for Thermal Management in On-chip Multi-core Systems using nuXmv”, Formal Techniques for Safety-Critical Systems, 2014, pp 32-46.

Technical Report

  1. S.A.A. Bukhari, F. K. Lodhi and O. Hasan, "Formal Verification of Distributed Task Migration for Thermal Management in On-chip Multi-core Systems using nuXmv", Technical Report, NUST, Islamabad, Pakistan, 2014.

Masters Thesis

  1. F. K. Lodhi, "Runtime Hardware Trojan Monitors through modeling Burst Mode Communication", Masters Thesis, National University of Sciences and Technology (NUST), Islamabad, Pakistan. 2016.