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

Sorted by DateClassified by Publication TypeClassified by Research Category

Sorted by Date

Draft20172016201520142013201220112010200920082007200620042003


Draft

  1. Marc\'ilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, and Vivek Nigam. On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks. Unpublished Draft.
    Details     BibTeX     Download: [pdf] 
  2. Vivek Nigam, Giselle Reis, and Leonardo Lima. Automated Checking of Proof Transformations. Unpublished Draft.
    Details     BibTeX     Download: [pdf] 
  3. Jo ao Henrique, Iguatemi E. Fonseca, and Vivek Nigam. Mitigating High-Rate Application Layer DDoS Attacks in Software Defined Networks. Unpublished Draft. A version in Portuguese has been accepted to SBRT 2016.
    Details     BibTeX     Download: [pdf] 
  4. Vivek Nigam, Carlos Olarte, and Elaine Pimentel. On subexponentials, focusing and modalities in concurrent systems. Submitted to Theoretical Computer Science, Draft.
    This extends our CONCUR 2013 paper.
    Details     BibTeX     Download: [pdf] 
  5. Nick Benton, Martin Hofmann, and Vivek Nigam. Proof-Relevant Logical Relations for Name Generation. Accepted to Logical Methods in Computer Science, Draft.
    This extends our TLCA 2013 paper.
    Details     BibTeX     Download: [pdf] 
  6. Vivek Nigam and Carolyn Talcott. An Executable Formal Model for Specifying and Verifying Clinical Trials. Unpublished Draft.
    Details     BibTeX     Download: [pdf] 

2017

  1. 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] 

2016

  1. 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] 
  2. Nick Benton, Martin Hofmann, and Vivek Nigam. Effect-Dependent Transformations for Concurrent Programs. In PPDP, 2016.
    Details     BibTeX     Download: [pdf] 
  3. 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] 
  4. 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] 
  5. 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] 
  6. 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] 
  7. 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] 
  8. 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] 
  9. 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] 
  10. 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] 
  11. 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] 
  12. 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] 

2015

  1. Nick Benton, Martin Hofmann, and Vivek Nigam. Computational adequacy of trace-semantics. Unpublished 2015.
    Details     BibTeX     Download: [pdf] 
  2. 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] 
  3. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. A Rewriting Framework and Logic for Activities Subject to Regulations. Mathematical Structures in Computer Science, 2015. Published online
    Details     BibTeX     Download: [pdf] 
  4. 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] 
  5. Vivek Nigam, Giselle Reis, and Leonardo Lima. Towards the Automated Generation of Focused Proof Systems. In Workshop on Focusing, EPTCS, 2015.
    Details     BibTeX     Download: [pdf] 
  6. Carlos Olarte, Elaine Pimentel, and Vivek Nigam. Subexponential concurrent constraint programming. Theor. Comput. Sci., 606:98–120, 2015.
    Details     BibTeX     Download: [pdf] 

2014

  1. 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] 
  2. 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] 
  3. 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] 
  4. 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] 
  5. 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] 
  6. 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] 
  7. 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] 
  8. Vivek Nigam and Valeria de Paiva. Towards a Rewriting Framework for Textual Entailment. In LSFA, 2014.
    Details     BibTeX     Download: [pdf] 
  9. 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] 
  10. 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] 
  11. 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] 

2013

  1. 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] 
  2. 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] 
  3. Vivek Nigam and Elaine Pimentel. Relating Focused Proofs with Different Polarity Assignments. In LFMTP, 2013. Work in Progress
    Details     BibTeX     Download: [pdf] 
  4. 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] 
  5. 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] 

2012

  1. 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] 
  2. 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] 
  3. Vivek Nigam. On the Complexity of Linear Authorization Logics. In LICS, pp. 511–520, IEEE, 2012.
    Details     BibTeX     Download: [pdf] [ps.gz] [ps] [HTML] 
  4. 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] 
  5. 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] 

2011

  1. 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] 
  2. 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] 

2010

  1. Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, and Andre Scedrov. Progressing Collaborative Systems. In FCS-PrivMod, 2010.
    Details     BibTeX     Download: [pdf] 
  2. 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] 
  3. 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] 
  4. Vivek Nigam and Dale Miller. A Framework for Proof Systems. J. Autom. Reasoning, 45(2):157–188, 2010.
    Details     BibTeX     Download: [pdf] 

2009

  1. 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] 
  2. Vivek Nigam and Dale Miller. Algorithmic specifications in linear logic with subexponentials. In PPDP, pp. 129–140, ACM, 2009.
    Details     BibTeX     Download: [pdf] 
  3. Vivek Nigam. Exploiting non-canonicity in the Sequent Calculus. Ph.D. Thesis, Ecole Polytechnique, 2009.
    Details     BibTeX     Download: [pdf] 

2008

  1. Vivek Nigam. Using Tables to Construct Non-Redundant Proofs.. In CiE 2008: Abstracts and extended abstracts of unpublished papers, 2008.
    Details     BibTeX     Download: [pdf] 
  2. 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] 

2007

  1. Dale Miller and Vivek Nigam. Incorporating tables into proofs. In CSL, pp. 466–480, LNCS 4646, 2007.
    Details     BibTeX     Download: [pdf] 
  2. 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] 

2006

  1. 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] 
  2. 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] 
  3. 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] 

2004

  1. Vivek Nigam. Bloco Flex\'ivel Matem\' atico. Revista Controle e Instrumentaç  ao, 94, Valete Editora Técnica Comercial Ltda., 2004.
    Details     BibTeX     Download: [pdf] 

2003

  1. 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 Wed Mar 01, 2017 14:31:38