Research
| Conference | Title |
|---|---|
| VMCAI 2018 | A Logical System for Modular Information Flow Verification |
| Conference | Title |
|---|---|
| APLAS 2019 | A Method for Representing Complete Lattices in Theorem Provers |
| Conference | Title |
|---|---|
| VMCAI 2018 | A Logical System for Modular Information Flow Verification |
| Conference | Title |
|---|---|
| APLAS 2019 | A Method for Representing Complete Lattices in Theorem Provers |