asankhaya-sharma documents

Last Days of Academy
Education Last Days of Academy
Certified Reasoning for Automated Verification
Technology Certified Reasoning for Automated Verification
Visualizing Symbolic Execution with Bokeh
Technology Visualizing Symbolic Execution with Bokeh
DIDAR: Database Intrusion Detection with Automated Recovery
Technology DIDAR: Database Intrusion Detection with Automated Recovery
Verified Subtyping with Traits and Mixins
Software Verified Subtyping with Traits and Mixins
Developer-focused Software Security
Technology Developer-focused Software Security
Specifying compatible sharing in data structures
Technology Specifying compatible sharing in data structures
Secure Software Development
Software Secure Software Development
Exploiting undefined behaviors for efficient symbolic execution
Technology Exploiting undefined behaviors for efficient symbolic execution