Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol.

Maria Christofi, Aline Gouget

Browse the full SEC paper archive.