Metzler, Patrick (2020):
Verification and Enforcement of Safe Schedules for Concurrent Programs. (Publisher's Version)
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00013432,
[Ph.D. Thesis]

Taha, Ahmed ; Metzler, Patrick ; Trapero, Ruben ; Luna, Jesus ; Suri, Neeraj (2016):
Identifying and Utilizing Dependencies Across Cloud Security Services.
In: ASIA CCS '16 Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, pp. 329-340,
ACM, Xi'an, China, ISBN 978-1-4503-4233-9,
DOI: 10.1145/2897845.2897911,
[Conference or Workshop Item]