Samuel Roth

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 2

Top Topics

Formal Specification

Automatically Detecting

Data Abstraction

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)