research
∙
05/23/2023
Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph
Identifying and mitigating vulnerabilities in smart contracts is crucial...
share
research
∙
12/16/2021
Approximation with one-bit polynomials in Bernstein form
We prove various approximation theorems with polynomials whose coefficie...
research
∙
03/01/2021
Exploring the high dimensional geometry of HSI features
We explore feature space geometries induced by the 3-D Fourier scatterin...
research
∙
05/03/2019
