Suvansh Lal

Identifiers

• name variant Suvansh Lal 0.60 · backfill

Papers (2)

1. Approaches to Formal Verification of Security Protocols cs.CR · 2011 · author #1
2. A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol cs.CR · 2011 · author #1

Mentions

• 1101.1815 #1 · backfill · confidence 0.70 Suvansh Lal
• 1101.1814 #1 · backfill · confidence 0.70 Suvansh Lal

Frequent Coauthors

• Mohit Jain 1 shared papers
• Vikrant Chaplot 1 shared papers