Sebastian Eggert

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 4

Top Topics

Markov Decision Process

Automated Analysis

Security Policies

Top Venues

Formal Aspects Comput.

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Sebastian Eggert, Frank A. Alexander, Joachim Wiest
Enabling 3D hepatocyte spheroids for microphysiometry. EMBC (2017)
Sebastian Eggert, Ron van der Meyden
Dynamic intransitive noninterference revisited. Formal Aspects Comput. 29 (6) (2017)
Sebastian Eggert, Ron van der Meyden
Dynamic Intransitive Noninterference Revisited. CoRR (2016)
Sebastian Eggert, Frank A. Alexander, Joachim Wiest
An automated microphysiological assay for toxicity evaluation. EMBC (2015)
Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke
Complexity and Unwinding for Intransitive Noninterference. CoRR (2013)
Sebastian Eggert, Henning Schnoor, Thomas Wilke
Noninterference with Local Policies. MFCS (2013)
Sebastian Eggert, Lasse Kliemann, Peter Munstermann, Anand Srivastav
Bipartite Matching in the Semi-streaming Model. Algorithmica 63 (1-2) (2012)
Sebastian Eggert, Henning Schnoor, Thomas Wilke
Dynamic Noninterference: Consistent Policies, Characterizations and Verification CoRR (2012)
Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke
The Complexity of Intransitive Noninterference. IEEE Symposium on Security and Privacy (2011)
Sebastian Eggert, Lasse Kliemann, Anand Srivastav
Bipartite Graph Matchings in the Semi-streaming Model. ESA (2009)