Formal Modeling of Random Oracle Programmability and Verification of Signature Unforgeability Using Task-PIOAs.

Kazuki Yoneyama

Browse the full ICISC paper archive.