Sebastian Eggert

According to our database, Sebastian Eggert authored at least 10 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Dynamic intransitive noninterference revisited.

Sebastian Eggert, Ron van der Meyden

Formal Aspects Comput., 2017

Enabling 3D hepatocyte spheroids for microphysiometry.

Sebastian Eggert, Frank A. Alexander, Joachim Wiest

Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

2015

An automated microphysiological assay for toxicity evaluation.

Sebastian Eggert, Frank A. Alexander, Joachim Wiest

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2014

Security via Noninterference - Analyzing Information Flows.

Sebastian Eggert

PhD thesis, 2014

2013

Complexity and Unwinding for Intransitive Noninterference.

Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke

CoRR, 2013

Noninterference with Local Policies.

Sebastian Eggert, Henning Schnoor, Thomas Wilke

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012

Dynamic Noninterference: Consistent Policies, Characterizations and Verification

Sebastian Eggert, Henning Schnoor, Thomas Wilke

CoRR, 2012

Bipartite Matching in the Semi-streaming Model.

Sebastian Eggert, Lasse Kliemann, Peter Munstermann, Anand Srivastav

Algorithmica, 2012

2011

The Complexity of Intransitive Noninterference.

Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

2009

Bipartite Graph Matchings in the Semi-streaming Model.

Sebastian Eggert, Lasse Kliemann, Anand Srivastav

Proceedings of the Algorithms, 2009