Formal Analysis Framework for E2EE Protocols.

Yu Wang, Xiaofeng Liu, Yu Hou, Chengyu Hu, Shanqing Guo

Browse the full AsiaCCS paper archive.