Suvansh Lal

According to our database, Suvansh Lal authored at least 2 papers in 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Approaches to Formal Verification of Security Protocols

Suvansh Lal, Mohit Jain, Vikrant Chaplot

CoRR, 2011

A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol

Suvansh Lal

CoRR, 2011