Formal Analysis of IBC Protocol.

Qiuyang Wei, Xufeng Zhao, Xue-Yang Zhu, Wenhui Zhang

Browse the full ICNP paper archive.