CSAIL Technical Reports (July 1, 2003 - present): Recent submissions
Now showing items 10-12 of 776
-
Bucket Elimination Algorithm for Dynamic Controllability Checking of Simple Temporal Networks with Uncertainty
(2021-03-02)Simple Temporal Networks with Uncertainty (STNU) can represent temporal problems where duration between events may be uncontrollable, e.g. when the event is caused by nature. An STNU is dynamically controllable (DC) if it ... -
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 ...
