Thilo Weghorn

According to our database, Thilo Weghorn authored at least 5 papers between 2015 and 2022.

Collaborative distances:

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

2022

N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures.

Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2019

Qualitative and Quantitative Guarantees for Access Control.

Thilo Weghorn

PhD thesis, 2019

The Next 700 Policy Miners: A Universal Method for Building Policy Miners.

Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Mining ABAC Rules from Sparse Logs.

Carlos Cotrini, Thilo Weghorn, David A. Basin

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2015

Analyzing First-Order Role Based Access Control.

Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015