news
| Jul 01, 2026 | I am teaching Automatic theorem proving using Lean (COL876/COL8271 – Special Topics in Formal Methods) this semester. More details here. |
|---|---|
| Jun 10, 2026 | Our paper on the formal verification of EDHOC-PSK was published at ASIACCS’26. |
| Sep 06, 2023 | Our paper about the insecurity problem for assertions has been accepted at IEEE CSF 2024! ArXiv version. |