All Stories

  1. Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness
  2. Attack-resilient Fusion of Sensor Data with Uncertain Delays
  3. Adaptive window-based sensor attack detection for cyber-physical systems
  4. Real-time Attack-recovery for Cyber-physical Systems