Vivek Nigam

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 74

Top Venues

Publications

Hezhen Liu, Chengqiang Huang, Ke Sun, Jiacheng Yin, Xiaoyu Wu, Jin Wang, Qunli Zhang, Yang Zheng, Vivek Nigam, Feng Liu, Joseph Sifakis
Design for dependability - State of the art and trends. J. Syst. Softw. 211 (2024)
Tatiana Chuprina, Daniel Méndez, Vivek Nigam, Marina Reich, Andreas Schweiger
Towards an Approach to Pattern-based Domain-Specific Requirements Engineering. CoRR (2024)
Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp
A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design. SN Comput. Sci. 5 (5) (2024)
Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam, Pei Ke
Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. ICSA-C (2023)
Aellison Cassimiro T. dos Santos, José L. Soares Filho, Ávilla Í. S. Silva, Vivek Nigam, Iguatemi E. Fonseca
BLE injection-free attack: a novel attack on bluetooth low energy devices. J. Ambient Intell. Humaniz. Comput. 14 (5) (2023)
Vivek Nigam, Carolyn L. Talcott
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. CoRR (2023)
Vivek Nigam, Carolyn L. Talcott
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. TASE (2023)
Yuri Gil Dantas, Vivek Nigam
Automating Safety and Security Co-design through Semantically Rich Architecture Patterns. ACM Trans. Cyber Phys. Syst. 7 (1) (2023)
Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. ICISSP (2023)
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. 4 (4) (2023)
Gerald Whitters, Vivek Nigam, Carolyn L. Talcott
Incremental Rewriting Modulo SMT. CADE (2023)
Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology. CoRR (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Security and Complexity of Periodic Systems. SN Comput. Sci. 3 (5) (2022)
Vivek Nigam, Carolyn L. Talcott
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. WRLA@ETAPS (2022)
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. MODELSWARD (2022)
Yuri Gil Dantas, Vivek Nigam
Automating Safety and Security Co-Design through Semantically-Rich Architectural Patterns. CoRR (2022)
Vivek Nigam, Carolyn L. Talcott
Automated construction of security integrity wrappers for Industry 4.0 applications. J. Log. Algebraic Methods Program. 126 (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC (2022)
Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott
Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. 32 (9) (2022)
Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP (2021)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). FSCD (2021)
Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource and timing aspects of security protocols. J. Comput. Secur. 29 (3) (2021)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic (2021)
Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess
Proof Search and Certificates for Evidential Transactions. CADE (2021)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. CoRR (2021)
Vivek Nigam, Carolyn L. Talcott
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. WRLA@ETAPS (2020)
Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. ICLP Technical Communications (2020)
Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott
A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. VNC (2020)
Túlio A. Pascoal, Iguatemi E. Fonseca, Vivek Nigam
Slow denial-of-service attacks on software defined networks. Comput. Networks 173 (2020)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
Soft Subexponentials and Multiplexing. IJCAR (1) (2020)
Yuri Gil Dantas, Vivek Nigam, Harald Ruess
Security Engineering for ISO 21434. CoRR (2020)
Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. ISSRE Workshops (2019)
Carmen Cârlan, Vivek Nigam, Sebastian Voss, Alexandros Tsalidis
ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. ISSRE Workshops (2019)
Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource-Bounded Intruders in Denial of Service Attacks. CSF (2019)
Leydson Silva, Ewerton Salvador, Alisson V. Brito, Jose de Sousa Barros, Vivek Nigam
A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis. SBESC (2019)
Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
Symbolic Timed Trace Equivalence. Foundations of Security, Protocols, and Equational Reasoning (2019)
Vivek Nigam, René Thiemann
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 781 (2019)
Aellison Cassimiro T. dos Santos, Ben Schneider, Vivek Nigam
TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. FMCAD (2019)
João Henrique G. M. Corrêa, Epaminondas A. Sousa Junior, Iguatemi E. Fonseca, Vivek Nigam, Moisés R. N. Ribeiro, Rodolfo da Silva Villaça
Selectivity and Autoscaling as Complementary Defenses for DDoS Protection to Cloud Services. CloudNet (2019)
Marina Reich, Tatiana Chuprina, Vivek Nigam
Towards Computer-Aided Software Requirements Process. Software Engineering (Workshops) (2019)
Vivek Nigam, Carolyn L. Talcott
Formal Security Verification of Industry 4.0 Applications. ETFA (2019)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
Subexponentials in non-commutative linear logic. Math. Struct. Comput. Sci. 29 (8) (2019)
Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning (2019)
Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
Symbolic Timed Observational Equivalence. CoRR (2018)
Nick Benton, Martin Hofmann, Vivek Nigam
Proof-Relevant Logical Relations for Name Generation. Log. Methods Comput. Sci. 14 (1) (2018)
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
On the accuracy of formal verification of selective defenses for TDoS attacks. J. Log. Algebraic Methods Program. 94 (2018)
Vivek Nigam, Alexander Pretschner, Harald Ruess
Model-Based Safety and Security Engineering. CoRR (2018)
Nick Benton, Martin Hofmann, Vivek Nigam
Effect-dependent transformations for concurrent programs. Sci. Comput. Program. 155 (2018)
Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS (2018)
Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. SEC (2018)
Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov
A Logical Framework with Commutative and Non-commutative Subexponentials. IJCAR (2018)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Compliance in Real Time Multiset Rewriting Models. CoRR (2018)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. 25 (6) (2017)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. 27 (3) (2017)
Nick Benton, Martin Hofmann, Vivek Nigam
Proof-Relevant Logical Relations for Name Generation. CoRR (2017)
Jose de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito
Analysis of design strategies for unmanned aerial vehicles using co-simulation. Des. Autom. Embed. Syst. 21 (3-4) (2017)
Vivek Nigam, Carlos Olarte, Elaine Pimentel
On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci. 693 (2017)
Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos De Brito
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops (2017)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR (2017)
Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam
Mechanizing Focused Linear Logic in Coq. LSFA (2017)
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks. CoRR (2017)
Túlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
Slow TCAM Exhaustion DDoS Attack. SEC (2017)
Túlio A. Pascoal, João Henrique G. M. Corrêa, Rafael Brayner, Vivek Nigam, Iguatemi E. Fonseca
Módulo de Proteção contra Ataques de Negação de Serviço na Camada de Aplicação: uma Análise de Qualidade de Serviço e Experiência de Usuá rio∗. SBRC (2017)
Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam
Formal Specification and Verification of a Selective Defense for TDoS Attacks. WRLA (2016)
Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM (2016)
Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. ESORICS (2) (2016)
Jose de Sousa Barros, Thyago Oliveira, Vivek Nigam, Alisson V. Brito
A Framework for the Analysis of UAV Strategies Using Co-simulation. SBESC (2016)
Vivek Nigam, Elaine Pimentel, Giselle Reis
An extended framework for specifying and reasoning about proof systems. J. Log. Comput. 26 (2) (2016)
Vivek Nigam, Mário Florido
Preface. LSFA (2016)
Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World (2016)
Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. CoRR (2016)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS (2016)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR (2016)
Nick Benton, Martin Hofmann, Vivek Nigam
Effect-dependent transformations for concurrent programs. PPDP (2016)
Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott
Inferring Executable Models from Formalized Experimental Evidence. CMSB (2015)
Vivek Nigam, Giselle Reis, Leonardo Lima
Towards the Automated Generation of Focused Proof Systems. WoF'15 (2015)
Carlos Olarte, Elaine Pimentel, Vivek Nigam
Subexponential concurrent constraint programming. Theor. Comput. Sci. 606 (2015)
Marco Gaboardi, Vivek Nigam, Tachio Terauchi
Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). NII Shonan Meet. Rep. 2015 (2015)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST (2015)
Elaine Pimentel, Vivek Nigam, João Neto
Multi-focused Proofs with Different Polarity Assignments. LSFA (2015)
Nick Benton, Martin Hofmann, Vivek Nigam
Effect-Dependent Transformations for Concurrent Programs. CoRR (2015)
Nick Benton, Martin Hofmann, Vivek Nigam
Abstract effects and proof-relevant logical relations. POPL (2014)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory Pract. Log. Program. 14 (4-5) (2014)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded memory Dolev-Yao adversaries in collaborative systems. Inf. Comput. 238 (2014)
Vivek Nigam, Giselle Reis, Leonardo Lima
Quati: An Automated Tool for Proving Permutation Lemmas. IJCAR (2014)
Yuri Gil Dantas, Vivek Nigam, Iguatemi E. Fonseca
A Selective Defense for Application Layer DDoS Attacks. JISIC (2014)
Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
Preface. Electron. Notes Theor. Comput. Sci. 300 (2014)
Elaine Pimentel, Carlos Olarte, Vivek Nigam
A Proof Theoretic Study of Soft Concurrent Constraint Programming. CoRR (2014)
Vivek Nigam
A framework for linear authorization logics. Theor. Comput. Sci. 536 (2014)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded memory protocols. Comput. Lang. Syst. Struct. 40 (3-4) (2014)
Carlos Olarte, Vivek Nigam, Elaine Pimentel
Dynamic Spaces in Concurrent Constraint Programming. LSFA (2013)
Vivek Nigam, Carlos Olarte, Elaine Pimentel
A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR (2013)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov
Bounded Memory Protocols and Progressing Collaborative Systems. ESORICS (2013)
Nick Benton, Martin Hofmann, Vivek Nigam
Proof-Relevant Logical Relations for Name Generation. TLCA (2013)
Vivek Nigam, Giselle Reis, Leonardo Lima
Checking Proof Transformations with ASP. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Vivek Nigam
On the Complexity of Linear Authorization Logics. LICS (2012)
Nick Benton, Martin Hofmann, Vivek Nigam
Abstract Effects and Proof-Relevant Logical Relations CoRR (2012)
Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
A Rewriting Framework for Activities Subject to Regulations. RTA (2012)
Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20 (6) (2012)
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
Maintaining distributed logic programs incrementally. Comput. Lang. Syst. Struct. 38 (2) (2012)

Vivek Nigam.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vivek Nigam