Number of items: 2. Conference or workshop publication
Zhu, Derui ; Bergemann, Sebastian ; Sadeghi, Mohammad ; Atkinson, Colin  ORCID: 0000-0002-3164-5595 ; Pretschner, Alexander
Data protection vulnerabilities assessment for cross-organizational consistency checking in TEE.
27-28
In: MSSIS 2026 : 2026 Eigth Workshop on Modeling and Simulation of Software-Intensive Systems : proceedings, 12 - 18 April 2026, Rio de Janeiro, Brazil
(2026)
New York, NY
ICSE 2026: 48th International Conference on Software Engineering
(Rio de Janeiro, Brazil)
[Conference or workshop publication]
|
![[img]](/72118/1.hassmallThumbnailVersion/3786146.3788645.pdf)  Preview |
|
|
Bergemann, Sebastian ; Bayha, Andreas ; Zhu, Derui ; Sadeghi, Mohammad ; Atkinson, Colin ORCID: 0000-0002-3164-5595 ; Pretschner, Alexander
Mind the leak: Formalizing confidentiality preservation assessment of multi-model consistency checking systems.
345-356
In: 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion : MODELS-C 2025 : 5-10 October 2025, Grand Rapids, United States; proceedings
(2025)
Los Alamitos, CA [u.a.]
MODELS-C 2025
(Grand Rapids, MI)
[Conference or workshop publication]
|
|
This list was created automatically on Sun Jul 12 05:15:16 2026 CEST |
