Page Not Found
Page not found. Your pixels are in another canvas.
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Page Not Found
Page not found. Your pixels are in another canvas.
About me
About me
Archive Layout with Content
Posts by Category
Posts by Collection
CV
Markdown
Page not in menu
This is a page not in th emain menu
Page Archive
Portfolio
Publications
Sitemap
Posts by Tags
Talk map
Talks and presentations
Teaching
Terms and Privacy Policy
Blog posts
Jupyter notebook markdown generator
Making a POC
Published:
Internal Audits
Published:
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
Achieving Model Accuracy and Robustness by Adversarial Training with Batch Normalization
Accepted to International Conference on Tools with Artificial Intelligence (ICTAI), 2022
We propose a novel adversarial training method called norm shaping, in which a model always uses batch norms in both adversarial training and inference.
Authors: Brian Zhang, Shiqing Ma
A Systematic Study of Recent Smart Contract Vulnerabilities
Accepted to Crypto Economics Security Conference (CESC), 2022
In this paper, we study a large set of 502 unique exploitable bugs from 158 real-world contracts reported/exploited in the past year or so and aim to summarize their root causes and distributions.
Authors: Zhuo Zhang (co-first), Brian Zhang (co-first), Wen Xu, Zhiqiang Lin
Demystifying Exploitable Bugs in Smart Contracts
Accepted to International Conference on Software Engineering (ICSE), 2023
Authors: Zhuo Zhang, Brian Zhang, Wen Xu, Zhiqiang Lin
Towards Finding Accounting Errors in Smart Contracts
Accepted to International Conference on Software Engineering 2024 (ICSE), 2024
In this paper, we motivate the detection of accounting errors in smart contracts by introducing an automated tool which utilized refinement types for type checking. The tool outperforms current state-of-the-art tools.
Authors: Brian Zhang (solo)
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Tutorial 1 on Relevant Topic in Your Field
Published:
Talk 2 on Relevant Topic in Your Field
Published:
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.