Ashley J. Chen

According to our database, Ashley J. Chen authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions.

Nikolaj S. Bjørner, Ashley J. Chen, Shuo Chen, Yang Chen, Zhongxin Guo, Tzu-Han Hsu, Peng Liu, Nanqing Luo

CoRR, 2024