Sign in
Yan Ji
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Fuzzy Classifier
Automated Theorem Provers
Formal Proof
Concept Maps
Top Venues
CoRR
Financial Cryptography Workshops
IACR Cryptol. ePrint Arch.
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
,
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)