| Semantic understanding of smart contracts: Executable operational semantics of solidity J Jiao, S Kan, SW Lin, D Sanan, Y Liu, J Sun 2020 IEEE Symposium on Security and Privacy (SP), 1695-1712, 2020 | 97 | 2020 |
| Solving string constraints with regex-dependent functions through transducers with priorities and variables T Chen, A Flores-Lamas, M Hague, Z Han, D Hu, S Kan, AW Lin, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 37 | 2022 |
| Survey on embedded software safety analysis standards, methods and tools for airborne system 黄志球， 徐丙凤， 阚双龙， 胡军， 陈哲 Journal of Software 25 (2), 200-218, 2014 | 28 | 2014 |
| 嵌入式机载软件安全性分析标准, 方法及工具研究综述 黄志球， 徐丙凤， 阚双龙， 胡军， 陈哲 软件学报 25 (2), 200-218, 2014 | 25 | 2014 |
| Detecting memory errors at runtime with source-level instrumentation Z Chen, J Yan, S Kan, J Qian, J Xue Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 23 | 2019 |
| Certistr: a certified string solver S Kan, AW Lin, P Rümmer, M Schrader Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022 | 18 | 2022 |
| Executable operational semantics of Solidity J Jiao, S Kan, SW Lin, D Sanan, Y Liu, J Sun arXiv preprint arXiv:1804.01295, 2018 | 14 | 2018 |
| Partial order reduction for checking LTL formulae with the next-time operator S Kan, Z Huang, Z Chen, W Li, Y Huang Journal of Logic and Computation 27 (4), 1095-1131, 2017 | 13 | 2017 |
| A security type verifier for smart contracts X Hu, Y Zhuang, SW Lin, F Zhang, S Kan, Z Cao Computers & Security 108, 102343, 2021 | 10 | 2021 |
| Specification and verification of a topology-aware access control model for cyber-physical space Y Cao, Z Huang, S Kan, D Fan, Y Yang Tsinghua science and technology 24 (5), 497-519, 2019 | 10 | 2019 |
| K-Rust: An executable formal semantics for Rust S Kan, D Sanán, SW Lin, Y Liu arXiv preprint arXiv:1804.07608, 2018 | 9 | 2018 |
| A better translation from LTL to transition-based generalized Büchi automata W Li, S Kan, Z Huang IEEE Access 5, 27081-27090, 2017 | 8 | 2017 |
| Detecting safety‐related components in statecharts through traceability and model slicing S Kan, Z Huang Software: Practice and Experience 48 (3), 428-448, 2018 | 7 | 2018 |
| K-Rust: An Executable Formal Semantics for Rust. CoRR abs/1804.07608 (2018) S Kan, D Sanán, SW Lin, Y Liu arXiv preprint arXiv:1804.07608, 2018 | 5 | 2018 |
| Traceability and model checking to support safety requirement verification S Kan Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 4 | 2014 |
| An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing S Kan, Z Chen, D Sanan, SW Lin, Y Liu arXiv preprint arXiv:1804.07608, 2018 | 3 | 2018 |
| 面向 DO-333 的襟缝翼控制单元安全性分析 (Safety Analysis of Slat and Flap Control Unit for DO-333). G Chen, Z Huang, Z Chen, S Kan 计算机科学 43 (5), 150-156, 2016 | 3 | 2016 |
| SafeOSL: Ensuring memory safety of C via ownership‐based intermediate language X Yin, Z Huang, S Kan, G Shen, Z Chen, Y Liu, F Wang Software: Practice and Experience 52 (5), 1114-1142, 2022 | 2 | 2022 |
| A refinement-based compiler development for synchronous languages JP Bodeveix, M Filali-Amine, S Kan Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 2 | 2017 |
| Bounded Model Checking of C Programs Using Event Automaton Specifications 阚双龙， 黄志球， 陈哲， 徐丙凤 Journal of Software 25 (11), 2452-2472, 2014 | 2 | 2014 |
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
