Jonathan Cederberg – PhD Student

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.

Publications

• 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

Patents

• APPARATUS FOR RECONFIGURATION OF A TECHNICAL SYSTEM BASED ON SECURITY ANALYSIS AND A CORRESPONDING TECHNICAL DECISION SUPPORT SYSTEM AND COMPUTER PROGRAM PRODUCT

CV

• CV in English