Mind the Leak: Formalizing Confidentiality Preservation Assessment of Multi-Model Consistency Checking Systems.

Sebastian Bergemann, Andreas Bayha, Derui Zhu, Mohammad Sadeghi, Colin Atkinson, Alexander Pretschner

Browse the full MODELS paper archive.