University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 36 items
Thumbnail for Schedule-Based Side-Channel Attack in Fixed-Priority Real-time Systems
Schedule-Based Side-Channel Attack in Fixed-Priority Real-time Systems
Chen, Chien-Ying; Ghassami, Amiremad; Nagy, Stefan; Yoon, Man-Ki; Mohan, Sibin; Kiyavash, Negar; Bobba, Rakesh B.; Pellizzoni, Rodolfo

Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Malicious data detection in state estimation leveraging system losses & estimation of perturbed parameters
Malicious data detection in state estimation leveraging system losses & estimation of perturbed parameters
Niemira, William

Thumbnail for A sensitivity analysis of cyber contingency ranking within the SOCCA framework
A sensitivity analysis of cyber contingency ranking within the SOCCA framework
Phelps, Aaron

Thumbnail for Cauldron: a framework to defend against cache-based side-channel attacks in clouds
Cauldron: a framework to defend against cache-based side-channel attacks in clouds
Ahmad, Mohammad

Thumbnail for Federated identity management systems for cyberinfrastructure: SAML vs. PKIX
Federated identity management systems for cyberinfrastructure: SAML vs. PKIX
Hayes, Thomas

Thumbnail for An architecture for trustworthy services built on event based probing of untrusted guests
An architecture for trustworthy services built on event based probing of untrusted guests
Sprabery, Read T

Thumbnail for Scheduler side-channels in preemptive real-time systems: attack and defense techniques
Scheduler side-channels in preemptive real-time systems: attack and defense techniques
Chen, Chien-Ying

Thumbnail for Integrating security into real-time cyber-physical systems
Integrating security into real-time cyber-physical systems
Hasan, Monowar

Thumbnail for Network-simulation-based evaluation of smart grid applications
Network-simulation-based evaluation of smart grid applications
Jin, Dong

Thumbnail for Malicious data detection and localization in state estimation leveraging system losses
Malicious data detection and localization in state estimation leveraging system losses
Lu, Miao

Thumbnail for Formal Design of Cloud Computing Systems in Maude
Formal Design of Cloud Computing Systems in Maude
Meseguer, José

Thumbnail for Programmable cyber networks for critical infrastructure
Programmable cyber networks for critical infrastructure
Kumar, Rakesh

Thumbnail for Inter-flow consistency: novel SDN update abstraction for supporting inter-flow constraints
Inter-flow consistency: novel SDN update abstraction for supporting inter-flow constraints
Liu, Weijie

Thumbnail for Towards an agile hypervisor for software-defined networks
Towards an agile hypervisor for software-defined networks
Evchenko, Konstantin

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
Liu, Si

Thumbnail for Exploring Design Alternatives for Replicated RAMP Transactions Using Maude
Exploring Design Alternatives for Replicated RAMP Transactions Using Maude
Liang, Lei; Liu, Si

Thumbnail for Deployment considerations for intrusion detection systems in advanced metering infrastructure
Deployment considerations for intrusion detection systems in advanced metering infrastructure
Grochocki, David

Thumbnail for Cooperative congestion control in power grid communication networks
Cooperative congestion control in power grid communication networks
Cherukuri, Naveen

Thumbnail for Assuring robustness of radio spectrum telemetry against vandalism and exploitation
Assuring robustness of radio spectrum telemetry against vandalism and exploitation
Fatemieh, Seyed Omid

Thumbnail for Limiting information exposure in multi-domain monitoring systems
Limiting information exposure in multi-domain monitoring systems
Montanari, Mirko

Thumbnail for DeNovo: rethinking the memory hierarchy for disciplined parallelism
DeNovo: rethinking the memory hierarchy for disciplined parallelism
Sung, Hyojin

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Data-enhanced applications for power systems analysis
Data-enhanced applications for power systems analysis
Rogers, Katherine

Thumbnail for Secure multicast for power grid communications
Secure multicast for power grid communications
Zhang, Jianqing

Thumbnail for Software and architecture support for the bulk multicore
Software and architecture support for the bulk multicore
Ahn, Daniel

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 The optimal mechanism in differential privacy
The optimal mechanism in differential privacy
Geng, Quan

Thumbnail for Low-Power High-Performance Dynamic Circuit Design for Ultra-Deep Submicron Technology
Low-Power High-Performance Dynamic Circuit Design for Ultra-Deep Submicron Technology
Jung, Seong-Ook

Thumbnail for Data-driven methods to improve resource utilization, fraud detection, and cyber-resilience in smart grids
Data-driven methods to improve resource utilization, fraud detection, and cyber-resilience in smart grids
Badrinath Krishna, Varun