Anish Mathuria (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Michiharu Kudo, Anish Mathuria: An Extended Logic for Analyzing Timed-Release Public-Key Protocols. ICICS 1999: 183-198

Selection of 1 from 8 records - Anish Mathuria has 7 coauthors