news
| Jun 10, 2026 | Our paper on the formal verification of EDHOC-PSK was published at ASIACCS’26. |
|---|---|
| Jan 01, 2026 | I am teaching Introduction to Automata and Theory of Computation (COL352) this semester. More details here. |
| Sep 06, 2023 | Our paper about the insecurity problem for assertions has been accepted at IEEE CSF 2024! ArXiv version. |