news
| Jul 17, 2024 | 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. |