Zhiyuan Chen
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Software Eng.×2Crypto×2Quantum Physics×1
Frequent co-authors
Research Timeline
2026
Do Privacy Policies Match with the Logs? An Empirical Study of Privacy Disclosure in Android Application Logs
This study empirically analyzed 1,000 Android apps, finding that privacy policies are often vague and frequently fail to align with the actual sensitive data logged by the applications.
Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp
The paper introduces a semantics-first verification framework for an implemented Shor oracle for ECDLP in Qrisp, demonstrating that even seemingly correct implementations can fail due to subtle control law violations.
Highlighted terms show continued research focus across papers
Papers
cs.SEcs.CRquant-phRecentMay 1, 2026
Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp
The paper introduces a semantics-first verification framework for an implemented Shor oracle for ECDLP in Qrisp, demonstrating that even seemingly correct implementations can fail due to subtle contro…
View →
cs.CRcs.SERecentApr 20, 2026