Chibuzo Ukegbu
Assistant Professor | Milwaukee School of Engineering
Milwaukee, WI, UNITED STATES
Chibuzo Ukegbu's research focuses on formal verification and analysis of industrial control systems software.
Multimedia
Publications:
Documents:
Videos:
Audio/Podcasts:
Education, Licensure and Certification (4)
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
Chibuzo Ukegbu's research focuses on formal verification and analysis of industrial control systems software. Analysis and assessment of the strengths of various formal verification tools; and currently, Chibuzo is working on merging ontology, descriptive logic, temporal logic and operational semantics to achieve an intelligent and efficient formal verification framework for safety-critical ICS.
Areas of Expertise (7)
Software Engineering
Cloud Security
Computing
Cloud Infrastructure Deployment
Automation and Configuration Management
Cybersecurity
Software Security
Affiliations (3)
- ACM
- IEEE : Graduate Member
- ISC2
Media Appearances (1)
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 (1)
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 (1)
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 (3)
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.
Social