The objective of this project is to take a holistic approach to creating novel program analysis/protection techniques and a system called DASH to secure multithreaded programs and harden traditional defense techniques in a concurrency environment. We will do so by selectively combining static and dynamic techniques, thus getting the best of both worlds. We anticipate numerous contributions from this project; the main ones are: (1) a thorough understanding of concurrency attacks and their implications to traditional defense techniques; (2) accurate and effective techniques to detect, avoid, and survive concurrency vulnerabilities; and (3) hardening of traditional defense techniques for multithreaded programs.
DASH: Concurrency Attacks and Defenses
PI: Prof. Junfeng Yang, Columbia University
Sound and Precise Analysis of Parallel Programs through Schedule Specialization
This work is supported by the United States Air Force Office of Scientific Research (AFOSR) through Contract FA9550-12-1-0346. Opinions, findings, conclusions and recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the US Government or AFOSR.