1

Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs
On the Feasibility of Compressing Certifiably Robust Neural Networks
Ares: A System-Oriented Wargame Framework for Adversarial ML
Good Bot, Bad Bot: Characterizing Automated Browsing Activity
An Intent-Based Automation Framework for Securing Dynamic Consumer IoT Infrastructures
Valve: Securing Function Workflows on Serverless Computing Platforms
ATtention Spanned: Comprehensive Vulnerability Analysis of AT Commands Within the Android Ecosystem