Nicolas Boltz, Larissa Schmid, Bahareh Taghavi, Evgeni Cholakov: Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security. Zenodo 2024