Publications

2 results for Sagar Chaki

Efficient verification of periodic programs using sequential consistency and snapshots
- - Sagar Chaki
  - Arie Gurfinkel
  - et al.
- 2014
- FMCAD 2014
Conference paper
Scalable parametric verification of secure systems: How to verify reference monitors without worrying about data structure size
- - Jason Franklin
  - Sagar Chaki
  - et al.
- 2010
- S&P 2010
Conference paper