Colin Atkinson

Publikationen

Liste als BibTeX-Datei exportieren

• April 2026 Data Protection Vulnerabilities Assessment for Cross-Organizational Consistency Checking in TEE Derui Zhu , Sebastian Bergemann , Mohammad Sadeghi , Colin Atkinson und Alexander Pretschner In Proceedings of the 8th Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS), April 2026. ACM. Details URL DOI BIB
• Oktober 2025 Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems Sebastian Bergemann , Andreas Bayha , Derui Zhu , Mohammad Sadeghi , Colin Atkinson und Alexander Pretschner In ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’25), Oktober 2025. IEEE. Details DOI BIB