news
| 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. |
| Jul 27, 2023 | Our work on analyzing the EDHOC protocol was published in the CCIS book series by Springer. Access it here. |