Huawei Li

HEAT: A Hybrid Homomorphic Encryption Framework for Secure and Efficient Algorithmic Trading Strategy Hosting

With the rise of algorithmic trading, code-hosting platforms such as TradingView have become increasingly popular for strategy development and deployment. However, these platforms typically store and execute user-submitted strategies in plaintext, which introduces significant risks of data leakage. While fully homomorp...

IGBFuzz: Unified RTL Security Fuzzing via Graph-Aware Bandit Scheduling

E-ALS: Approximation-Potential-Aware E-Graph Rewriting for Approximate Logic Synthesis

Approximate logic synthesis (ALS) improves circuit power, performance, and area by trading exact correctness for bounded functional error. However, existing structural ALS methods largely overlook structural bias: even functionally equivalent netlists can expose markedly different approximation opportunities and lead t...

An Efficient Fault-Tolerance Scheme for CKKS Computation on CPUs

This work presents an efficient fault-tolerance scheme for CPU-based CKKS computation that achieves a 100 percent empirical detection rate across 150,000 non-crashing corrupted-result cases and maintains application accuracy close to the fault-free baseline over a wide range of fault rates.

Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse

Rtl2lean is presented, a framework that automatically translates RTL designs into executable Lean 4 models and builds a hierarchical theorem library for subsequent verification and demonstrates that Rtl2lean can construct machine checked RTL proof libraries with low checking overhead and substantial cross property lemm...