​
Login / Signup
Yan Ji
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Formal Proof
Adaptive Learning
Automated Theorem Provers
Fuzzy Classifier
Top Venues
IACR Cryptol. ePrint Arch.
CoRR
Financial Cryptography Workshops
CCS
</>
Publications
</>
Foteini Baldimtsi
,
Konstantinos Kryptos Chalkias
,
Yan Ji
,
Jonas Lindstrøm
,
Deepak Maram
,
Ben Riva
,
Arnab Roy
,
Mahdi Sedaghat
,
Joy Wang
zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials.
CoRR
(2024)
Kushal Babel
,
Nerla Jean-Louis
,
Yan Ji
,
Ujval Misra
,
Mahimna Kelkar
,
Kosala Yapa Mudiyanselage
,
Andrew Miller
,
Ari Juels
PROF: Protected Order Flow in a Profit-Seeking World.
IACR Cryptol. ePrint Arch.
2024 (2024)
Kushal Babel
,
Mojan Javaheripi
,
Yan Ji
,
Mahimna Kelkar
,
Farinaz Koushanfar
,
Ari Juels
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning.
IACR Cryptol. ePrint Arch.
2023 (2023)
Kushal Babel
,
Mojan Javaheripi
,
Yan Ji
,
Mahimna Kelkar
,
Farinaz Koushanfar
,
Ari Juels
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning.
CCS
(2023)
Konstantinos Chalkias
,
Panagiotis Chatzigiannis
,
Yan Ji
Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges.
Financial Cryptography Workshops
(2022)