Statistics
Publications
5
Citations
161
H-Index
5
Active since
2018
Shuanglong Kan is an author at University of Kaiserslautern specializing in computer science, engineering, and formal methods.
Publications per year
2018–2022
5
5
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
Jiao Jiao, Shuanglong Kan, Shang‐Wei Lin et al. · 2020 · 87 citations · Full text
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague et al. · Proceedings of the ACM on Programming Languages · 2022 · 34 citations · Full text
Mathematical Programming, Formal Language Theory, Engineering +23
CertiStr: a certified string solver
Shuanglong Kan, Anthony W. Lin, Philipp Rümmer et al. · 2022 · 17 citations · Full text
A security type verifier for smart contracts
Xinwen Hu, Yi Zhuang, Shang‐Wei Lin et al. · Computers & Security · 2021 · 13 citations
Executable Operational Semantics of Solidity
Jiao Jiao, Shuanglong Kan, Shang‐Wei Lin et al. · arXiv (Cornell University) · 2018 · 10 citations · Full text
Engineering, Software Engineering, Structural Operational Semantics +22
1–5 of 5