Sitemap

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.

Pages

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

Posts

Making a POC

less than 1 minute read

Published:

Click here

Internal Audits

less than 1 minute read

Published:

Click here:

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

publications

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

[Paper]

[Slides]

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

[Paper]

[Slides] [Poster]

Demystifying Exploitable Bugs in Smart Contracts

Accepted to International Conference on Software Engineering (ICSE), 2023

Paper

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)

[Paper]

[Slides]

talks

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!

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

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.