University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–23 of 23 items
Thumbnail for Reliability and Security Engine: A Processor-Level Framework for Application -Aware Detection and Recovery
Reliability and Security Engine: A Processor-Level Framework for Application -Aware Detection and Recovery
Nakka, Nithin Manikyam

Thumbnail for Discovering Application-Level Insider Attacks Using Symbolic Execution
Discovering Application-Level Insider Attacks Using Symbolic Execution
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Thumbnail for SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Thumbnail for An Operating-System-Level Framework for Providing Application-Aware Reliability
An Operating-System-Level Framework for Providing Application-Aware Reliability
Wang, Long; Kalbarczyk, Zbigniew; Gu, Weining; Iyer, Ravi

Thumbnail for Recovering from Operating System Errors
Recovering from Operating System Errors
David, Francis M.; Campbell, Roy H.

Thumbnail for Automated Derivation of Application-Aware Error Detectors Using Compiler Analysis
Automated Derivation of Application-Aware Error Detectors Using Compiler Analysis
Pattabiraman, Karthik; Iyer, Ravishankar K.

Thumbnail for Efficient Software Checking for Fault Tolerence
Efficient Software Checking for Fault Tolerence
Yu, Jing

Thumbnail for Software and Hardware Techniques for Masking Security Vulnerabilities
Software and Hardware Techniques for Masking Security Vulnerabilities
Xu, Jun

Thumbnail for Automated Derivation of Application-Aware Error and Attack Detectors
Automated Derivation of Application-Aware Error and Attack Detectors
Pattabiraman, Karthik

Thumbnail for Efficient Software Checking for Fault Tolerance
Efficient Software Checking for Fault Tolerance
Yu, Jing

Thumbnail for Efficient Software Checking for Fault Tolerence
Efficient Software Checking for Fault Tolerence
Yu, Jing

Thumbnail for Design and evaluation of information flow signature for secure computation of applications
Design and evaluation of information flow signature for secure computation of applications
Patel, Prateek

Thumbnail for Preserving application reliability on unreliable hardware
Preserving application reliability on unreliable hardware
Hari, Siva Kumar

Thumbnail for Building a Reliable Operating System
Building a Reliable Operating System
David, Francis M.

Thumbnail for Building a Reliable Operating System
Building a Reliable Operating System
David, Francis M.

Thumbnail for Design for Security: Measurement, Analysis and Mitigation Techniques
Design for Security: Measurement, Analysis and Mitigation Techniques
Chen, Shuo

Thumbnail for Asynchronous hardware-enforced memory safety
Asynchronous hardware-enforced memory safety
Tseng, Kuan-Yu

Thumbnail for Building a Reliable Operating System
Building a Reliable Operating System
David, Francis Manoj

Thumbnail for Design for Security: Measurement, Analysis and Mitigation Techniques
Design for Security: Measurement, Analysis and Mitigation Techniques
Chen, Shuo

Thumbnail for Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment
Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment
Ramachandran, Pradeep

Thumbnail for From detection to optimization: impact of soft errors on high-performance computing applications
From detection to optimization: impact of soft errors on high-performance computing applications
Calhoun, Jon Cameron

Thumbnail for SWAT: Designing Resilient Hardware by Treating Software Anomalies
SWAT: Designing Resilient Hardware by Treating Software Anomalies
Li, Man-Lap

Thumbnail for Data-driven resiliency assessment of medical cyber-physical systems
Data-driven resiliency assessment of medical cyber-physical systems
Alemzadeh, Homa