Research Statement

In the past years, I was fortunate enough to be in contact with many brilliant researchers who introduced me to a variety of research topics and influenced (and still have an impact) my research. I currently have different, but related research interests:

More details can be found here.

Vivek Nigam's Publications/Preprints

Published papers may be copyrights of their respective publishers.

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Classified by Research Category

• Logical Frameworks • Foundations of Computer Security • Model-Based Engineering • Formal Methods • Denotational Semantics • Other •

Logical Frameworks

  1. Vivek Nigam, Giselle Reis, and Leonardo Lima. Automated Checking of Proof Transformations. Unpublished Draft.
    Details     BibTeX     Download: [pdf] 
  2. Vivek Nigam, Giselle Reis, Samar Rahmouni, and Harald Ruess. Proof Search and Certificates for Evidential Transactions. In Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, pp. 234–251, Lecture Notes in Computer Science 12699, Springer, 2021.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  3. Elaine Pimentel, Carlos Olarte, and Vivek Nigam. Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). In 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference), pp. 3:1–3:21, LIPIcs 195, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  4. Max I. Kanovich, Stepan Kuznetsov, Vivek Nigam, and Andre Scedrov. Soft Subexponentials and Multiplexing. In Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, pp. 500–517, Lecture Notes in Computer Science 12166, Springer, 2020.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  5. Max I. Kanovich, Stepan Kuznetsov, Vivek Nigam, and Andre Scedrov. A Logical Framework with Commutative and Non-commutative Subexponentials. In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pp. 228–245, 2018.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  6. Bruno Xavier, Carlos Olarte, Giselle Reis, and Vivek Nigam. Mechanizing Focused Linear Logic in Coq. Electr. Notes Theor. Comput. Sci., 338:219–236, 2018.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  7. Vivek Nigam, Carlos Olarte, and Elaine Pimentel. On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci., 693:35–58, 2017.
    This extends our CONCUR 2013 paper.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  8. Vivek Nigam, Elaine Pimentel, and Giselle Reis. An extended framework for specifying and reasoning about proof systems. J. Log. Comput., 26(2):539–576, 2016. Special issue in honor of Roy Dyckhoff.
    The on-line tool, called TATU, implementing the techniques described in the paper can be found here
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  9. Elaine Pimentel, Vivek Nigam, and João Neto. Multi-focused Proofs with Different Polarity Assignments . Electronic Notes in Theoretical Computer Science , 323( ):163 – 179, 2016. Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2015)
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  10. Vivek Nigam, Giselle Reis, and Leonardo Lima. Towards the Automated Generation of Focused Proof Systems. In Proceedings First International Workshop on Focusing, WoF'15 2015, Suva, Fiji, 23rd November 2015., pp. 1–6, EPTCS, 2015.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  11. Carlos Olarte, Elaine Pimentel, and Vivek Nigam. Subexponential concurrent constraint programming. Theor. Comput. Sci., 606:98–120, 2015.
    Details     BibTeX     Download: [pdf] 
  12. Vivek Nigam, Giselle Reis, and Leonardo Lima. Quati: From Linear Logic Specifications to Inference Rules (Extended Abstract). In Brazilian Logic Conference, 2014.
    Details     BibTeX     Download: [pdf] 
  13. Vivek Nigam, Giselle Reis, and Leonardo Lima. Quati: An Automated Tool for Proving Permutation Lemmas. In IJCAR, pp. 255–261, 2014.
    Details     BibTeX     Download: [pdf] 
  14. Vivek Nigam. A framework for linear authorization logics . Theoretical Computer Science , 536(0):21 – 41, 2014.
    This is an extended and corrected version of my LICS 2012 paper.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  15. Carlos Olarte, Vivek Nigam, and Elaine Pimentel. Dynamic Spaces in Concurrent Constraint Programming. Electr. Notes Theor. Comput. Sci., 305:103–121, 2014. In LSFA
    Details     BibTeX     Download: [pdf] 
  16. 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] 
  17. Vivek Nigam, Carlos Olarte, and Elaine Pimentel. A General Proof System for Modalities in Concurrent Constraint Programming. In CONCUR, pp. 410–424, LNCS 8052, Springer, 2013.
    Details     BibTeX     Download: [pdf] 
  18. Vivek Nigam, Giselle Reis, and Leonardo Lima. Checking Proof Transformations with ASP. Theory and Practice of Logic Programming, 13(4-5-Online-Supplement), 2013. Appearing at ICLP 2013.
    Details     BibTeX     Download: [pdf] 
  19. Vivek Nigam. On the Complexity of Linear Authorization Logics. In LICS, pp. 511–520, IEEE, 2012.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  20. Vivek Nigam, Elaine Pimentel, and Giselle Reis. Specifying Proof Systems in Linear Logic with Subexponentials. Electr. Notes Theor. Comput. Sci., 269:109–123, 2011. In LSFA
    Details     BibTeX     Download: [pdf] 
  21. Vivek Nigam and Dale Miller. A Framework for Proof Systems. J. Autom. Reasoning, 45(2):157–188, 2010.
    Details     BibTeX     Download: [pdf] 
  22. Vivek Nigam and Dale Miller. Algorithmic specifications in linear logic with subexponentials. In PPDP, pp. 129–140, ACM, 2009.
    Details     BibTeX     Download: [pdf] 
  23. Vivek Nigam. Exploiting non-canonicity in the Sequent Calculus. Ph.D. Thesis, Ecole Polytechnique, 2009.
    Details     BibTeX     Download: [pdf] 
  24. Vivek Nigam. Using Tables to Construct Non-Redundant Proofs.. In CiE 2008: Abstracts and extended abstracts of unpublished papers, 2008.
    Details     BibTeX     Download: [pdf] 
  25. Vivek Nigam and Dale Miller. Focusing in linear meta-logic. In Proceedings of IJCAR: International Joint Conference on Automated Reasoning, pp. 507–522, LNAI 5195, Springer, 2008.
    Details     BibTeX     Download: [pdf] 
  26. Dale Miller and Vivek Nigam. Incorporating tables into proofs. In CSL, pp. 466–480, LNCS 4646, 2007.
    Details     BibTeX     Download: [pdf] 

Foundations of Computer Security

  1. Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, and Ulrich Schöpp. Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology. In Proceedings of the 9th International Conference on Information Systems Security and Privacy, ICISSP 2023, Lisbon, Portugal, February 22-24, 2023, pp. 180–191, SciTePress, 2023.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  2. Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. On the Security and Complexity of Periodic Systems. SN Comput. Sci., 3(5):356, 2022.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  3. Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. On Security Analysis of Periodic Systems: Expressiveness and Complexity. In Proceedings of the 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Online Streaming, February 11-13, 2021, pp. 43–54, SCITEPRESS, 2021.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  4. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. On the Complexity of Verification of Time-Sensitive Distributed Systems. In Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, pp. 251–275, Lecture Notes in Computer Science 13066, Springer, 2021.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  5. Abra ao Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. Resource and timing aspects of security protocols. J. Comput. Secur., 29(3):299–340, 2021.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  6. Vivek Nigam and Carolyn Talcott. Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. In International Workshop on Rewriting Logic and its Applications (WRLA), 2020.
    Details     BibTeX     Download: [pdf] 
  7. Túlio A. Pascoal, Iguatemi E. Fonseca, and Vivek Nigam. Slow denial-of-service attacks on software defined networks. Comput. Networks, 173:107223, 2020.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  8. Musab A. Alturki, Tajana Ban Kirigin, Max Kanovich, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. In Catherine Meadow's Festschirft, 2019.
    Details     BibTeX     Download: [pdf] 
  9. Vivek Nigam, Carolyn Talcott, and Abra ao Aires Urquiza. Symbolic Timed Trace Equivalence. In Catherine Meadow's Festschirft, 2019.
    Details     BibTeX     Download: [pdf] 
  10. Aellison C. T. Santos, José L. Soares Filho, Ávilla \'I. S. Silva, Vivek Nigam, and Iguatemi E. Fonseca . BLE Injection-Free Attack: A Novel Attack On Bluetooth LowEnergy Devices. Journal of Ambient Intelligence and Humanized Computing, 2019.
    Details     BibTeX     Download: [pdf] 
  11. Abra ao Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. Resource-Bounded Intruders in Denial of Service Attacks. In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pp. 382–396, 2019.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  12. Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. In Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018, pp. 60–71, 2018.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  13. Wei Chen, Vashti Galpin Yuhui Lin and, Vivek Nigam, Myungjin Lee, and David Aspinall. Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations. In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018) - Poznan, Poland, 2018.
    Details     BibTeX     Download: [pdf] 
  14. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. Time, computational complexity, and probability in the analysis of distance-bounding protocols. Journal of Computer Security, 25(6):585–630, 2017.
    This extends our POST 2015 paper.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  15. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, and Ranko Perovic. A rewriting framework and logic for activities subject to regulations. Mathematical Structures in Computer Science, 27(3):332–375, 2017.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  16. Túlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, and Vivek Nigam. Slow TCAM Exhaustion DDoS Attack. In ICT Systems Security and Privacy Protection (IFIP SEC), 2017.
    Details     BibTeX     Download: [pdf] 
  17. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly?. In FCS, 2016.
    Details     BibTeX     Download: [pdf] 
  18. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. In 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2016.
    Details     BibTeX     Download: [pdf] 
  19. Vivek Nigam, Carolyn Talcott, and Abra ao Aires Urquiza. Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. In European Symposium on Research in Computer Security (ESORICS), 2016.
    Details     BibTeX     Download: [pdf] 
  20. 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, pp. 259–279, 2015.
    Details     BibTeX     Download: [pdf] 
  21. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. Towards Timed Models for Cyber-Physical Security Protocols. In FCS-FCC, 2014.
    Details     BibTeX     Download: [pdf] 
  22. 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.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  23. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov. Bounded memory protocols. Computer Languages, Systems & Structures, 40(3-4):137–154, 2014.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  24. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov. Bounded Memory Protocols and Progressing Collaborative Systems. In ESORICS, pp. 309–326, LNCS 8135, Springer, 2013.
    Details     BibTeX     Download: [pdf] 
  25. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, and Ranko Perovic. A Rewriting Framework for Activities Subject toRegulations. In RTA, pp. 305–322, LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012.
    Details     BibTeX     Download: [pdf] 
  26. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov. Progressing Collaborative Systems. In FCS-PrivMod, 2010.
    Details     BibTeX     Download: [pdf] 
  27. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov. Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. In Formal Aspects in Security and Trust, pp. 18–33, LNCS, 2010.
    Details     BibTeX     Download: [pdf] 

Model-Based Engineering

  1. Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, and Sergey Tverdyshev. A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci., 4(4):335, 2023.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  2. Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam, and Pei Ke. Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform. In 20th International Conference on Software Architecture, ICSA 2023 - Companion, L'Aquila, Italy, March 13-17, 2023, pp. 309–316, IEEE, 2023.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  3. Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, and Sergey Tverdyshev. A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, Online Streaming, February 6-8, 2022, pp. 36–47, SCITEPRESS, 2022.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  4. Carmen Cârlan, Vivek Nigam, Alexandros Tsalidis, and Sebastian Voss. ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models. In The 9th IEEE International Workshop on Software Certification WoSoCer, 2019.
    Details     BibTeX     Download: [pdf] 
  5. Antoaneta Kondeva, Carmen Carlan, Harald Ruess, and Vivek Nigam. On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. In The 9th IEEE International Workshop on Software Certification WoSoCer, 2019.
    Details     BibTeX     Download: [pdf] 
  6. Marina Reich, Tatiana Chuprina, and Vivek Nigam. Towards Computer-Aided Software Requirements Process. In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., pp. 75–78, 2019.
    Details     BibTeX     Download: [pdf] 
  7. Vivek Nigam, Alexander Pretschner, and Harald Ruess. Model-Based Safety and Security Engineering. Unpublished 2018. White Paper
    Details     BibTeX     Download: [pdf] 

Formal Methods

  1. Yuri Gil Dantas and Vivek Nigam. Automating Safety and Security Co-Design through Semantically Rich Architecture Patterns. ACM Trans. Cyber-Phys. Syst., 7(1), Association for Computing Machinery, New York, NY, USA, feb 2023.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  2. Vivek Nigam and Carolyn L. Talcott. Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. In Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 1–19, Lecture Notes in Computer Science 13931, Springer, 2023.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  3. Gerald Whitters, Vivek Nigam, and Carolyn L. Talcott. Incremental Rewriting Modulo SMT. In Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 560–576, Lecture Notes in Computer Science 14132, Springer, 2023.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  4. Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. In Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, pp. 96–113, Lecture Notes in Computer Science 13572, Springer, 2022.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  5. Vivek Nigam, Minyoung Kim, Ian Mason, and Carolyn Talcott. Detection and diagnosis of deviations in distributed systems of autonomous agents. Mathematical Structures in Computer Science, pp. 1–29, Cambridge University Press, 2022.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  6. Vivek Nigam and Carolyn L. Talcott. Automated construction of security integrity wrappers for Industry 4.0 applications. J. Log. Algebraic Methods Program., 126:100745, 2022.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  7. Vivek Nigam and Carolyn L. Talcott. Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. In Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 212–229, Lecture Notes in Computer Science 13252, Springer, 2022.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  8. Yuri Gil Dantas, Vivek Nigam, and Carolyn Talcott. A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. In IEEE Vehicular Networking Conference (VNC), 2020.
    Details     BibTeX     Download: [pdf] 
  9. Yuri Gil Dantas, Antoaneta Kondeva, and Vivek Nigam. Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. In International Conference on Logic Programming (ICLP), 2020.
    Details     BibTeX     Download: [pdf] 
  10. Yuri Gil Dantas, Antoaneta Kondeva, and Vivek Nigam. Towards Automating Safety and Security Co-Analysis with Patterns (Position Paper). In Safecomp, 2020.
    Details     BibTeX     Download: [pdf] 
  11. Tewodros A Beyeneand Christian Herrera and Vivek Nigam. Verification of Ada Programs with AdaHorn. Ada User Journal, 2019.
    Details     BibTeX     Download: [pdf] 
  12. Vivek Nigam and Carolyn L. Talcott. Formal Security Verification of Industry 4.0 Applications. In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, pp. 1043–1050, 2019.
    Details     BibTeX     Download: [pdf] 
  13. Aellison Cassimiro T. dos Santos, Ben Schneider, and Vivek Nigam. TSNsched: Automated Schedule Generation for Time Sensitive Networking. In FMCAD, 2019.
    Details     BibTeX     Download: [pdf] 
  14. Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, and Vivek Nigam. On the accuracy of formal verification of selective defenses for TDoS attacks. J. Log. Algebr. Meth. Program., 94:45–67, 2018.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  15. Jose de Sousa Barros, Thyago Oliveira, Vivek Nigam, and Alisson V. Brito. Analysis of design strategies for unmanned aerial vehicles using co-simulation. Design Autom. for Emb. Sys., 21(3-4):157–172, 2017.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  16. Ian i. Mason, Vivek Nigam, Carolyn L. Talcott, and Alisson Vasconcelos De Brito. A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. In Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, pp. 406–422, 2017.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  17. José Barros, Alisson Brito, Thyago Oliveira, and Vivek Nigam. A Framework for the Analysis of UAV Strategies using Co-simulation. In Brazilian Symposium on Computing Systems Engineering (SBESC), 2016.
    Details     BibTeX     Download: [pdf] 
  18. Yuri Gil Dantas, Vivek Nigam, and Iguatemi E. Fonseca. An Adaptive Selective Defense for Application Layer DDoS Attacks. In CTDSeg, 2016. Selected as a Candidate for the Prize of Best Master Thesis in Security in Brazil
    Details     BibTeX     Download: [pdf] 
  19. Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi Fonseca, and Vivek Nigam. Formal Specification and Verification of a Selective Defense for TDoS Attacks. In 11th International Workshop on Rewriting Logic and its Applications (WRLA), 2016.
    Details     BibTeX     Download: [pdf] 
  20. Jo ao Henrique, Iguatemi E. Fonseca, and Vivek Nigam. Mitigating High-Rate Application Layer DDoS Attacks in Software Defined Networks. Unpublished 2016. A version in Portuguese has been accepted to SBRT 2016.
    Details     BibTeX     Download: [pdf] 
  21. Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi Fonseca, Vivek Nigam, and Gustavo Sampaio. A Selective Defense for Mitigating Coordinated Call Attacks. In 34th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2016.
    Details     BibTeX     Download: [pdf] 
  22. Carolyn Talcott, Vivek Nigam, Farhad Arbab, and Tobias Kappé. Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. In Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, LNCS, pp. 1–35, 2016. 16th edition in the series of Schools on Formal Methods (SFM), Bertinoro (Italy), 20-24 June 2016.
    Details     BibTeX     Download: [pdf] 
  23. 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.
    Details     BibTeX     Download: [pdf] 
  24. Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov. Maintaining distributed logic programs incrementally. Computer Languages, Systems & Structures, 38(2):158–180, 2012.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  25. Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw., 20(6):1814–1827, 2012.
    Details     BibTeX     Download: [pdf] 
  26. Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov. Maintaining distributed logic programs incrementally. In PPDP, pp. 125–136, ACM, 2011.
    Details     BibTeX     Download: [pdf] 
  27. Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov. An operational semantics for Network Datalog. In LAM, 2010. A workshop affilitated to LICS'10.
    Details     BibTeX     Download: [pdf] 

Denotational Semantics

  1. Nick Benton, Martin Hofmann, and Vivek Nigam. Effect-dependent transformations for concurrent programs. Sci. Comput. Program., 155:27–51, 2018.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  2. Nick Benton, Martin Hofmann, and Vivek Nigam. Proof-Relevant Logical Relations for Name Generation. Logical Methods in Computer Science, 14(1), 2018.
    This extends our TLCA 2013 paper.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  3. Max I. Kanovich, Stepan Kuznetsov, Vivek Nigam, and Andre Scedrov. Subexponentials in non-commutative linear logic. Mathematical Structures in Computer Science, 2018.
    Part of Dale Miller's Festschrift.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  4. Nick Benton, Martin Hofmann, and Vivek Nigam. Effect-Dependent Transformations for Concurrent Programs. In PPDP, 2016.
    Details     BibTeX     Download: [pdf] 
  5. Nick Benton, Andrew Kennedy, Martin Hofmann, and Vivek Nigam. Counting Successes: Effects and Transformations for Non-Deterministic Programs. In In Phil Wadler's Festschrift, 2016.
    Details     BibTeX     Download: [pdf] 
  6. Nick Benton, Martin Hofmann, and Vivek Nigam. Computational adequacy of trace-semantics. Unpublished 2015.
    Details     BibTeX     Download: [pdf] 
  7. Nick Benton, Martin Hofmann, and Vivek Nigam. Abstract effects and proof-relevant logical relations. In POPL, pp. 619–632, ACM, 2014.
    With some corrections, dated 5 May 2014.
    Details     BibTeX     Download: [pdf] 
  8. Nick Benton, Martin Hofmann, and Vivek Nigam. Proof-Relevant Logical Relations for Name Generation. In TLCA, pp. 48–60, LNCS 7941, Springer, 2013.
    Details     BibTeX     Download: [pdf] 

Other

  1. Vivek Nigam and Carolyn Talcott. An Executable Formal Model for Specifying and Verifying Clinical Trials. Unpublished Draft.
    Details     BibTeX     Download: [pdf] 
  2. Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, and Carolyn Talcott. Inferring Executable Models from Formalized Experimental Evidence. In CMSB, 2015.
    Details     BibTeX     Download: [pdf] 
  3. Vivek Nigam and Valeria de Paiva. Towards a Rewriting Framework for Textual Entailment. In LSFA, 2014.
    Details     BibTeX     Download: [pdf] 
  4. Vivek Nigam and Elaine Pimentel. Relating Focused Proofs with Different Polarity Assignments. In LFMTP, 2013. Work in Progress
    Details     BibTeX     Download: [pdf] 
  5. Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn Talcott, Max Kanovich, and Ranko Perovic. Towards an Automated Assistant for Clinical Investigations. In IHI, Second ACM SIGHIT International Health InformaticsSymposium, 2012.
    Details     BibTeX     Download: [pdf] 
  6. Juan A. Cordeiro, Ulrich Herberg, and Vivek Nigam. Reach everything from anywhere. In online, 2009. Obtained the first place in the IPv6 Challenge -- internet de demain,organized by G6 and supported by SFR
    Obtained the first place in the IPv6Challenge, organized by G6. Report dated 4 June 2009. We also made a short video presentation which can be found here.
    Details     BibTeX     Download: [pdf] 
  7. Vivek Nigam and Jo ao Leite. Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers. In ProMAS, pp. 165–181, LNCS 4411, Springer, 2007.
    Details     BibTeX     Download: [pdf] 
  8. Alexander Kozlenkov, Rafael Pe naloza, Vivek Nigam, Loïc Royer, Gihan Dawelbait, and Michael Schroeder. Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. In EDBT Workshops, pp. 899–908, LNCS 4254, Springer, 2006.
    Details     BibTeX     Download: [pdf] 
  9. Vivek Nigam and Jo ao Leite. Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers. In DALT, pp. 174–190, LNCS 4327, Springer, 2006.
    Details     BibTeX     Download: [pdf] 
  10. Vivek Nigam. Dynamic Logic Programming and 3APL.. Master's Thesis, Technische Universität Dresden, Germany, andUniversidade Nova de Lisboa, Portugal,2006.
    Details     BibTeX     Download: [pdf] 
  11. Vivek Nigam. Bloco Flex\'ivel Matem\' atico. Revista Controle e Instrumentaç  ao, 94, Valete Editora Técnica Comercial Ltda., 2004.
    Details     BibTeX     Download: [pdf] 
  12. V. Nigam, C.L. Nasciment Jr., and L. F. C. Nascimento. Estudo Comparativo da Aplicaç ao de Técnicas de InteligênciaArtificial para a Previs ao da Faixa de Peso de Récem-Nascidos.. In IX Encontro de Iniciaç ao Cient\'ifica e Pós-Graduação do ITA, 2003. In Portuguese
    Details     BibTeX     Download: [pdf] 

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57