Publications
- Zhu, D., Bergemann, S., Sadeghi, M., Atkinson, C. and Pretschner, A. (2026). Data protection vulnerabilities assessment for cross-organizational consistency checking in TEE. In , 2026 Eigth Workshop on Modeling and Simulation of Software-Intensive Systems : MSSIS 2026, 12 – 18 April 2026, Rio de Janeiro, Brazil, proceedings (S. 27–28). , Association for Computing Machinery: New York, NY.