CSAIL Technical Reports (July 1, 2003 - present)
- Articles (previous published or unpublished)
- Ph.D., M.Eng., and S.M. theses
- Technical Reports or memoranda
- UROP or AUP report advised by a CSAIL member
Please see individual items for copyright and licensing restrictions.
(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 ...
(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 ...
(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 ...