The University of Southampton
Telephone:
+442380597381
Email:
Basel.Halak@soton.ac.uk

Dr Basel Halak 

Academic staff

Personal homepage

Dr Basel Halak is the director of the Embedded Systems Master program at Southampton University, he has written over 60 conference and journal papers, and authored two books. He received his PhD degree in Microelectronics System Design from Newcastle University. He was then awarded a knowledge transfer fellowship to develop secure and energy efficient design for portable health care monitoring systems. He is a member of the Sustainable Electronics research group, as well as, Cyber Security group at Electronics and Computer Science School (ECS). His background is on the design and implementation of microelectronics systems, with special focus on reliability and security. In particular, Dr Halak is interested in developing secure hardware implementation for cryptographic primitive such as physically unclonable functions. He has recently presented a tutorial session on the use of PUF for security applications in the IEEE 59th International Midwest Symposium on Circuits and Systems. Dr Halak lectures on digital design, Secure Hardware and Cryptography, supervises a number of MSc and PhD students, and is the ECS Exchange Coordinators. He is also leading the European Masters in Embedded Computing Systems (EMECS) , a two year course run in collaboration with Kaiserslautern University in Germany and the Norwegian University of Science and Technology in Trondheim (electronics and communication). He is also the head of the Master of Science Course(MSc) on Embedded Systems at Southampton University . Dr Halak is the recipient of the Vice Chancellor Teaching Award in 2016, and the bronze leaf award in IEEE PRIME conference for his paper on current-based physically unclonable functions. Dr Basel Halak is a senior fellow of the Higher Education Academy (HEA), a guest editor of the IET CDT, and serves in several technical program committees such as IEEE ICCCA, ICCCS, MTV, IVSW, MicDAT and EWME. He is also member of hardware security working group of the World Wide Web Consortium (W3C).

Research

Research interests

Hardware Security

Reliability and Fault Tolerance Techniques 

Embedded Systems 

Teaching

Teaching Activies at Southampton

Secure Hardware Design

I lead this master-level module, it cover security and trust from hardware prespectives.It also discusses the vulnerabilities of modern Systems on Chip design flow and how these can become legitimate security threats such as hardware trojans and physical attacks.

Cryptography

I lead this master-level module, it covers the mathematics, techniques, and applications of modern cryptography, it also covers the history of code making and code breaking, and draw lessons for the future from the mistakes and successes of the past.

Digital IC and Systems Design

I teach this third year module, it provides a coherent introduction to digital VLSI design in CMOS, and to give students a broad understanding of the main principles required for system-on-chip design. Advanced techniques such as timing analysis and asynchronous design are also introduced..

International Teaching Activities

ELEC2221 Digital Systems and Signal Processing at University of Southampton Malaysia Campus

I have tought the digital design part on this second year course, it introduces techniques of designing robust, testable sequential digital systems, writing and debugging synthesisable modules in a hardware description language (SystemVerilog) and verifying the functionality of those modules by simulation. It provides practical experience in the design and diagnosis of sequential digital systems.

Embedded Systems Design and IoT Technologies: Kazakh-British Technical University

I led this master-level module, it covers the principels of Embedded Systems Design with particular focus on relevant computer architectures such as those by ARM and MIPS.

Hardware-based Security Solutions for the Internet of Things: IEEE Tutorial at Khalifa University, UAE

This tutorial discusses the design challenges of secure IoT systems and how to use hardware security to tackle those challenges, it also explains explain the design principles of Physically Unclonable Functions.

Publications

Halak, Basel and Yakovlev, Alex (2011) Statistical analysis of crosstalk-induced errors for on-chip interconnects. IET Computers & Digital Techniques, 5 (2).

Halak, Basel and Yakovlev, Alex (2010) Throughput Optimization for Area-Constrained Links With Crosstalk Avoidance Methods. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 18 (6).

Halak, Basel, Yakovlev, Alex and O' Niell, Anthony (2010) Is a single cell sensor possible? Engineering in Medicine and Biology Society (EMBC), 2010 Annual International Conference of the IEEE. 31 Aug - 04 Sep 2010.

Halak, Basel and Yakovlev, Alex (2008) Bandwidth-Centric Optimisation for Area-Constrained Links with Crosstalk Avoidance Methods. At Design, Automation and Test in Europe, 2008. DATE '08 Design, Automation and Test in Europe, 2008. DATE '08.

Halak, Basel, Shedabale, Santosh, Ramakrishnan, Hiran, Yakovlev, Alex and Russell, Gordon (2008) The impact of variability on the reliability of long on-chip interconnect in the presence of crosstalk. At SLIP '08 Proceedings of the 2008 international workshop on System level interconnect prediction SLIP '08 Proceedings of the 2008 international workshop on System level interconnect prediction.

Halak, Basel and Yakovlev, Alex (2008) Fault-Tolerant Techniques to Minimize the Impact of Crosstalk on Phase Encoded Communication Channels. IEEE TRANSACTIONS ON COMPUTERS, VOL. 57, NO. 4, APRIL 2008 505.

Halak, Basel and Russell, Gordon (2006) The Analysis of the Implementation of Concurrent Error Detection in Multi-Level Flash Memories. At IEEE European Test Symposium IEEE European Test Symposium.

Murphy, Julian, O'Neill, Maire, Burns, Frank, Bystrov, Alex, Yakovlev, Alex and Halak, Basel (2012) Self-timed physically unclonable functions. At 5th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2012) 5th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2012). 07 - 10 May 2012. 5 pp. (doi:10.1109/NTMS.2012.6208707).

Halak, Basel, Murphy, Julian and Yakovlev, Alex (2013) Power Balanced Circuits for Leakage-Power-Attacks Resilient Design. International Association for Cryptologic Research, 2013 (48).

Halak, Basel (2013) Partial coding algorithm for area and energy efficient crosstalk avoidance codes implementation. IET Computers & Digital Techniques. (In Press)

Halak, Basel, MA, Teng and Wei, Ximeng (2014) A Dynamic CDMA Network for Multicore Systems. Microelectronics Journal. (In Press)

Lin, Yang, Zwolinski, Mark and Halak, Basel (2014) A Low-Cost Radiation Hardened Flip-Flop. At Design, Automation and Test in Europe (DATE) Design, Automation and Test in Europe (DATE).

Lin, Yang, Zwolinski, Mark and Halak, Basel (2014) An Energy-Efficient Radiation Hardened Register File Architecture for Reliable Microprocessors. At Silicon Errors in Logic - System Effects (SELSE) Silicon Errors in Logic - System Effects (SELSE).

Lin, Yang, Zwolinski, Mark and Halak, Basel (2014) An energy efficient radiation hardened register file architecture. At Designing with Uncertainty - Opportunities & Challenges Workshop Designing with Uncertainty - Opportunities & Challenges Workshop, United Kingdom. 17 - 19 Mar 2014. 3 pp.

Halak, Basel, Ma, Teng and Ximeng, Wei (2014) High throughput CDMA communication architecture for many cores systems. At Designing with Uncertainty - Opportunities & Challenges Workshop Designing with Uncertainty - Opportunities & Challenges Workshop, United Kingdom. 17 - 19 Mar 2014. 2 pp.

Halak, Basel (2014) VLSI Design of ECG Monitor from Concept to Silicon, LAP LAMBERT Academic Publishing, 76pp. ,

Nawi, Illani Mohd, Halak, Basel and Zwolinski, M. (2015) Reliability Analysis of Comparators. At DATE Workshop: Designing with Uncertainty - Opportunities & Challenges DATE Workshop: Designing with Uncertainty - Opportunities & Challenges.

Halak, Basel and Yakovlev, Alex (2006) Crosstalk Minimization Techniques for Phase Encoded On Chip Links. At Asynchronous Design UK Forum Asynchronous Design UK Forum.

Halak, Basel and Yakovlev, Alex (2007) Bandwidth-Centric Optimisation for Fixed Width Links. At Asynchronous Design UK Forum Asynchronous Design UK Forum.

Halak, Basel, El-Hajjar, Mohammed, Hu, Qiongda and Lu, Yue (2015) Energy-Efficient Adaptive MIMO Decoders. At Science and Information Conference Science and Information Conference. (In Press)

Halak, Basel, Hu, Yizhong Hu and Mispan, Mohd Syafiq (2015) Area Efficient Configurable Physical Unclonable Functions for FPGAs Identification. At IEEE International Symposium on Circuits and Systems (ISCAS) IEEE International Symposium on Circuits and Systems (ISCAS), Portugal. 24 - 27 May 2015.

Nawi, Illani Mohd, Halak, Basel and Zwolinski, Mark (2015) Analysis of the Reliability of Comparator circuits. At IEEE PRIME IEEE PRIME, United Kingdom.

MISPAN, Mohd Syafiq, Halak, Basel, Chen, Zufu and Zwolinski, Mark (2015) TCO-PUF: A Subthreshold Physical Unclonable Function. At IEEE PRIME IEEE PRIME, United Kingdom.

Bello, Ibrahim A., Halak, Basel, El-Hajjar, Mohammed and Zwolinski, Mark (2015) VLSI Implementation of a Scalable K-best MIMO Detector. At The 15th International Symposium on Communications and Information Technologies (ISCIT 2015) (01/10/15) The 15th International Symposium on Communications and Information Technologies (ISCIT 2015), Japan. (doi:10.1109/ISCIT.2015.7458362).

Abbas, Haider, Halak, Basel and Zwolinski, Mark (2015) An Application-Specific NBTI Ageing Analysis Method. At International Workshop on CMOS Variability International Workshop on CMOS Variability, Brazil.

Halak, Basel, Murphy, J. and Yakovlev, Alex (2015) Power balanced circuits for leakage-power-attacks resilient design. At IEEE Science and Information Conference IEEE Science and Information Conference, United Kingdom. 28 - 31 Jul 2015.

Lin, Yang, Zwolinski, Mark and Halak, Basel (2016) A low-cost, radiation-hardened method for pipeline protection in microprocessors. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 24 (5), 1688-1701. (doi:10.1109/TVLSI.2015.2475167).

Bello, Ibrahim, Halak, Basel, El-Hajjar, Mohammed and Zwolinski, Mark (2016) A survey of VLSI implementations of tree search algorithms for MIMO detection. Circuits Systems and Signal Processing, 35 (10), 3644-3674.

Nawi, Illani, Halak, Basel and Zwolinski, Mark (2016) Ageing Impact on a High Speed Voltage Comparator with Hysteresis. At Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems.

Haider, Abbas, Halak, Basel and Zwolinsk, Mark (2016) Static Aging Analysis Using 3-Dimensional Delay Library. At Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems.

Sai, Gaole, Halak, Basel and Zwolinski, Mark (2016) Multi-Path Ageing Sensor for Cost-efficient Delay-Fault Prediction. At Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems.

Shengyu, Duan, Halak, Basel, Zwolinski, Mark and Wong, Rick (2016) NBTI Lifetime Evaluation and Extension in Instruction Caches. At Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems.

Halak, Basel and El-Hajjar, Mohammed (2016) Plagiarism detection and prevention techniques in engineering education. 11th European Workshop on Microelectronics Education, United Kingdom. 11 - 13 May 2016. (doi:10.1109/EWME.2016.7496465).

Halak, Basel and Wilson, Peter (2016) Design and evaluation of a system-on-a-chip course. In Microelectronics Education (EWME), 2016 11th European Workshop on. IEEE.. (doi:10.1109/EWME.2016.7496469).

Halak, Basel and Chiu, Hsien-Chih (2016) Modified micropipline architecture for synthesizable synchronous FIR filter design. International Journal of VLSI Design & Communication Systems, Spring Issue.

Nawi, Illani Mohd, Halak, Basel and Zwolinski, Mark (2016) The influence of hysteresis voltage on single event transients in a 65nm CMOS high speed comparator. 21st IEEE European Test Symposium. (doi:10.1109/ETS.2016.7519300).

Halak, Basel, Rossi, Daniele and Jiajing, Cai (2016) Analysis of BTI aging of level shifters. At 22nd IEEE International Symposium on On-Line Testing and Robust System Design 22nd IEEE International Symposium on On-Line Testing and Robust System Design. (In Press)

Mispan, Mohd, Halak, Basel and Zwolinski, Mark (2016) NBTI analysis on PUF-based differential architectures. At 22nd IEEE International Symposium on On-Line Testing and Robust System Design 22nd IEEE International Symposium on On-Line Testing and Robust System Design. (In Press)

Bills, Oliver and Halak, Basel (2016) Enhancement techniques for student engagement in cybersecurity education. The National Conference on Learning and Teaching in Cybersecurity, United Kingdom. 15 May - 15 Jun 2016. 1 pp. (In Press)

Halak, Basel and Yilmaz, Yildiran (2016) Cryptotool: A secure data storage software. The National Conference on Learning and Teaching in Cybersecurity, United Kingdom. 15 May - 15 Jun 2016. 1 pp. (In Press)

Halak, Basel (2016) The effects of BTI aging on the susceptibility of on-chip communication schemes to soft errors in nano-scale CMOS technologies. In, Thus Asynchronous World. Newcastle upon Tyne, GB. Newcastle University, pp. 150-166. , (In Press)

Halak, Basel, Waizi, Said Subhan and Islam, Asad (2016) A survey of hardware implementations of elliptic curve cryptographic systems Santa Barbara, US. Cryptology ePrint Archive 5pp. , (In Press)

Halak, Basel, El-Hajjar, Mohammed, Toma, Ogeen H. and Cheng, Zhuofan (2016) Energy-efficient hardware implementation of LR-aided K-Best MIMO decoder for 5G networks. Journal of Low Power Electronics and Applications, 6 (12), 1-10. (doi:10.3390/jlpea6030012).

Wightwick, Andrew and Halak, Basel (2016) Secure communication interface design for IoT applications, using the GSM network. 2016 IEEE 59th International Midwest Symposium on Circuits and Systems (MWSCAS Abu Dhabi 2016), United Arab Emirates. 16 - 19 Oct 2016. (In Press)

Halak, Basel, Zwolinski, Mark and Mispan, Mohd (2016) Overview of PUF-based hardware security solutions for the Internet of Things. 2016 IEEE 59th International Midwest Symposium on Circuits and Systems (MWSCAS Abu Dhabi 2016), United Arab Emirates. 16 - 19 Oct 2016. (In Press)

Halak, Basel and Zwolinski, Mark (2016) Hardware-based security solutions for the Internet of Things using physical unclonable functions. At 2016 IEEE 59th International Midwest Symposium on Circuits and Systems (MWSCAS Abu Dhabi 2016) 2016 IEEE 59th International Midwest Symposium on Circuits and Systems (MWSCAS Abu Dhabi 2016), United Arab Emirates. 16 - 19 Oct 2016. (In Press)

Halak, Basel and El-Hajjar, Mohammed (2016) How to prevent plagiarism in engineering education. At TEM Workshop on Pedagogies: Best Practice Considerations TEM Workshop on Pedagogies: Best Practice Considerations, United Kingdom. 11 Jul 2016.

Halak, Basel, Tenentes, Vasileios and Rossi, Daniele (2016) The impact of BTI aging on the reliability of level shifters in nano-scale CMOS technology. Microelectronics Reliability, 67, 74-81. (doi:10.1016/j.microrel.2016.10.018).

Halak, Basel, Tenentes, Vasileios and Rossi, Daniele (2016) Data-set supporting the article entitled "The impact of BTI aging on the reliability of level shifters in nano-scale CMOS technology". University of Southampton doi:10.5258/SOTON/403411 [Dataset]

Mispan, Mohd, Zwolinski, Mark and Halak, Basel (2016) SRAM-PUF Based on Selective Power-Up and Non-Destructive Scheme. 17th International Workshop on Microprocessor/SoC Test and Verification (MTV 2016), United States. (In Press)

Halak, Basel (2017) Teaching Hardware Security at Southampton University: A Course Design and Evaluation. 2017 STEM Higher Education Academy conference.

Abbas, Haider, Zwolinski, Mark and Halak, Basel (2016) NBTI and PBTI Mitigation Techniques by Architectural Anti-Aging Patterns. At 17th International Workshop on Microprocessor/SoC Test and Verification (MTV 2016) 17th International Workshop on Microprocessor/SoC Test and Verification (MTV 2016), United States. (In Press)

Halak, Basel (2016) Secure Hardware Design of IoT Nodes using Physically Unclonable Functions. At ARM Research Summit 2016 ARM Research Summit 2016, United Kingdom. 15 - 16 Sep 2016. (In Press)

Yakovlev, Alex, AL-Dallo, Mohammed and Halak, Basel (2017) Energy efficient bootstrapped CMOS inverter for ultra-low power applications. In 2016 IEEE International Conference on Electronics, Circuits and Systems (ICECS),. IEEE. pp. 516-519.

Halak, Basel (2017) Course on secure hardware design of silicon chips. IET Circuits, Devices & Systems, 11 (4), 304-309. (doi:10.1049/iet-cds.2017.0028).

Mispan, Mohd Syafiq, Halak, Basel and Zwolinski, Mark (2016) NBTI aging evaluation of PUF-based differential architectures. In 2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS). IEEE..

Halak, Basel, Zwolinski, Mark and Mispan, M. Syafiq (2017) Overview of PUF-Based hardware security solutions for the internet of things. In 2016 IEEE 59th International Midwest Symposium on Circuits and Systems, MWSCAS 2016. IEEE. 4 pp.

Woo, Lai Leng, Halak, Basel and Zwolinski, Mark (2017) Hardware performance counters for system reliability monitoring. In 2nd International Verification and Security Workshop. IEEE.. (doi:10.1109/IVSW.2017.8031548).

Mispan, Mohd Syafiq, Halak, Basel and Zwolinski, Mark (2017) Lightweight obfuscation techniques for modeling attacks resistant PUFs. In 2nd International Verification and Security Workshop. IEEE.. (doi:10.1109/IVSW.2017.8031539).

Duan, Shengyu, Halak, Basel and Zwolinski, Mark (2017) An ageing-aware Digital Synthesis Approach. In 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design. IEEE.. (doi:10.1109/SMACD.2017.7981556).

Sai, Gaole, Halak, Basel and Zwolinski, Mark (2017) A cost-efficient delay-fault monitor. In IEEE International Symposium on Circuits and Systems. IEEE. 4 pp. (doi:10.1109/ISCAS.2017.8050830).

Sai, Gaole, Halak, Basel and Zwolinski, Mark (2018) Multi-path ageing sensor for cost-efficient delay fault prediction. IEEE Transactions on Circuits and Systems Part II: Analog and Digital Signal Processing, 65 (4), 491-495. (doi:10.1109/TCSII.2017.2732028).

Abbas, Haider Muhi, Halak, Basel and Zwolinski, Mark (2017) BTI mitigation by anti-ageing software patterns. Microelectronics Reliability, 79 (12), 79-90. (doi:10.1016/j.microrel.2017.10.009).

Halak, Basel, El-Hajjar, Mohammed and Hassanein, Ahmed (2018) Hardware efficient architecture for element-based lattice reduction aided K-Best detector for MIMO systems. Journal of Sensors and Actuator networks, 7 (2). (doi:10.3390/jsan7020022).

Woo, Lai Leng, Zwolinski, Mark and Halak, Basel (2018) Early detection of system-level anomalous behaviour using hardware performance counters. In 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE). vol. 2018-January, Institute of Electrical and Electronics Engineers Inc. 6 pp, pp. 485-490. (doi:10.23919/DATE.2018.8342057).

Bello, Ibrahim A., Halak, Basel, El-Hajjar, Mohammed and Zwolinski, Mark (2018) Hardware implementation of a low-power K-Best MIMO detector based on a hybrid merge network. In 2018 28th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). IEEE.. (doi:10.1109/PATMOS.2018.8464169).

Duan, Shengyu, Zwolinski, Mark and Halak, Basel (2018) Dataset for Lifetime Reliability-aware Digital Synthesis. University of Southampton doi:10.5258/SOTON/D0559 [Dataset]

Mispan, Mohd Syafiq, Su, Haibo, Zwolinski, Mark and Halak, Basel (2018) Cost-efficient design for modeling attacks resistant PUFs. In Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. vol. 2018-January, Institute of Electrical and Electronics Engineers Inc. 6 pp, pp. 467-472. (doi:10.23919/DATE.2018.8342054).

Mispan, Mohd Svafiq, Duan, Shengyu, Halak, Basel and Zwolinski, Mark (2018) A reliable PUF in a dual function SRAM. In 2018 IEEE 28th International Symposium on Power and Timing Modeling, Optimization and Simulation, PATMOS 2018. Institute of Electrical and Electronics Engineers Inc. 6 pp, pp. 76-81. (doi:10.1109/PATMOS.2018.8464143).

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×