Research
My research interests lie in formal methods tools and their applications, with a particular focus on security.
Publications:
- D. Dar, R. Lorch, A. Sadeghi, V. Sorcigli, H. Gollier, C. Tinelli, M. Vanhoef, and O. Chowdhury, “SAECRED: A State-Aware, Over-the-Air Protocol Testing Approach for Discovering Parsing Bugs in SAE Handshake Implementations of COTS Wi-Fi Access Points,” S&P ‘25.
- B. Meng, S. Varanasi, R. Lorch, A. Moitra, K. Siu, S. Paul, M. Durling, N. Beniwal and N. Visnevski, “TRACE: Toolkit for Requirements Analysis Capture and Elicitation,” NFM ‘25.
- R. Lorch, D. Larraz, C. Tinelli, and O. Chowdhury, “A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework,” RAID ‘24. pdf
- R. Lorch, B. Meng, K. Siu, A. Moitra, M. Durling, S. Paul, S. Varanasi, and C. McMillan, “Formal Methods in Requirements Engineering: Survey and Future Directions,” FormaliSE (colocated with ICSE) ‘24. pdf
- D. Larraz, R. Lorch, M. Yahyazadeh, F. Arif, O. Chowdhury, and C. Tinelli, “CRV: Automated Cyber-Resiliency Reasoning for System Design Models,” FMCAD ‘23. pdf
- B. Carrigan, D. Diaz, J. Hammer, J. Lorch, and R. Lorch, “Constructing (3, b)-sudoku pair Latin squares,” Australasian Journal of Combinatorics ‘22. pdf
- B. Carrigan, J. Hammer, J. Lorch, R. Lorch, and C. Owens, “List colorings count rokudoku-pair squares,” Bulletin of the Institute of Combinatorics and its Applications ‘21. pdf