The CSAIL Technical Reports series includes:

  • 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
For more information, contact publications@csail.mit.edu.

Recent Submissions

  • Comprehensive Java Metadata Tracking for Attack Detection and Repair 

    Perkins, Jeff; Eikenberry, Jordan; Coglio, Alessandro; Rinard, Martin (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 

    Gordon, Michael; Eikenberry, Jordan; Eden, Anthony; Perkins, Jeff; Rinard, Martin (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 

    Bhargava, Nikhil; Williams, Brian C. (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 ...

View more