Mark Silberstein
3 papers in the PaperMetrix corpus
Papers by this author
-
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface
2019 · arXiv (Cornell University)
SpecFuzz is the first tool that enables dynamic testing for speculative execution vulnerabilities (e.g., Spectre). The key is a novel concept of speculation exposure: The program is instrumented to simulate speculative execution in software by …
-
Computational integrity with a public random string from quasi-linear PCPs.
2016
A party executing a computation on behalf of others may benefit from misreporting its output. Cryptographic protocols that detect this can facilitate decentralized systems with stringent computational integrity requirements. For the computation’s result to be …
-
RFSeek and Ye Shall Find
2025 · arXiv (Cornell University)
Requests for Comments (RFCs) are extensive specification documents for network protocols, but their prose-based format and their considerable length often impede precise operational understanding. We present RFSeek, an interactive tool that automatically extracts visual summaries …