Automated Attacker Synthesis

Speaker: Max Von Hippel , Northeastern University

Date: Thursday, September 03, 2020

Time: 2:00 PM to 3:00 PM Note: all times are in the Eastern Time Zone

Public: Yes


Event Type: Seminar

Room Description:

Host: Srinivas Devadas

Contact: Kyle L Hogan,

Relevant URL:

Speaker URL: None

Speaker Photo:

Reminders to:,

Reminder Subject: TALK: Automated Attacker Synthesis

Distributed protocols should be robust to both benign malfunction and attacks from internal or external adversaries. In this presentation we automatically synthesize attackers - adversarial processes causing a system to malfunction. First, we present our prior attacker synthesis work on cyber-protocols. We formalize four attacker synthesis problems - across attackers that always succeed versus those that sometimes fail, and attackers that attack forever versus those that do not - and we propose algorithmic solutions to two of them. We report on a prototype implementation called KORG and its application to TCP as a case-study. Second, we discuss our in-progress work on cyber-physical systems, which extends our previous work by topologizing the interfaces (inputs and outputs) of processes as cyber, physical, cyber-physical, etc. Our overarching focus is on concisely and elegantly modeling complex systems of interacting processes, and then automatically finding vulnerabilities in those systems.

Zoom Details:

Join Zoom Meeting

Password: <3security

One tap mobile
+16465588656,,97527284254# US (New York)
+16699006833,,97527284254# US (San Jose)

Meeting ID: 975 2728 4254

US : +1 646 558 8656 or +1 669 900 6833

International Numbers:

Join by SIP

Join by Skype for Business

Research Areas:
Security & Cryptography

Impact Areas:

See other events that are part of the CSAIL Security Seminar Series 2020.

Created by Kyle L Hogan Email at Monday, August 24, 2020 at 9:41 AM.