Computer Science and Artificial Intelligence Lab (CSAIL)
Sub-communities within this community
Recent Submissions
-
Comprehensive Java Metadata Tracking for Attack Detection and Repair
(2019-11-19)We present ClearTrack, a system that tracks 32 bits of metadata for each primitive value in Java programs to detect and nullify a range of vulnerabilities such as integer overflow and underflow vulnerabilities, SQL injection ... -
Precise and Comprehensive Provenance Tracking for Android Devices
(2019-11-19)Detailed information about the paths that data take through a system is invaluable for understanding sources and behaviors of complex exfiltration malware. We present a new system, ClearScope, that tracks, at the level of ... -
Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds
(International Joint Conference in Artificial Intelligence, 2019-08)Simple Temporal Networks with Uncertainty (STNUs) provide a useful formalism with which to reason about events and the temporal constraints that apply to them. STNUs are in particular notable because they facilitate reasoning ...
RSS 1.0