BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Towards Provable Physical Safety Against False Actuation Attacks i
 n CPS - Alvaro Cardenas\, University of California\, Santa Cruz
DTSTART:20210126T160000Z
DTEND:20210126T170000Z
UID:TALK153700@talks.cam.ac.uk
CONTACT:Jack Hughes
DESCRIPTION:The vulnerability of cyber-physical systems (CPS) is a growing
  area of concern\, and in the past decade\, researchers have proposed a va
 riety of security defenses for these systems. Most of these proposals are 
 heuristic in nature\, and while they increase the protection of their targ
 et\, the security guarantees they provide are unclear. In this talk we dis
 cuss two different approaches for modeling the security guarantees of a cy
 ber-physical system against arbitrary false command attacks. The first par
 t of the talk discusses the idea of providing physical protections by satu
 rating actuators\, and the second part of the talk discusses how to use ba
 rrier certificates to prove safety of a real-world system.  Our work is an
  effort to move forward CPS security research towards precise definitions\
 , precise claims\, and provable security.\n\nRECORDING : Please note\, thi
 s event may be recorded and may be available after the event for an indete
 rminate period under a CC BY -NC-ND license. Audience members should bear 
 this in mind before joining the webinar or asking questions.
LOCATION:Webinar
END:VEVENT
END:VCALENDAR