author : Kapali Viswanathan

Short works

• Towards a formal specification of the Bellare-Rogaway model for protocol analysis. 2003. (In Formal Aspects of Security )