Theory and Security
summary
Four short papers: Online Reset adds an external reset strategy to STL monitors, implements it in Breach, and shows it recovers distinct violation episodes while often reducing monitoring time on automotive and transmission benchmarks. Cross-State Fuzzing (Chevron) instruments protocol stacks with a custom Channel-cc, propagates discovered state conditions across states, and uncovers 21 previously unknown ICS vulnerabilities across six protocols with higher coverage than AFL/Peach. Deadline-miss analysis models time-triggered task chains, encodes worst-case missed-job patterns as MILP, and solves realistic automotive chains (up to 25 tasks in seconds). MIDAS extracts abstract behavior pairs, traces homologous process trees on Linux IoT devices, runs on 60 deployed honeypots for 25 days, and drastically reduces compromises with low overhead.
AI-written summary · about
chapters (15)
- 0:00Start
- 1:48Background
- 3:06Offline Monitoring
- 8:01Optimal Reset
- 10:19Implementation
- 15:46Vulnerability Detection of Ics Protocols
- 16:47Rtps Protocol
- 20:44Design of Sharon the Cross-State Guided Ics Protocol
- 24:28Conclusion
- 33:40Transient Overload Conditions
- 39:10Latency Metrics
- 40:50Weekly Hard Model
- 43:17Scalability Evaluation
- 52:46Rapid Mutation of Anti-Malware
- 56:19Homology Tracing
related talks
01mFrom Bugs to Breaches
34mDefining Steady States and Developing Hypotheses
47mHacking Applications on Paper
25mSecurity Chaos Engr.: Fix Things and Make Friends
16mLightning Talks
14mStateful Behavior Inference and Runtime Enforcement for Vehicle Network Security
44mTL;DR: Applying AI to Security
57mFinding, Managing, Preventing Vulnerabilities: An Automotive Perspective