Xiaowei Li
Chinese Academy of Sciences(CN)Institute of Computing Technology(CN)University of Chinese Academy of Sciences(CN)
Research Areas
Formal Methods in Verification, Cryptography and Data Security, Low-power high-performance VLSI design, Software Testing and Debugging Techniques, Cryptographic Implementations and Security