Robert Lorch

According to our database, Robert Lorch authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Saecred: A State-Aware, Over-the-Air Protocol Testing Approach for Discovering Parsing Bugs in SAE Handshake Implementations of COTS Wi-Fi Access Points.

Muhammad Daniyal Pirwani Dar, Robert Lorch, Aliakbar Sadeghi, Vincenzo Sorcigli, Héloïse Gollier, Cesare Tinelli, Mathy Vanhoef, Omar Chowdhury

Proceedings of the IEEE Symposium on Security and Privacy, 2025

TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation.

Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework.

Robert Lorch, Daniel Larraz, Cesare Tinelli, Omar Chowdhury

Proceedings of the 27th International Symposium on Research in Attacks, 2024

Formal Methods in Requirements Engineering: Survey and Future Directions.

Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

CRV: Automated Cyber-Resiliency Reasoning for System Design Models.

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Constructing $(3, b)$-Sudoku pair Latin squares.

Braxton Carrigan, David Diaz, James M. Hammer, John Lorch, Robert Lorch

Australas. J Comb., 2022

2021

List colorings count rokudoku-pair squares.

Braxton Carrigan, James M. Hammer, John Lorch, Robert Lorch, Caitlin Owens

Bull. ICA, 2021