1

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
Robust Physical-World Attacks on Deep Learning Visual Classification
Decentralized Action Integrity for Trigger-Action IoT Platforms