Last but not least, Poise seeks to ensure that the individual defenses, as well as their composition, are themselves secure against attacks. We are developing program analysis techniques to understand potential risks in the defenses and mitigate them.
Automated attack discovery [CSET 2019] describes a new class of attack vectors to systems that rely on programmable switches, and outlines steps towards discovering the attack vectors automatically.