Techniques we explore

Dr. Zbigniew Kalbarczyk

Research Professor

Coordinated Science Laboratory

University of Illinois at Urbana-Champaign

1308 W. Main Street, Urbana, IL 61801

USA

Tel.: +1 217 244 7110

Email: kalbaratcrhcdotuiucdotedu

Research Interest

 

Design and validation of reliable and secure computing systems. The research focuses on development of

methods and tools for designing and experimental assessment of reliable and secure systems. Projects encompass:

 

(1) design and implementation of a software middleware for reliable networked computing (the ARMOR middleware)

 

(2) Operating system level transparent error detection and recovery (the Reliability Microkernel, RMK)

 

(3) Hardware (processor) level support for reliability and security (the Reliability and Security Engine, RSE) error detection and recovery,

 

(4) Formal verification of techniques for detection of accidental errors and malicious attacks (the Symbolic Program-Level Fault Injection and Error Detection Framework, SymPLFIED),

 

(5) Experimental system/application validation using fault/error injection (the NFTAPE fault injection framework).