|
Mind the leak: Formalizing confidentiality preservation assessment of multi-model consistency checking systemsBergemann, Sebastian ; Bayha, Andreas ; Zhu, Derui ; Sadeghi, Mohammad ; Atkinson, Colin ; Pretschner, Alexander
BASE:
Bergemann, Sebastian
;
Bayha, Andreas
;
Zhu, Derui
;
Sadeghi, Mohammad
;
Atkinson, Colin
;
Pretschner, Alexander
Google Scholar: Bergemann, Sebastian ; Bayha, Andreas ; Zhu, Derui ; Sadeghi, Mohammad ; Atkinson, Colin ; Pretschner, Alexander ORCID: Bergemann, Sebastian ; Bayha, Andreas ; Zhu, Derui ; Sadeghi, Mohammad ; Atkinson, Colin ORCID: 0000-0002-3164-5595 ; Pretschner, Alexander
|
![]() |
Show item |

Search Authors in
