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/A%20Comprehensive%20Study%20of%20Governance%20Issues%20in%20Decentralized%20Finance%20Applications.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/A%20Unified%20Specification%20Mining%20Framework%20for%20Smart%20Contracts.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/ACFIX-Guiding%20LLMs%20With%20Mined%20Common%20RBAC%20Practices%20for%20Context-Aware%20Repair%20of%20Access%20Control%20Vulnerabilities%20in%20Smart%20Contracts.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Advanced_Smart_Contract_Vulnerability_Detection_via_LLM-Powered_Multi-Agent_Systems.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/AgentGuard_%20An%20active%20threat%20discovery%20system%20for%20package%20confusi.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Automated%20Invariant%20Generation%20for%20Solidity%20Smart%20Contracts.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Automated_TEE_Adaptation_With_LLMs_Identifying_Transforming_and_Porting_Sensitive_Functions_in_Programs.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/ContractFuzzer-Fuzzing%20Smart%20Contracts%20for%20Vulnerability%20Detection.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/DeFort-%20Automatic%20Detection%20and%20Analysis%20of%20Price%20Manipulation%20A%1Dttacks%20in%20DeFi%20Applications.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Demystifying%20Invariant%20Effectiveness%20for%20Securing%20Smart%20Contracts.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Detecting%20Various%20DeFi%20Price%20Manipulations%20with%20LLM%20Reasoning.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Finding%20permission%20bugs%20in%20smart%20contracts%20with%20role%20mining.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Identifying%20Solidity%20Smart%20Contract%20API%20Documentation%20Errors.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/InvCon-A%20Dynamic%20Invariant%20Detector%20for%20Ethereum%20Smart%20Contracts.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/ModCon-A%20Model-Based%20Testing%20Platform%20for%20Smart%20Contracts.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/OpenTracer-%20A%20Dynamic%20Transaction%20Trace%20Analyzer%20for%20Smart%20Contract%20Invariant%20Generation%20and%20Beyond.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Oracle-Supported_Dynamic_Exploit_Generation_for_Smart_Contracts.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Phantom%20Events-%20Demystifying%20the%20Issues%20of%20Log%20Forgery%20in%20Blockchain.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/PropertyGPT-LLM-driven%20Formal%20Verification%20of%20Smart%20Contracts%20through%20Retrieval-Augmented%20Property%20Generation.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Resisting_Poisoning_Attacks_in_Federated_Learning_via_Dual-Domain_Distance_and_Trust_Assessment.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Smart%20Contract%20Fuzzing%20Towards%20Profitable%20Vulnerabilities.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/SolSEE-A%20Source-Level%20Symbolic%20Execution%20Engine%20for%20Solidity.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Specification_Mining_for_Smart_Contracts_with_Trace_Slicing_and_Predicate_Abstraction.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Towards%20automated%20verification%20of%20smart%20contract%20fairness.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/Towards_Secure_Program_Partitioning_for_Smart_Contracts_With_LLMs_In-Context_Learning.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/What%20You%20Trust%20Is%20Insecure-%20Demystifying%20How%20Developers%20(Mis)Use%20Trusted%20Execution%20Environments%20in%20Practice.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/arxiv/Automated%20TEE%20Adaptation%20with%20LLMs-%20Identifying,%20Transforming,%20and%20Porting%20Sensitive%20Functions%20in%20Programs.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/arxiv/DITING-%20A%20Static%20Analyzer%20for%20Identifying%20Bad%20Partitioning%20Issues%20in%20TEE%20Applications.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/files/arxiv/LLMs-Understanding%20Code%20Syntax%20and%20Semantics%20for%20Code%20Analysis.pdf 2026-06-05T02:29:53-07:00 https://franklinliu.github.io/talkmap/map.html 2026-06-05T02:29:54-07:00