Statistics
Publications
3
Citations
80
H-Index
3
Active since
2018
Affiliations
The University of Texas at Austin(Current)
Jon Stephens is an author at The University of Texas at Austin specializing in computer science, computing, and computer engineering.
Publications per year
2018–2021
3
3
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Jon Stephens, Kostas Ferles, Benjamin Mariano et al. · 2021 · 55 citations
Probabilistic Obfuscation Through Covert Channels
Jon Stephens, Babak Yadegari, Christian Collberg et al. · 2018 · 14 citations
1–3 of 3