research
∙
09/05/2023
A study on the impact of pre-trained model on Just-In-Time defect prediction
Previous researchers conducting Just-In-Time (JIT) defect prediction tas...
share
research
∙
08/01/2023
A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models
Patch robustness certification ensures no patch within a given bound on ...
research
∙
07/30/2020
WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection
Many popular blockchain platforms are supporting smart contracts for bui...
research
∙
07/29/2020
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection
EOSIO is one typical public blockchain platform. It is scalable in terms...
research
∙
07/11/2018