I work on verification of shape invariants for data structures written in C. My supervisor is Professor Parosh Abdulla.
I recently gave a very brief Separation Logic tutorial. More info can be found here.
Want to learn TeX? Start here.
- Monotonic Abstraction for Programs with Multiply-Linked Structures
- Analyzing the security in the GSM radio network using attack jungles
- Automated Analysis of Data-Dependent Programs with Dynamic Memory
- Monotonic Abstraction for Programs with Dynamic Memory Heaps
- APPARATUS FOR RECONFIGURATION OF A TECHNICAL SYSTEM BASED ON SECURITY ANALYSIS AND A CORRESPONDING TECHNICAL DECISION SUPPORT SYSTEM AND COMPUTER PROGRAM PRODUCT