Login / Signup
Manuel Töws
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 3
Top Topics
Public Key Infrastructure
Multi Context Systems
Information Flows
Completely Independent
Top Venues
ICFEM
ICTAC
</>
Publications
</>
Manuel Töws
,
Heike Wehrheim
Information Flow Certificates.
ICTAC
(2018)
Manuel Töws
,
Heike Wehrheim
Policy Dependent and Independent Information Flow Analyses.
ICFEM
(2017)
Manuel Töws
,
Heike Wehrheim
A CEGAR Scheme for Information Flow Analysis.
ICFEM
(2016)