Chibuzo Ukegbu
Assistant Professor Milwaukee School of Engineering
- Milwaukee WI
Chibuzo Ukegbu's research focuses on formal verification and analysis of industrial control systems software.
Milwaukee School of Engineering
View more experts managed by Milwaukee School of Engineering
Multimedia
Education, Licensure and Certification
Ph.D.
Computing
Boise State University
2024
M.S.
Information Technology
National Open University of Nigeria
2016
Postgraduate Diploma
Computer Science
Nnamdi Azikiwe University
2014
Higher National Diploma
Computer Science
Akanu Ibiam Federal Polytechnic
2008
Biography
Areas of Expertise
Affiliations
- ACM
- IEEE : Graduate Member
- ISC2
Social
Media Appearances
Students in Action: Chibuzo Ukegbu, Computing PhD Cybersecurity emphasis
Boise State University online
2024-02-02
Join us in celebrating Chibuzo Ukegbu, Computing PhD student in the Cybersecurity emphasis. After Chibuzo’s paper, Cooperative verification of PLC programs using CoVeriTeam, was published at the 2023 ACM/IEEE Conference on Internet of Things Design and Implementation in San Antonio, TX, we asked him to share more about his research focus, motivation and academic successes.
Event and Speaking Appearances
Benchmarks for the Verification of Safety and Security Prop- erties of PLC Programs in Cooperative Verification Environments
8th International Conference on Information Systems Engineering Bangkok, Thailand
Research Interests
Children Cybersecurity Awareness and Education
: My new area of research centers on investigating high schoolers' cybersecurity awareness (cybersecurity education)—how they can be cyber-aware in the face of the latest AI-driven attacks—and teaching them about the vulnerability of the devices they use.
Selected Publications
Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems
CPS-IoT Week '23: Proceedings of Cyber-Physical Systems and Internet of Things Week 20232023
It is important that the programmed logic controller(PLC), the heart of industrial control systems (ICS), is formally verified to ensure that its safety and security requirements are met. However, the combination of the strengths of two or more verification tools to verify tasks has yet to be fully explored, especially in verification of safety-critical programs such as PLC programs. In this paper, we apply cooperative verification techniques by building a verifier validator (using Symbiotic as a verifier and the CPA checker as a validator).
Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems
EICC '23: Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference2023
As part of Industrial Control Systems (ICS), the control logic controls the physical processes of critical infrastructures such as power plants and water and gas distribution. The Programmable Logic Controller (PLC) commonly manages these processes through actuators based on information received from sensor readings. Therefore, boundary checking is essential in ICS because sensor readings and actuator values must be within the safe range to ensure safe and secure ICS operation.
Design of a flood magnitude prediction model using algorithmic and mathematical approaches
International Journal of Information Technology2021
Flood is the most common type of natural disaster in sub-Saharan Africa, and causes tremendous damage to life, economy and agriculture. Effective and accurate means of predicting flood and its magnitude are still lacking to a large extent. This study is aimed at designing a concise and efficient model that can determine or predict flood and its magnitude using available data from areas prone to flood events.
