| 2023 | CADE | Incremental Rewriting Modulo SMT. | Gerald Whitters, Vivek Nigam, Carolyn L. Talcott |
| 2023 | ICISSP | Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. | Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schpp |
| 2023 | ICSA | Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. | Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schpp, Vivek Nigam, Pei Ke |
| 2023 | TASE | Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. | Vivek Nigam, Carolyn L. Talcott |
| 2022 | ICTAC | On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. | Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
| 2022 | MODELSWARD | A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. | Yuri Gil Dantas, Tiziano Munaro, Carmen Crlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schpp, Sergey Tverdyshev |
| 2021 | CADE | Proof Search and Certificates for Evidential Transactions. | Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess |
| 2021 | FSCD | Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). | Elaine Pimentel, Carlos Olarte, Vivek Nigam |
| 2021 | ICISSP | On Security Analysis of Periodic Systems: Expressiveness and Complexity. | Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
| 2020 | CADE | Soft Subexponentials and Multiplexing. | Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov |
| 2019 | ETFA | Formal Security Verification of Industry 4.0 Applications. | Vivek Nigam, Carolyn L. Talcott |
| 2019 | FMCAD | TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. | Aellison Cassimiro T. dos Santos, Ben Schneider, Vivek Nigam |
| 2019 | ISSRE | ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. | Carmen Crlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis |
| 2019 | ISSRE | On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. | Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Crlan |
| 2018 | CADE | A Logical Framework with Commutative and Non-commutative Subexponentials. | Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov |
| 2018 | CCS | Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. | Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
| 2018 | SEC | Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. | Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall |
| 2017 | SEC | Slow TCAM Exhaustion DDoS Attack. | Tlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam |
| 2017 | SEFM | A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. | Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito |
| 2016 | ESORICS | Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. | Vivek Nigam, Carolyn L. Talcott, Abrao Aires Urquiza |
| 2016 | PPDP | Effect-dependent transformations for concurrent programs. | Nick Benton, Martin Hofmann, Vivek Nigam |
| 2014 | CADE | Quati: An Automated Tool for Proving Permutation Lemmas. | Vivek Nigam, Giselle Reis, Leonardo Lima |
| 2014 | ISI | A Selective Defense for Application Layer DDoS Attacks. | Yuri Gil Dantas, Vivek Nigam, Iguatemi E. Fonseca |
| 2014 | POPL | Abstract effects and proof-relevant logical relations. | Nick Benton, Martin Hofmann, Vivek Nigam |
| 2013 | CONCUR | A General Proof System for Modalities in Concurrent Constraint Programming. | Vivek Nigam, Carlos Olarte, Elaine Pimentel |
| 2013 | ESORICS | Bounded Memory Protocols and Progressing Collaborative Systems. | Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov |
| 2012 | LICS | On the Complexity of Linear Authorization Logics. | Vivek Nigam |
| 2011 | PPDP | Maintaining distributed logic programs incrementally. | Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov |
| 2010 | LICS | An Operational Semantics for Network Datalog. | Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov |
| 2009 | PPDP | Algorithmic specifications in linear logic with subexponentials. | Vivek Nigam, Dale Miller |
| 2008 | CADE | Focusing in Linear Meta-logic. | Vivek Nigam, Dale Miller |
| 2007 | CSL | Incorporating Tables into Proofs. | Dale Miller, Vivek Nigam |
| 2006 | ISCAS | Compound noise analysis in digital circuits using blind source separation. | Vivek Nigam, Masud H. Chowdhury, Roland Priemer |