Formal Verification of Labyrinth Encrypted Message Storage Protocol in Messenger.

Kakeru Watanabe, Kazuki Yoneyama

Browse the full WISA paper archive.