Caballero, Juan - Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute)

Advanced Search

Caballero, Juan - Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute)

Insights from the Inside: A View of Botnet Management from Infiltration
Differential Slicing: Identifying Causal Execution Differences for Security Applications
Towards Generating High Coverage Vulnerability-based Signatures with Protocol-level Constraint-guided Exploration
Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware
Dispatcher: Enabling Active Botnet Infiltration using Automatic Protocol Reverse-Engineering
Towards Generating High Coverage Vulnerability-Based Signatures with Protocol-Level
BitBlaze: A New Approach to Computer Security via Binary Analysis
Polyglot: Automatic Extraction of Protocol Message Format using Dynamic Binary Analysis
Secure Content Sniffing for Web Browsers, or How to Stop Papers from Reviewing Themselves
Would Diversity Really Increase the Robustness of the Routing Infrastructure against Software Defects?
Extracting Models of Security-Sensitive Operations using String-Enhanced White-Box Exploration on
Would Diversity Really Increase the Robustness of the Routing Infrastructure against Software Defects?
Measuring Pay-per-Install: The Commoditization of Malware Distribution Juan Caballero, Chris Grier, Christian Kreibich, Vern Paxson
Black box anomaly detection: is it utopian? Shobha Venkataraman, Juan Caballero, Dawn Song, Avrim Blum, Jennifer Yates
Binary Code Extraction and Interface Identification for Security Applications
Rosetta: Extracting Protocol Semantics using Binary Analysis Applications to Protocol Replay and NAT Rewriting
Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation
Polyglot: Automatic Extraction of Protocol Message Format using
Grammar and Model Extraction for Security Applications using