Huibo Wang

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 18

Top Topics

Countermeasures

Symbolic Execution

Top Venues

NAACL-HLT (Industry Papers)

Publications

Huibo Wang, Guoxing Chen, Yinqian Zhang, Zhiqiang Lin
Multi-Certificate Attacks against Proof-of-Elapsed-Time and Their Countermeasures. NDSS (2022)
Xue Zhao, Dayiheng Liu, Junwei Ding, Liang Yao, Mahone Yan, Huibo Wang, Wenqing Yao
Self-supervised Product Title Rewrite for Product Listing Ads. NAACL-HLT (Industry Papers) (2022)
Huibo Wang, Dongxing Wang
A Wolf Pack Optimization Algorithm Using RASGS and GBA for Multi-Modal Multi-Objective Problems. Symmetry 14 (12) (2022)
Mengyuan Li, Yinqian Zhang, Huibo Wang, Kang Li, Yueqiang Cheng
CIPHERLEAKS: Breaking Constant-time Cryptography on AMD SEV via the Ciphertext Side Channel. USENIX Security Symposium (2021)
Mengyuan Li, Yinqian Zhang, Huibo Wang, Kang Li, Yueqiang Cheng
TLB Poisoning Attacks on AMD Secure Encrypted Virtualization. ACSAC (2021)
Hui Jin, Huibo Wang, Zhenqun Wu, Zhiwei Ge, Yunan Chen
Numerical investigation of the effect of surface roughness on flow and heat transfer characteristics of single sphere particle in supercritical water. Comput. Math. Appl. 81 (2021)
Huibo Wang
Credit Risk Management of Consumer Finance Based on Big Data. Mob. Inf. Syst. 2021 (2021)
Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo
SpecuSym: speculative symbolic execution for cache timing leak detection. ICSE (2020)
Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang
Exposing cache timing side-channel leaks through out-of-order symbolic execution. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Pei Wang, Yu Ding, Mingshen Sun, Huibo Wang, Tongxin Li, Rundong Zhou, Zhaofeng Chen, Yiming Jing
Building and Maintaining a Third-Party Library Supply Chain for Productive and Secure SGX Enclave Development. CoRR (2020)
Pei Wang, Yu Ding, Mingshen Sun, Huibo Wang, Tongxin Li, Rundong Zhou, Zhaofeng Chen, Yiming Jing
Building and maintaining a third-party library supply chain for productive and secure SGX enclave development. ICSE (SEIP) (2020)
Huibo Wang, Mingshen Sun, Qian Feng, Pei Wang, Tongxin Li, Yu Ding
Towards Memory Safe Python Enclave for Security Sensitive Computation. CoRR (2020)
Dongxing Wang, Huibo Wang, Xiaojuan Ban, Xu Qian, Jingxiu Ni
An Adaptive, Discrete Space Oriented Wolf Pack Optimization Algorithm for a Movable Wireless Sensor Network. Sensors 19 (19) (2019)
Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection. CoRR (2019)
Huibo Wang, Erick Bauman, Vishal Karande, Zhiqiang Lin, Yueqiang Cheng, Yinqian Zhang
Running Language Interpreters Inside SGX: A Lightweight, Legacy-Compatible Script Code Hardening Approach. AsiaCCS (2019)
Huibo Wang, Pei Wang, Yu Ding, Mingshen Sun, Yiming Jing, Ran Duan, Long Li, Yulong Zhang, Tao Wei, Zhiqiang Lin
Towards Memory Safe Enclave Programming with Rust-SGX. CCS (2019)
Erick Bauman, Huibo Wang, Mingwei Zhang, Zhiqiang Lin
SGXElide: enabling enclave code secrecy via self-modification. CGO (2018)
Yu Ding, Ran Duan, Long Li, Yueqiang Cheng, Yulong Zhang, Tanghui Chen, Tao Wei, Huibo Wang
POSTER: Rust SGX SDK: Towards Memory Safety in Intel SGX Enclave. CCS (2017)
Mingjin Zhang, Huibo Wang, Yun Lu, Tao Li, Yudong Guang, Chang Liu, Erik Edrosa, Hongtai Li, Naphtali Rishe
TerraFly GeoCloud: An Online Spatial Data Analysis and Visualization System. ACM Trans. Intell. Syst. Technol. 6 (3) (2015)
Chunqiu Zeng, Hongtai Li, Huibo Wang, Yudong Guang, Chang Liu, Tao Li, Mingjin Zhang, Shu-Ching Chen, Naphtali Rishe
Optimizing online spatial data analysis with sequential query patterns. IRI (2014)
Huibo Wang, Yun Lu, Yudong Guang, Erik Edrosa, Mingjin Zhang, Raul Camarca, Yelena Yesha, Tajana Lucic, Naphtali Rishe
Epidemiological Data Analysis in TerraFly Geo-spatial Cloud. ICMLA (2) (2013)