news
| Jul 22, 2025 | I am teaching Logic for Computer Science (COL703/COL7203) 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. |