( en | de | ru )

 

Disambiguierung von "Baumann, Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Compositional Information Flow Aware Refinement.

, , , und . CSF, Seite 1-16. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christoph Baumann

Christoph Baumann

Christoph Baumann

Christoph Baumann

Christoph Baumann

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploring the Environmental Benefits of In-Process Isolation for Software Resilience., , , und . DSN-S, Seite 203-205. IEEE, (2023)A Case Study in Information Flow Refinement for Low Level Systems., , , , und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 54-79. Springer, (2022)Performance Analysis and Optimizations of ERO2.0 Fusion Code., , , , und . PASC, Seite 18:1-18:11. ACM, (2024)Zero-Cost In-Depth Enforcement of Network Policies for Low-Latency Cloud-Native Systems., , , , und . CLOUD, Seite 249-261. IEEE, (2023)Network Policies in Kubernetes: Performance Evaluation and Security Analysis., , , , und . EuCNC/6G Summit, Seite 407-412. IEEE, (2021)Compositional Verification of Security Properties for Embedded Execution Platforms., , und . PROOFS, Volume 49 von EPiC Series in Computing, Seite 1-16. EasyChair, (2017)Film in der Hochschullehre, und . (2015)End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs., , , , , , und . ACM Trans. Priv. Secur., 26 (3): 39:1-39:46 (August 2023)Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust., , , und . SecDev, Seite 54-66. IEEE, (2023)Efficient and Timely Revocation of V2X Credentials., , , , und . NDSS, The Internet Society, (2024)