| 2025 |
— |
conf |
CAV (1)
Jon Stephens, Shankara Pailoor, Isil Dillig
|
| 2025 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Jon Stephens, Shankara Pailoor, Isil Dillig
|
| 2025 |
J |
jnl |
CoRR
Subhasis Dasgupta, Jon Stephens, Amarnath Gupta
|
| 2025 |
— |
conf |
eScience
Jon Stephens, Shruti Sawant, Amarnath Gupta
|
| 2024 |
— |
conf |
ADBIS (Short Papers)
Vaaruni Desai, Yinglan Chi, Jon Stephens, Amarnath Gupta
|
| 2024 |
A* |
conf |
USENIX Security Symposium
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
|
| 2023 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
|
| 2021 |
A* |
conf |
SP
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
|
| 2021 |
J |
jnl |
Proc. ACM Program. Lang.
Kostas Ferles, Jon Stephens, Isil Dillig
|
| 2020 |
J |
jnl |
CoRR
Adarsh Pyarelal, Marco Antonio Valenzuela-Escárcega, Rebecca Sharp, Paul Douglas Hein, Jon Stephens, Pratik Bhandari, HeuiChan Lim, Saumya Debray, Clayton T. Morrison
|
| 2020 |
A* |
conf |
ASE
Jesse Bartels, Jon Stephens, Saumya Debray
|
| 2020 |
J |
jnl |
CoRR
Kostas Ferles, Jon Stephens, Isil Dillig
|
| 2019 |
J |
jnl |
CoRR
Jesse Bartels, Jon Stephens, Saumya Debray
|
| 2018 |
A |
conf |
EuroS&P
Jon Stephens, Babak Yadegari, Christian S. Collberg, Saumya Debray, Carlos Scheidegger
|
| 2017 |
— |
conf |
CODASPY
Babak Yadegari, Jon Stephens, Saumya Debray
|
| 2017 |
— |
conf |
LCPC
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
|