Formal Verification of a Keystore.

Jaap Boender, Goran Badevic

Browse the full TASE paper archive.