Login / Signup
David Dworken
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 3
Top Topics
Predicate Calculus
Security Patterns
World Wide
Formal Model
Top Venues
CoRR
AsiaCCS
ACSAC
</>
Publications
</>
Tom van Goethem
,
Gertjan Franken
,
Iskander Sánchez-Rola
,
David Dworken
,
Wouter Joosen
SoK: Exploring Current and Future Research Directions on XS-Leaks through an Extended Formal Model.
AsiaCCS
(2022)
Akshaya Mani
,
Tavish Vaidya
,
David Dworken
,
Micah Sherr
An Extensive Evaluation of the Internet's Open Proxies.
CoRR
(2018)
Akshaya Mani
,
Tavish Vaidya
,
David Dworken
,
Micah Sherr
An Extensive Evaluation of the Internet's Open Proxies.
ACSAC
(2018)