Tik Hui

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Object Oriented

Operational Semantics

Logic Programming

Statistical Databases

Top Venues

Publications

Zhen Yang, Jacky Keung, Miao Zhang, Yan Xiao, Yangyang Huang, Tik Hui
Smart Contracts Vulnerability Auditing with Multi-semantics. COMPSAC (2020)