Login / Signup
Carsten Varming
Publication Activity (10 Years)
Years Active: 2008-2020
Publications (10 Years): 5
Top Topics
Trust Negotiation
Access Control Policies
Fine Grained
Automated Reasoning
Top Venues
CAV (2)
CAV (1)
IEEE Softw.
ESEC/SIGSOFT FSE
</>
Publications
</>