Login / Signup
Samuel Roth
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Formal Specification
Automatically Detecting
Data Abstraction
High Level
Top Venues
USENIX Security Symposium
Int. J. Bifurc. Chaos
</>
Publications
</>
Jana Dolezelová-Hantáková
,
Zuzana Roth
,
Samuel Roth
On the Weakest Version of Distributional Chaos.
Int. J. Bifurc. Chaos
26 (14) (2016)
Suman Jana
,
Yuan Jochen Kang
,
Samuel Roth
,
Baishakhi Ray
Automatically Detecting Error Handling Bugs Using Error Specifications.
USENIX Security Symposium
(2016)