Sagar Chaki

I have been involved in several projects on different topics, and of different durations. I have organized them into three broad categories:

• Part of Multi-Year research efforts at the SEI
• Done as Single-Year projects (called LENS or IRAD) at the SEI
• Done as a PhD student at CMU

• Research Area: Cyber-Physical Systems
• DART: Distributed Adaptive Real-Time Systems
• DISCOVER: Distributed Coordination Verification
• START: Static Analysis of Real-Time Systems
• DRONE-PP: Developing and Verifying Software for Flying Robots
• Research Area: Predictability by Construction
• LDD: Linear Decision Diagrams
• Covert: C Overflow Detection Tool
• Copper: Software Model Checker
• ComFoRT: Component Formal Reasoning Technology

• Auto-Active Verification of Software with Timers and Clocks (2015-2016). [paper]
• Parellel Software Model Checking (2014-2015). [paper, presentation]
• Model Checking Distributed Applications (2013-2014).
• Reverse Engineering Object Oriented Data and Methods (2012-2013).
• Next Generation Malware Disassembly Algorithms (2012-2013).
• Semantic Comparison of Malware Functions (2011-2012). [paper, tech-report]
• Semantic Analysis for Malware Code Deobfuscation (2011-2012). [tech-report]
• Learning a Portfolio-Based Checker for Provenance-Similarity of Binaries (2010-2011). [blog post 1, blog post 2, paper, tech-report]
• Regression Verification of Real-time Embedded Software (2010-2011). [blog post, paper, tech-report]
• Certified Binaries for Software Components (2005-2006). [paper, tech-report]
• Assessing and Demonstrating the Readiness of Proof-Carrying Code (PCC) for Obtaining Objective Trust in Software Components (2004-2005). [paper, tech-report]
• Verification of Evolving Software via Component Substitutability Analysis (2004-2005). [paper, tech-report]

• MAGIC
• SPEAR