Smartpulse: Automated checking of temporal properties in smart contracts J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig 2021 IEEE Symposium on Security and Privacy (SP), 555-571, 2021 | 50 | 2021 |
Probabilistic obfuscation through covert channels J Stephens, B Yadegari, C Collberg, S Debray, C Scheidegger 2018 IEEE European Symposium on Security and Privacy (EuroS&P), 243-257, 2018 | 16 | 2018 |
Analysis of exception-based control transfers B Yadegari, J Stephens, S Debray Proceedings of the Seventh ACM on Conference on Data and Application …, 2017 | 11 | 2017 |
Verifying correct usage of context-free API protocols K Ferles, J Stephens, I Dillig Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021 | 10 | 2021 |
Practical Security Analysis of Zero-Knowledge Proof Circuits. H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ... IACR Cryptol. ePrint Arch. 2023, 190, 2023 | 6 | 2023 |
AutoMATES: Automated Model Assembly from Text, Equations, and Software A Pyarelal, MA Valenzuela-Escárcega, R Sharp, PD Hein, J Stephens, ... arXiv preprint arXiv:2001.07295, 2020 | 4 | 2020 |
Language-Agnostic Optimization and Parallelization for Interpreted Languages MM Strout, S Debray, K Isaacs, B Kreaseck, J Cárdenas-Rodríguez, ... Languages and Compilers for Parallel Computing: 30th International Workshop …, 2019 | 3 | 2019 |
Representing and Reasoning about Dynamic Code J Bartels, J Stephens, S Debray 2020 35th IEEE/ACM International Conference on Automated Software …, 2020 | 1 | 2020 |
Verifying Correct Usage of Context-Free API Protocols (Extended Version) K Ferles, J Stephens, I Dillig arXiv preprint arXiv:2010.09652, 2020 | | 2020 |
Enabling Specialization for Dynamic Programming Languages J Stephens The University of Arizona., 2018 | | 2018 |
Environmental Monitoring Detector JONB STEPHENS The University of Arizona., 2016 | | 2016 |
CONNECTED LIGHTING SYSTEM USING POWER OVER ETHERNET JB Stephens, M Palomer, D Papajohn, C Quevedo, P Seid, A Sheesley The University of Arizona., 2016 | | 2016 |