Publications

• 2026-05-05 | Context Matters: Repository-Aware Security Analysis of the Agent Skill Ecosystem
• 2026-01-01 | SaMBA: Increasing Mixed Boolean-Arithmetic Complexity Through Equality Saturation
• 2025-08-03 | Replay - Automatic Uncovering of Hidden Behaviors From Input Validation in Mobile Apps
• 2025-07-03 | Leaky Apps: Large-scale Analysis of Secrets Distributed in Android and iOS Apps
• 2025-01-20 | Analyzing the iOS Local Network Permission from a Technical and User Perspective
• 2023-05-02 | IoTFlow: Inferring IoT Device Behavior at Scale through Static Mobile Companion App Analysis