Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. In Principles of Security and Trust – 4th International Conference, POST, LNCS, pp. 259–279, 2015.
Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, and Carolyn Talcott. Inferring Executable Models from Formalized Experimental Evidence. In CMSB, LNCS, pp 90-103, 2015.
Carlos Olarte, Vivek Nigam, and Elaine Pimentel. Subexponential concurrent constraint programming. Theoretical Computer Science, 2015. Published Online
Elaine Pimentel, Carlos Olarte, and Vivek Nigam. A Proof Theoretic Study of Soft Concurrent Constraint Programming. TPLP, 14(4-5):649–663, 2014. Details BibTeX Download: [pdf]
Carlos Olarte, Vivek Nigam, and Elaine Pimentel. Dynamic Spaces in Concurrent Constraint Programming. Electr. Notes Theor. Comput. Sci., 305:103–121, 2014. In LSFA
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov. Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput., 238:233–261, 2014.
Yuri Gil Dantas, Vivek Nigam, and Iguatemi E. Fonseca. A Selective Defense for Application Layer DDoS Attacks. In IEEE Joint Intelligence and Security Informatics Conference, JISIC 2014, pp. 75–82, IEEE, 2014.
Nick Benton, Martin Hofmann, and Vivek Nigam. Abstract effects and proof-relevant logical relations. In POPL, pp. 619–632, ACM, 2014.