Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs.
CoRR, 2024
Towards Understanding Crypto-Asset Risks on Ethereum Caused by Key Leakage on the Internet.
Proceedings of the Companion Proceedings of the ACM on Web Conference 2024, 2024
Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolized Stateful Fuzzing.
Proceedings of the 33rd USENIX Security Symposium, 2024
Towards Saving Blockchain Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations.
IEEE Trans. Software Eng., April, 2023
Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolic Fuzzing.
CoRR, 2023
Understanding the Security Risks of Decentralized Exchanges by Uncovering Unfair Trades in the Wild.
Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023
Efficiently Hardening SGX Enclaves against Memory Access Pattern Attacks via Dynamic Program Partitioning.
CoRR, 2022
Enabling Cost-Effective Blockchain Applications via Workload-Adaptive Transaction Execution.
CoRR, 2022
APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Poster: Enabling Cost-Effective Blockchain Applications via Workload-Adaptive Transaction Execution.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
iBatch: Saving Ethereum Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations.
CoRR, 2021
iBatch: saving Ethereum fees via secure and cost-effective batching of smart-contract invocations.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
TopoShot: uncovering Ethereum's network topology leveraging replacement transactions.
Proceedings of the IMC '21: ACM Internet Measurement Conference, 2021
DETER: Denial of Ethereum Txpool sERvices.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
Scalable Log Auditing on Private Blockchains via Lightweight Log-Fork Prevention.
Proceedings of the 4th Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, 2020