Analyzing First-Order Role Based Access Control. - Carlos Cotrini Jiménez; Thilo Weghorn; David A. Basin; Manuel Clavel (CSF, 2015)

Mining ABAC Rules from Sparse Logs. - Carlos Cotrini; Thilo Weghorn; David A. Basin (EuroS&P, 2018)

The Next 700 Policy Miners: A Universal Method for Building Policy Miners. - Carlos Cotrini; Luca Corinzia; Thilo Weghorn; David A. Basin (CCS, 2019)

Qualitative and Quantitative Guarantees for Access Control. - Thilo Weghorn (2019)

N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. - Thilo Weghorn; Si Liu 003; Christoph Sprenger 001; Adrian Perrig; David A. Basin (CSF, 2022)