https://franklinliu.github.io/portfolio/portfolio-1/ https://franklinliu.github.io/portfolio/portfolio-2/ https://franklinliu.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://franklinliu.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://franklinliu.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://franklinliu.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://franklinliu.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://franklinliu.github.io/publication/2018-01-01-Contractfuzzer-Fuzzing-smart-contracts-for-vulnerability-detection 2018-01-01T00:00:00-08:00 https://franklinliu.github.io/publication/2020-01-01-ModCon-a-model-based-testing-platform-for-smart-contracts 2020-01-01T00:00:00-08:00 https://franklinliu.github.io/publication/2020-01-01-Oracle-supported-dynamic-exploit-generation-for-smart-contracts 2020-01-01T00:00:00-08:00 https://franklinliu.github.io/publication/2020-11-01-Towards-Automated-Verification-of-Smart-Contract-Fairness 2020-11-01T00:00:00-07:00 https://franklinliu.github.io/publication/2022-01-01-Finding-Permission-Bugs-in-Smart-Contracts-with-Role-Mining 2022-01-01T00:00:00-08:00 https://franklinliu.github.io/publication/2022-10-01-A-Unified-Specification-Mining-Framework-for-Smart-Contracts 2022-10-01T00:00:00-07:00 https://franklinliu.github.io/publication/2022-10-01-Identifying-Solidity-Smart-Contract-API-Documentation-Errors 2022-10-01T00:00:00-07:00 https://franklinliu.github.io/publication/2022-10-01-InvCon-A-Dynamic-Invariant-Detector-for-Ethereum-Smart-Contracts 2022-10-01T00:00:00-07:00 https://franklinliu.github.io/publication/2022-11-01-SolSEE-A-Source-Level-Symbolic-Execution-Engine-for-Solidity 2022-11-01T00:00:00-07:00 https://franklinliu.github.io/publication/2024-06-01-Demystifying-Invariant-Effectiveness-for-Securing-Smart-Contracts 2024-06-01T00:00:00-07:00 https://franklinliu.github.io/talks/2025-12-08-talk 2025-12-08T00:00:00-08:00 https://franklinliu.github.io/teaching/2019-CZ2002-8-1 2019-08-01T00:00:00-07:00 https://franklinliu.github.io/teaching/2019-CZ2006-8-1 2019-08-01T00:00:00-07:00 https://franklinliu.github.io/teaching/2020-CE2006-1-1 2020-01-01T00:00:00-08:00 https://franklinliu.github.io/ https://franklinliu.github.io/archive-layout-with-content/ https://franklinliu.github.io/categories/ https://franklinliu.github.io/collection-archive/ https://franklinliu.github.io/cv/ https://franklinliu.github.io/markdown/ https://franklinliu.github.io/non-menu-page/ https://franklinliu.github.io/page-archive/ https://franklinliu.github.io/portfolio/ https://franklinliu.github.io/publications/ https://franklinliu.github.io/sitemap/ https://franklinliu.github.io/tags/ https://franklinliu.github.io/talkmap.html https://franklinliu.github.io/talks/ https://franklinliu.github.io/teaching/ https://franklinliu.github.io/terms/ https://franklinliu.github.io/year-archive/ https://franklinliu.github.io/markdown_generator/ https://franklinliu.github.io/files/1807.03932.pdf 2026-04-01T22:02:59-07:00 https://franklinliu.github.io/files/NTU%20Academic%20Calendar_AY2019-20%20(Semester).pdf 2026-04-01T22:02:59-07:00 https://franklinliu.github.io/files/invcon-ase.pdf 2026-04-01T22:02:59-07:00 https://franklinliu.github.io/files/specframework-ase.pdf 2026-04-01T22:02:59-07:00 https://franklinliu.github.io/talkmap/map.html 2026-04-01T22:02:59-07:00