Jon Stephens

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Attribute Grammars

Security Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium (2024)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. IEEE Symposium on Security and Privacy (2021)
Kostas Ferles, Jon Stephens, Isil Dillig
Verifying correct usage of context-free API protocols. Proc. ACM Program. Lang. 5 (POPL) (2021)
Kostas Ferles, Jon Stephens, Isil Dillig
Verifying Correct Usage of Context-Free API Protocols (Extended Version). CoRR (2020)
Jesse Bartels, Jon Stephens, Saumya Debray
Representing and Reasoning about Dynamic Code. ASE (2020)
Adarsh Pyarelal, Marco Antonio Valenzuela-Escárcega, Rebecca Sharp, Paul Douglas Hein, Jon Stephens, Pratik Bhandari, HeuiChan Lim, Saumya Debray, Clayton T. Morrison
AutoMATES: Automated Model Assembly from Text, Equations, and Software. CoRR (2020)
Jesse Bartels, Jon Stephens, Saumya Debray
Representing and Reasoning about Dynamic Code. CoRR (2019)
Jon Stephens, Babak Yadegari, Christian S. Collberg, Saumya Debray, Carlos Scheidegger
Probabilistic Obfuscation Through Covert Channels. EuroS&P (2018)
Babak Yadegari, Jon Stephens, Saumya Debray
Analysis of Exception-Based Control Transfers. CODASPY (2017)
Michelle Mills Strout, Saumya Debray, Kate Isaacs, Barbara Kreaseck, Julio Cárdenas-Rodríguez, Bonnie L. Hurwitz, Kat Volk, Sam Badger, Jesse Bartels, Ian J. Bertolacci, Sabin Devkota, Anthony Encinas, Benjamin Gaska, Brandon Neth, Theo Sackos, Jon Stephens, Sarah Willer, Babak Yadegari
Language-Agnostic Optimization and Parallelization for Interpreted Languages. LCPC (2017)