The University of Southampton
×
Electronics and Computer Science
Telephone:
+442380597381
Email:
B.Halak@soton.ac.uk

Dr Basel Halak MSc, PhD, SFHEA, NTF

Personal homepage

 

Dr. Basel Halak is the director of the embedded systems and IoT program at the University of Southampton, a visiting scholar at the Technical University of Kaiserslautern, an idustrial fellow of the royal academy of engineering, a national teaching fellow of the advance HE, and a senior fellow of the higher education academy. He has written over 80-refereed conference and journal papers, and authored four books, including the first textbook on Physically Unclonable Functions. His research expertise include evaluation of security of hardware devices, development of appropriate countermeasures, the development of mathematical formalisms of reliability issues in CMOS circuits (e.g. crosstalk, radiation, ageing), and the use of fault tolerance techniques to improve the robustness of electronics systems against such issues.. 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  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). Dr Halak serves on several technical program committees such as HOST, IEEE DATE, IVSW, ICCCA, ICCCS, MTV and EWME. He is an associate editor of IEEE access and an editor of the IET circuit devices and system journal. He is also a member of the hardware security-working group of the World Wide Web Consortium (W3C).

A selcted list of Dr Halak 's external activities are included below;

Editorship

  1. Associate Editor of IEEE Access
  2. Editor of IET Circuit, Devices and System Special Issue on Microelectronics Education, United Kingdom.
  3. Editor for Cambridge Scholars Publishing, United Kingdom

International Conferences Organisation

  1. Orgnising Committe Member (European Liaison)of IEEE International Symposium on Hardware Oriented Security and Trust (HOST), United States.
  2. Technical Program Committee Member of the IEEE International Verification and Security Workshop (IVSW).
  3. Program Theme Chair of the 11th IEEE European workshops on Microelectronics Education.
  4. Technical Program Committee member of Microprocessor/SoC Test and Verification Workshop, United States
  5. Technical program committee Member of the international Microelectronics Olympiad, Armenia.
  6. Technical Program Committee Member of the IEEE International Conferences on Computer and Computational Sciences, India.

Advisory Roles

  1. Member of Synopsys Curricula Advisory Board, United States.
  2. Member of the Hardware Security Working group of the World Wide Web Consortium (W3C).
  3. External Examiner of the Engineering Faculty at University of the West of England, Bristol.
  4. Reviewer of numerous journals including :IEEE Transections on Computers , IEEE Transections on VLSI, IEEE Transection on Circuits and Systems TCAS I, IEEE Transections on VLSI, IEEE Transection on Circuits and Systems TCAS II, Microelectronics Journal.

Invited Talks and Public Engagment

  1. Invited Speaker Newcastle University, CMOS Aging Causes, Effects and Mitigations techniques, 2016.
  2. Invited Speaker, Al-Farabi Kazakh National University, Almaty, Kazakhstan Physically Unclonable Technologies for IoT security Applications, 2017.
  3. Invited Speaker, University of Kaiserslautern, Germany, On the Personalities of Electronics Systems and their Security Applications, 2018.
  4. Embededed Tutorial , IEEE International Verification and Security Workshop (IVSW), Spain, Physically Unclonable Functions: Design Principles, Applications and Outstanding Challenges, 2018.
  5. Invited Speaker, Newcastle University, On the Hardware Security of Resources Constrained Systems, 2018.
  6. Invited Seminar, Queen University in Belfast, Hardware-Based security Solutions of the Internet of Things , 2018.
  7. Invited Speaker, University of York, On the Hardware Security of Resources Constrained Systems, 2018.
  8. Invited Speaker, University of Liverpool, Hardware-Based security Solutions of the Internet of Things , 2018.

Research

Research interests

Hardware Security

The Internet of Things (IoT) consists of numerous inter-connected resource-constrained devices such as sensors nodes and actuators, which are linked to the Internet. By 2020 it is anticipated that the IoT paradigm will include approximately 20 billion connected devices. The interconnection of such devices provides the ability to collect a huge amount of data for processing and analysis. A significant portion of the transacted data between IoT devices is private information, which must not in any way be eavesdropped on or tampered with. Such devices typically have limited area and energy resources, which makes the use of classic cryptography prohibitively expensive. Physically Unclonable Functions (PUFs) are a class of novel hardware security primitives that promise a paradigm shift in many security applications; their relatively simple architecture can answer many of the security challenges of energy-constrained IoT devices. I am working on developing hardware-based security solutions for resource-constrained IoT devices using physically Unclonable functions and hardware monitoring schemes.

Reliability and Fault Tolerance Techniques 

Aggressive technology scaling has aggravated a number of reliability problems, particularly the aging of CMOS devices. This is caused by several mechanisms, namely: Bias Temperature Instability (BTI) is usually considered as the primary reliability concern in modern technologies, it is characterized by a positive shift in the absolute value of the threshold voltage of MOS devices, which leads to an increase in the propagation delay of various components in System-on-Chips over time. If this performance degradation exceeds circuit time margins, it may lead to system failure, thus reducing its long-term reliability. Other reliability problems include crosstalk noise and radiation. I am working on developing a range of solutions enhance the resiliency of CMOS circuits against these various reliability problems. To reduce the impact of ageing; I am looking into the use of ageing prediction sensors, circuit-level mitigating techniques and ageing aware synthesis. My work also includes developing radiation hardened designs and enhancing the reliability of on chip communications 

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.

Introduction on Embedded Systems Security:  University of Kaiserslautern, Germany

I led this master-level module, it covers the the principles of designing secure embedded systems with reference to new emerging industrial design framework  such as ARM PSA and gives detailed information on emerging security premitives such as physically unclonable functions, it aslo covers a number of related topics including Hardware Trojan and IC-counterfiet. 

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, Buenos Aires. 30 Aug - 03 Sep 2010.

Halak, Basel and Yakovlev, Alex (2008) Bandwidth-Centric Optimisation for Area-Constrained Links with Crosstalk Avoidance Methods. 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. 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, 57 (4), 505-519.

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

Murphy, Julian, O'Neill, Maire, Burns, Frank, Bystrov, Alex, Yakovlev, Alex and Halak, Basel (2012) Self-timed physically unclonable functions. 5th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2012), Istanbul. 06 - 09 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. (doi:10.1049/iet-cdt.2013.0113). (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. 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. Silicon Errors in Logic - System Effects (SELSE).

Lin, Yang, Zwolinski, Mark and Halak, Basel (2014) An energy efficient radiation hardened register file architecture. Designing with Uncertainty - Opportunities & Challenges Workshop, York, 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. Designing with Uncertainty - Opportunities & Challenges Workshop, York, 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. DATE Workshop: Designing with Uncertainty - Opportunities & Challenges.

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

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

Halak, Basel, El-Hajjar, Mohammed, Hu, Qiongda and Lu, Yue (2015) Energy-Efficient Adaptive MIMO Decoders. 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. IEEE International Symposium on Circuits and Systems (ISCAS), Lisbon, Portugal. 23 - 26 May 2015.

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

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

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

Abbas, Haider, Halak, Basel and Zwolinski, Mark (2015) An Application-Specific NBTI Ageing Analysis Method. International Workshop on CMOS Variability, Rua da Fonte do Boi, 216 - Rio Vermelho, Bahia,, Brazil.

Halak, Basel, Murphy, J. and Yakovlev, Alex (2015) Power balanced circuits for leakage-power-attacks resilient design. IEEE Science and Information Conference, London, United Kingdom. 27 - 30 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. (doi:10.1007/s00034-015-0218-y).

Nawi, Illani, Halak, Basel and Zwolinski, Mark (2016) Ageing Impact on a High Speed Voltage Comparator with Hysteresis. 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. 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. 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. 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, Southampton, United Kingdom. 10 - 12 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. (doi:10.5121/vlsic.2016.7101).

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. In 2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS). IEEE.. (doi:10.1109/IOLTS.2016.7604662).

Mispan, Mohd, Halak, Basel and Zwolinski, Mark (2016) NBTI analysis on PUF-based differential architectures. 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, , Birmingham, 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, , Birmingham, 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), Abu Dhabi, United Arab Emirates. 15 - 18 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), Abu Dhabi, United Arab Emirates. 15 - 18 Oct 2016. (In Press)

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

Halak, Basel and El-Hajjar, Mohammed (2016) How to prevent plagiarism in engineering education. TEM Workshop on Pedagogies: Best Practice Considerations, York, United Kingdom. 10 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, 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. 17th International Workshop on Microprocessor/SoC Test and Verification (MTV 2016), United States, United States. (In Press)

Halak, Basel (2016) Secure Hardware Design of IoT Nodes using Physically Unclonable Functions. ARM Research Summit 2016, Cambridge, United Kingdom. 14 - 15 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 . (doi:10.1109/ICECS.2016.7841252).

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.. (doi:10.1109/IOLTS.2016.7604680).

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 . (doi:10.1109/MWSCAS.2016.7870046).

Woo, Lai Leng, Halak, Basel and Zwolinski, Mark (2017) Hardware performance counters for system reliability monitoring. In 2nd International Verification and Security Workshop: IVSW 2017. 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: IVSW 2017. 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 : SMACD 2017. 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: ISCAS 2017. 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, [MR-D-16-00764R4]. (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), [22]. (doi:10.3390/jsan7020022).

Duan, Shengyu, Zwolinski, Mark and Halak, Basel (2018) Lifetime reliability-aware digital synthesis. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 26 (11), 2205-2216. (doi:10.1109/TVLSI.2018.2861820).

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. 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 (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. 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. pp. 76-81 . (doi:10.1109/PATMOS.2018.8464143).

Yilmaz, Yildiran, Gunn, Steve R. and Halak, Basel (2018) Lightweight PUF-based authentication protocol for IoT devices. In 2018 IEEE 3rd International Verification and Security Workshop, IVSW 2018. Institute of Electrical and Electronics Engineers Inc. pp. 38-43 . (doi:10.1109/IVSW.2018.8494884).

Su, Haibo, Zwolinski, Mark and Halak, Basel (2018) A machine learning attacks resistant two stage physical unclonable functions design. In 2018 IEEE 3rd International Verification and Security Workshop, IVSW 2018. Institute of Electrical and Electronics Engineers Inc. pp. 52-55 . (doi:10.1109/IVSW.2018.8494839).

Duan, Shengyu, Halak, Basel and Zwolinski, Mark (2018) Cell flipping with distributed refresh for cache ageing minimization. In Proceedings - 2018 IEEE 27th Asian Test Symposium, ATS 2018. vol. 2018-October, IEEE Computer Society Press. pp. 98-103 . (doi:10.1109/ATS.2018.00029).

Lu, Yue, Duan, Shengyu, Halak, Basel and Kazmierski, Tom (2019) A variation-aware design methodology for distributed arithmetic. Electronics (Switzerland), 8 (1), 1-12, [108]. (doi:10.3390/electronics8010108).

Bello, Ibrahim, Halak, Basel, El-Hajjar, Mohammed and Zwolinski, Mark (2019) VLSI implementation of a fully-pipelined K-best MIMO detector with successive interference cancellation. Circuits, Systems, and Signal Processing, 1-23. (doi:10.1007/s00034-019-01079-0).

Lu, Yue, Duan, Shengyu, Halak, Basel and Kazmierski, Tom J. (2019) A cost-efficient error-resilient approach to distributed arithmetic for signal processing. Microelectronics Reliability, 93, 16-21. (doi:10.1016/j.microrel.2018.12.007).

Mispan, Mohd Syafiq, Duan, Shengyu, Halak, Basel and Zwolinski, Mark (2019) A reliable PUF in a dual function SRAM. Integration the VLSI Journal, 68, 12-21. (doi:10.1016/j.vlsi.2019.06.001).

Woo, Lai Leng (2019) Hardware Performance Counters Data for Prediction of Potential Failure in Embedded Systems. University of Southampton doi:10.5258/SOTON/D1147 [Dataset]

Do, Viet-Hoa, Yilmaz, Yildiran and Halak, Basel (2020) ARMOR: An anti-counterfeit security mechanism for low cost Radio frequency identification systems. IEEE Transaction on Emerging Topics in Computing. (doi:10.1109/TETC.2020.2964435).

Aniello, Leonardo, Halak, Basel, Chai, Peter, Dhall, Riddhi, Mihalea, Mircea and Wilczynski, Adrian (2020) Anti-BlUFf: towards counterfeit mitigation in IC supply chains using Blockchain and PUF. International Journal of Information Security, 445–460. (doi:10.1007/s10207-020-00513-8).

Yilmaz, Yildiran, Aniello, Leonardo and Halak, Basel (2021) ASSURE: A hardware-baSed SecUrity pRotocol for resourcE-constrained IoT systems. Journal of Hardware and Systems Security, 5, 1-18. (doi:10.1007/s41635-020-00102-0).

Al-Daloo, Mohammed, Abufalgha, Mohamed A., Yakovlev, Alex and Halak, Basel (2020) Bootstrapped driver and the single-event-upset effect. IEEE Transactions on Circuits and Systems I: Regular Papers, 67 (10), 3309-3319, [9145625]. (doi:10.1109/TCSI.2020.3008112).

Abbas, Haider Muhi, Zwolinski, Mark and Halak, Basel (2020) Learning-based BTI stress estimation and mitigation in multi-core processor systems. Microprocessors and Microsystems, 81. (doi:10.1016/j.micpro.2020.103713).

Su, Haibo, Halak, Basel and Zwolinski, Mark (2019) Two-stage architectures for resilient lightweight PUFs. In 2019 IEEE 4th International Verification and Security Workshop (IVSW). IEEE.. (doi:10.1109/IVSW.2019.8854400).

Aitchison, Callum, Buckle, Roman, Ch'ng, Alvin, Clarke, Christian, Malley, Jacob and Halak, Basel (2020) On the integration of physically unclonable functions into ARM TrustZone security technology. In 2020 European Conference on Circuit Theory and Design (ECCTD). IEEE. 4 pp . (doi:10.1109/ECCTD49232.2020.9218417).

Mispan, Mohd Syafiq, Halak, Basel and Zwolinski, Mark (2021) A survey on the susceptibility of PUFs to invasive, semi-invasive and noninvasive attacks: challenges and opportunities for future directions. Journal of Circuits, Systems and Computers, 30 (11), [2130009]. (doi:10.1142/S0218126621300099).

Aniello, Leonardo, Halak, Basel, Chai, Peter, Dhall, Riddhi, Mihalea, Mircea and Wilczynski, Adrian (2021) Securing Hardware Supply Chain Using PUF. In, Halak, Basel (ed.) Authentication of Embedded Devices: Technologies, Protocols and Emerging Applications. Springer.

Yilmaz, Yildiran, Aniello, Leonardo and Halak, Basel (2021) ASSURE: A hardware-based security protocol for internet of things devices. In, Halak, Bael (ed.) Authentication of Embedded Devices: Technologies, Protocols and Emerging Applications. 1 ed. Springer International Publishing, pp. 55-87. (doi:10.1007/978-3-030-60769-2).

Contact

Telephone: +44 (0) 23 8059 7381

Email: B.Halak@soton.ac.uk

Share this profile FacebookTwitterWeibo