Jon Stephens

According to our database, Jon Stephens authored at least 12 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

OLG++: A Semantic Extension of Obligation Logic Graph.

Subhasis Dasgupta, Jon Stephens, Amarnath Gupta

CoRR, July, 2025

Automated Verification of Consistency in Zero-Knowledge Proof Circuits.

Jon Stephens, Shankara Pailoor, Isil Dillig

IACR Cryptol. ePrint Arch., 2025

2024

Building Model-Driven Knowledge Graphs via Large Language Models.

Vaaruni Desai, Yinglan Chi, Jon Stephens, Amarnath Gupta

Proceedings of the New Trends in Database and Information Systems, 2024

2023

Practical Security Analysis of Zero-Knowledge Proof Circuits.

Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng

IACR Cryptol. ePrint Arch., 2023

2021

Verifying correct usage of context-free API protocols.

Kostas Ferles, Jon Stephens, Isil Dillig

Proc. ACM Program. Lang., 2021

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.

Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Verifying Correct Usage of Context-Free API Protocols (Extended Version).

Kostas Ferles, Jon Stephens, Isil Dillig

CoRR, 2020

AutoMATES: Automated Model Assembly from Text, Equations, and Software.

Adarsh Pyarelal, Marco Antonio Valenzuela-Escárcega, Rebecca Sharp, Paul Douglas Hein, Jon Stephens, Pratik Bhandari, HeuiChan Lim, Saumya Debray, Clayton T. Morrison

CoRR, 2020

Representing and Reasoning about Dynamic Code.

Jesse Bartels, Jon Stephens, Saumya Debray

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2018

Probabilistic Obfuscation Through Covert Channels.

Jon Stephens, Babak Yadegari, Christian S. Collberg, Saumya Debray, Carlos Scheidegger

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017

Language-Agnostic Optimization and Parallelization for Interpreted Languages.

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

Proceedings of the Languages and Compilers for Parallel Computing, 2017

Analysis of Exception-Based Control Transfers.

Babak Yadegari, Jon Stephens, Saumya Debray

Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017