Paper accepted at FSE'26

We are proud that our paper "SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts", has been accepted at ACM International Conference on the Foundations of Software Engineering (FSE) 2026.

@article{FSE26Wu,
  author = {Yinghao Wu and Miaomiao Zhang and Fu Song and John Baugh},
  title = {SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts},
  year = {2026},
  booktitle = {ACM International Conference on the Foundations of Software Engineering (FSE)}
}