Vivek Nigam

Identifiers

• name variant Vivek Nigam 0.60 · backfill

Papers (9)

1. Compliance in Real Time Multiset Rewriting Models cs.CC · 2018 · author #3
2. Model-Based Safety and Security Engineering cs.LO · 2018 · author #1
3. Symbolic Timed Observational Equivalence cs.LO · 2018 · author #1
4. On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks cs.NI · 2017 · author #4
5. Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols cs.LO · 2017 · author #3
6. Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders cs.CR · 2016 · author #1
7. Towards the Automated Generation of Focused Proof Systems cs.LO · 2015 · author #1
8. Effect-Dependent Transformations for Concurrent Programs cs.PL · 2015 · author #3
9. Abstract Effects and Proof-Relevant Logical Relations cs.PL · 2012 · author #3

Mentions

• 1511.04177 #1 · backfill · confidence 0.70 Vivek Nigam
• 1510.02419 #3 · backfill · confidence 0.70 Vivek Nigam
• 1212.5692 #3 · backfill · confidence 0.70 Vivek Nigam

Frequent Coauthors

• Carolyn Talcott 4 shared papers
• Andre Scedrov 2 shared papers
• Martin Hofmann 2 shared papers
• Max Kanovich 2 shared papers
• Nick Benton 2 shared papers
• Tajana Ban Kirigin 2 shared papers
• Abr\~aao Aires Urquiza 1 shared papers
• Abra\~ao Aires Urquiza 1 shared papers
• Alexander Pretschner 1 shared papers
• Giselle Reis 1 shared papers
• Harald Ruess 1 shared papers
• Iguatemi E. Fonseca 1 shared papers
• Leonardo Lima 1 shared papers
• Marcilio O. O. Lemos 1 shared papers
• Yuri Gil Dantas 1 shared papers