| Continuous Reasoning with Gradual Verification |
|
| 2024 Q2 |
|
| 2024 Q3 |
|
| 2024 Q4 |
|
| 2025 Q1 |
|
| Type-Specific Languages to Fight Injection Attacks (poster) |
|
| Type-Specific Languages to Fight Injection Attacks (slides) |
|
| Insights into Composability from Lablet Research |
|
| Obsidian: A Safer Blockchain Programming Language |
|
| Designed-In Security for Mobile Architectures |
|
| Designed-In Security for Mobile Applications |
|
| A Language and Framework for Development of Secure Mobile Applications |
|
| Obsidian- A Language for Smart Contracts Designed for Safety and Usability.pdf |
|
| Race Vulnerability Study and Hybrid Race Detection |
|
| Addressing Challenges of Scale through Composable Modeling and Analysis |
|
| Workshop Summary: Addressing Challenges of Scale through Composable Modeling and Analysis |
|