Robert Lorch

According to our database, Robert Lorch authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

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