Haoyi Zeng
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Crypto×1Logic×1
Frequent co-authors
Research Timeline
2026
A Deductive System for Contract Satisfaction Proofs
The paper develops a novel, sound, and complete deductive proof system for proving contract satisfaction, which is crucial for verifying CPU security against side-channel attacks.
Highlighted terms show continued research focus across papers