Sagar Chaki's Homepage
My research area is the theory and applications of formal methods
to improving software quality. In particular, I am interested in
specification, verification, and validation of software, with
particular focus on concurrent software, real-time and
cyber-physical system, and software security. My main projects
are START
and DISCOVER. I have also been
involved in the following exploratory projects aimed at software
understanding and assurance:
- Reverse Engineering Object Oriented Data and Methods
(2012-2013).
- Next Generation Malware Disassembly Algorithms
(2012-2013).
- Semantic Comparison of Malware Functions
(2011-2012). [paper]
- Semantic Analysis for Malware
Code Deobfuscation (2011-2012).
- Learning a Portfolio-Based
Checker for Provenance-Similarity of Binaries
(2010-2011). [blog
post
1, blog
post 2,
paper]
- Regression Verification of Real-time Embedded
Software (2010-2011). [blog
post, paper]
- Certified Binaries for Software Components
(2005-2006). [paper]
- Assessing and Demonstrating the Readiness of
Proof-Carrying Code (PCC) for Obtaining Objective Trust in Software
Components
(2004-2005). [paper]
- Verification of Evolving Software via Component
Substitutability Analysis
(2004-2005). [paper]
I co-developed
Linear Decision Diagrams. Here
is a more or less up-to-date resume.
Publications
Journal
Conference, Symposium
Workshop
Report, Note, Whitepaper
Here are my SEI
and CMU CS webpages.