Vivek Nigam

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• Nigam, Vivek ; Talcott, Carolyn . Automated construction of security integrity wrappers for Industry 4.0 applications. Journal of Logical and Algebraic Methods in Programming , v. 126, p. 100745, 2022.

• AIRES URQUIZA, ABRAÃO ; ALTURKI, MUSAB A. ; BAN KIRIGIN, TAJANA ; Kanovich, Max ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn . Resource and timing aspects of security protocols. Journal Of Computer Security , v. 29, p. 299-340, 2021.

• PASCOAL, TÚLIO A. ; FONSECA, IGUATEMI E. ; Nigam, Vivek . Slow denial-of-service attacks on software defined networks. Computer Networks , v. 173, p. 107223, 2020.

• GIL DANTAS, YURI ; KONDEVA, ANTOANETA ; Nigam, Vivek . Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE , v. 325, p. 244-257, 2020.

• Nigam, Vivek ; THIEMANN, RENÉ . Logical and Semantic Frameworks with Applications. THEORETICAL COMPUTER SCIENCE , v. 781, p. 1-2, 2019.

• LEMOS, MARCILIO O.O. ; DANTAS, YURI GIL ; FONSECA, IGUATEMI E. ; Nigam, Vivek . On the accuracy of formal verification of selective defenses for TDoS attacks. Journal of Logical and Algebraic Methods in Programming , v. 94, p. 45-67, 2018.

• BENTON, NICK ; HOFMANN, MARTIN ; Nigam, Vivek . Effect-dependent transformations for concurrent programs. SCIENCE OF COMPUTER PROGRAMMING , v. 155, p. 27-51, 2018.

• Kanovich, Max ; KUZNETSOV, STEPAN ; Nigam, Vivek ; Scedrov, Andre . Subexponentials in non-commutative linear logic. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE , v. 1, p. 1-33, 2018.

• BENTON, NICK ; HOFMANN, MARTIN ; Nigam, Vivek . Proof-Relevant Logical Relations for Name Generation. Logical Methods in Computer Science , v. 14, p. 1-25, 2018.

• XAVIER, BRUNO ; OLARTE, CARLOS ; Reis, Giselle ; Nigam, Vivek . Mechanizing Focused Linear Logic in Coq. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 338, p. 219-236, 2018.

• DE SOUSA BARROS, JOSÉ ; OLIVEIRA FREITAS, THYAGO ; Nigam, Vivek ; V. BRITO, ALISSON . Analysis of design strategies for unmanned aerial vehicles using co-simulation. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS , v. x, p. 1-2, 2017.

• Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn . Time, computational complexity, and probability in the analysis of distance-bounding protocols. Journal of Computer Security , v. 25, p. 585-630, 2017.

• Nigam, Vivek ; OLARTE, CARLOS ; Pimentel, Elaine . On subexponentials, focusing and modalities in concurrent systems. THEORETICAL COMPUTER SCIENCE , v. 693, p. 35-58, 2017.

• Pimentel, Elaine ; Nigam, Vivek ; NETO, JOÃO . Multi-focused Proofs with Different Polarity Assignments. Electronic Notes in Theoretical Computer Science , v. 323, p. 163-179, 2016.

• OLARTE, CARLOS ; Nigam, Vivek ; Pimentel, Elaine . Subexponential concurrent constraint programming. Theoretical Computer Science , v. 606, p. 98-120, 2015.

• Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn ; PEROVIC, RANKO . A rewriting framework and logic for activities subject to regulations. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE , v. 2, p. 1-44, 2015.

• Nigam, Vivek ; Reis, Giselle ; LIMA, LEONARDO . Towards the Automated Generation of Focused Proof Systems. Electronic Proceedings in Theoretical Computer Science , v. 197, p. 1-6, 2015.

• Max Kanovich ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre . Bounded memory Dolev-Yao adversaries in collaborative systems. INFORMATION AND COMPUTATION , v. 238, p. 233-261, 2014.

• Nigam, Vivek . A framework for linear authorization logics. THEORETICAL COMPUTER SCIENCE , v. 536, p. 21-41, 2014.

• NIGAM, V. ; PIMENTEL, E. ; REIS, G. . An extended framework for specifying and reasoning about proof systems. Journal of Logic and Computation (Print) , v. ?, p. ?, 2014.

• Kanovich, Max ; KIRIGIN, TAJANA BAN ; Nigam, Vivek ; Scedrov, Andre . Bounded memory protocols. Computer Languages, Systems & Structures , v. ?, p. ?, 2014.

• OLARTE, CARLOS ; Nigam, Vivek ; Pimentel, Elaine . Dynamic Spaces in Concurrent Constraint Programming. Electronic Notes in Theoretical Computer Science , v. 305, p. 103-121, 2014.

• Pimentel, Elaine ; OLARTE, CARLOS ; Nigam, Vivek . A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory and Practice of Logic Programming , v. 14, p. 649-663, 2014.

• Nigam, Vivek ; Jia, Limin ; Thau Loo, Boon ; Scedrov, Andre . Maintaining distributed logic programs incrementally. Computer Languages, Systems & Structures , v. 38, p. 158-180, 2012.

• Wang, Anduo ; Jia, Limin ; Zhou, Wenchao ; Ren, Yiqing ; Loo, Boon Thau ; Rexford, Jennifer ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn . FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing. IEEE/ACM Transactions on Networking (Print) , v. PP, p. 99, 2012.

• Nigam, Vivek ; Pimentel, Elaine ; Reis, Giselle . Specifying Proof Systems in Linear Logic with Subexponentials. Electronic Notes in Theoretical Computer Science , v. 269, p. 109-123, 2011.

• NIGAM, V. ; Miller, Dale . A Framework for Proof Systems. JOURNAL OF AUTOMATED REASONING , v. 45, p. 157-188, 2010.

• Alturki, Musab A. ; Ban Kirigin, Tajana ; Kanovich, Max ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn . A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. , p. 192-213.

• Nigam, Vivek ; Talcott, Carolyn ; Urquiza, Abraão Aires . Symbolic Timed Trace Equivalence. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. , p. 89-111.

• BENTON, NICK ; Kennedy, Andrew ; HOFMANN, MARTIN ; Nigam, Vivek . Counting Successes: Effects and Transformations for Non-deterministic Programs. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 56-72.

• NIGAM, V. . Bloco Flexível Matemático. Revista Controle e Instrumentação, 01 jul. 2004.

• DANTAS, YURI ; MUNARO, TIZIANO ; CARLAN, CARMEN ; Nigam, Vivek ; BARNER, SIMON ; FAN, SHIQING ; PRETSCHNER, ALEXANDER ; SCHÖPP, ULRICH ; TVERDYSHEV, SERGEY . A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. In: 10th International Conference on ModelDriven Engineering and Software Development, 2022, Online Streaming. Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022. p. 36.

• ALTURKI, MUSAB ; KIRIGIN, TAJANA ; Kanovich, Max ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn . On Security Analysis of Periodic Systems: Expressiveness and Complexity. In: 7th International Conference on Information Systems Security and Privacy, 2021, Online Streaming. Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021. p. 43.

• Elaine Pimentel ; OLARTE, C. ; NIGAM, V. . Process-As-Formula Interpretation: {A} Substructural Multimodal View (Invited Talk). In: FSCD, 2021. 6th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference), 2021.

• NIGAM, V. ; Giselle Reis ; RAHMOUNI, S. ; RUESS, H. . Proof Search and Certificates for Evidential Transactions. In: CADE, 2021. Automated Deduction - {CADE} 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings, 2021.

• Max Kanovich ; Ban Kirigin, Tajana ; NIGAM, V. ; Scedrov, Andre ; Carolyn 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, 2021. Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman, 2021.

• DANTAS, YURI GIL ; Nigam, Vivek ; Talcott, Carolyn . A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. In: 2020 IEEE Vehicular Networking Conference (VNC), 2020, New York. 2020 IEEE Vehicular Networking Conference (VNC), 2020. p. 1.

• Nigam, Vivek ; Carolyn Talcott . Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. In: Rewriting Logic and Its Applications, 2020. Rewriting Logic and Its Applications - 13th International Workshop, {WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, 2020.

• Max Kanovich ; KUZNETSOV, S. ; NIGAM, V. ; Scedrov, Andre . Soft Subexponentials and Multiplexing. In: IJCAR, 2020. Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}, 2020.

• NIGAM, V. ; URQUIZA, A. A. ; Carolyn Talcott . Symbolic Timed Trace Equivalence. In: Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, 2019. Foundations of Security, Protocols, and Equational Reasoning, 2019. v. 1. p. 89-111.

• Alturki, Musab A. ; Ban Kirigin, Tajana ; Max Kanovich ; NIGAM, V. ; Scedrov, Andre ; Carolyn Talcott . A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. In: Foundations of Security, Protocols, and Equational Reasoning, 2019. Foundations of Security, Protocols, and Equational Reasoning, 2019. v. 1. p. 192-213.

• COREA, JOAO HENRIQUE G. M. ; SOUSA JUNIOR, EPAMINONDAS A. ; FONSECA, IGUATEMI E. ; Nigam, Vivek ; RIBEIRO, MOISES R. N. ; VILLACA, RODOLFO S. . Selectivity and Autoscaling as Complementary Defenses for DDoS Protection to Cloud Services. In: 2019 IEEE 8th International Conference on Cloud Networking (CloudNet), 2019, Coimbra. 2019 IEEE 8th International Conference on Cloud Networking (CloudNet), 2019. p. 1.

• AIRES URQUIZA, ABRAAO ; Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn . Resource-Bounded Intruders in Denial of Service Attacks. In: 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, Hoboken. 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019. p. 382.

• SANTOS, AELLISON CASSIMIRO T. DOS ; SCHNEIDER, BEN ; Nigam, Vivek . TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. In: 2019 Formal Methods in Computer Aided Design (FMCAD), 2019, San Jose. 2019 Formal Methods in Computer Aided Design (FMCAD), 2019. p. 69.

• CARLAN, CARMEN ; Nigam, Vivek ; VOSS, SEBASTIAN ; TSALIDIS, ALEXANDROS . ExplicitCase: Tool-Support for Creating and Maintaining Assurance Arguments Integrated with System Models. In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019, Berlin. 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. p. 330.

• KONDEVA, ANTOANETA ; Nigam, Vivek ; RUESS, HARALD ; CARLAN, CARMEN . On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019, Berlin. 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. p. 346.

• SILVA, LEYDSON ; SALVADOR, EWERTON ; BRITO, ALISSON ; BARROS, JOSE SOUSA ; Nigam, Vivek . A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis. In: 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019, Natal. 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019. p. 1.

• Kanovich, Max ; KUZNETSOV, S. ; NIGAM, V. ; Scedrov, Andre . A Logical Framework with Commutative and Non-commutative Subexponentials. In: Automated Reasoning - 9th International Joint Conference, IJCAR, 2018, Oxford. 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, 2018. v. 1. p. 228-245.

• Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn . Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. In: the 2018 Workshop, 2018, Toronto. Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy - CPS-SPC '18. New York: ACM Press, 2018. p. 60.

• CHEN, W. ; LIN, Y. ; GALPIN, V. ; NIGAM, V. ; LEE, M. ; ASPINALL, D. . Formal Analysis of Sneak-Peek: {A} Data Centre Attack and Its Mitigations. In: {ICT} Systems Security and Privacy Protection - 33rd {IFIP}, 2018. {ICT} Systems Security and Privacy Protection - 33rd {IFIP} International Conference, {SEC}, 2018. v. 529.

• PASCOAL, T. A. ; DANTAS, YURI GIL ; FONSECA, IGUATEMI E. ; NIGAM, V. . Slow {TCAM} Exhaustion DDoS Attack. In: ICT Systems Security and Privacy Protection, 2017, Roma. ICT Systems Security and Privacy Protection. Berlim: Springer, 2017. v. 11. p. 1-16.

• MASON, I. ; NIGAM, V. ; Carolyn Talcott ; BRITO, ALISSON V. . A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. In: Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops CoSim, 2017, Trento. 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. Berlim: Springer, 2017. v. 1. p. 422-15.

• Carolyn Talcott ; NIGAM, V. ; ARBAB, F. ; KAPPE, T. . Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016, Bertinoro. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016. v. 9700. p. 1-35.

• NIGAM, V. ; Carolyn Talcott ; URQUIZA, A. A. . Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. In: ESORICS, 2016. Computer Security ? ESORICS 2016, 2016.

• LEMOS, M. O. O. ; DANTAS, YURI GIL ; FONSECA, IGUATEMI E. ; NIGAM, V. . A Selective Defense for Mitigating Coordinated Call Attacks. In: SBRC, 2016. SBRC, 2016.

• Kanovich, Max ; KIRIGIN, TAJANA BAN ; NIGAM, V. ; Scedrov, Andre ; Carolyn Talcott . Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. In: FORMATS, 2016. FORMATS, 2016.

• DANTAS, YURI GIL ; LEMOS, M. O. O. ; FONSECA, I. E. ; NIGAM, V. . Formal Specification and Verification of a Selective Defense for TDoS Attacks. In: WRLA, 2016. Rewriting Logic and Its Applications, 2016.

• BENTON, NICK ; HOFMANN, MARTIN ; Nigam, Vivek . Effect-dependent transformations for concurrent programs. In: the 18th International Symposium, 2016, Edinburgh. Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16. New York: ACM Press, 2016. p. 188.

• BARROS, JOSE DE SOUSA ; OLIVEIRA, THYAGO ; Nigam, Vivek ; BRITO, ALISSON V. . A Framework for the Analysis of UAV Strategies Using Co-simulation. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. p. 9.

• Kanovich, Max ; Ban Kirigin, Tajana ; NIGAM, V. ; Scedrov, Andre ; Carolyn Talcott . Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. In: Principles of Security and Trust, 2015, Londres. Principles of Security and Trust - 4th International Conference, {POST}, 2015. v. LNCS. p. 259-279.

• NIGAM, V. ; DONALDSON, R. ; KNAPP, M. ; MCCARTHY, T. ; Carolyn Talcott . Inferring Executable Models from Formalized Experimental Evidence. In: Computational Methods in Systems Biology, 2015, Nantes. Computational Methods in Systems Biology - 13th International Conference, {CMSB} 2015, 2015. v. 9308. p. 90-103.

• NIGAM, V. ; REIS, G. ; LIMA, L. . Quati: An Automated Tool for Proving Permutation Lemmas. In: 7th International Joint Conference on Automated Reasoning, IJCAR 2014, 2014, Vienna. Lecture Notes in Computer Science (LNCS), 2014. v. LNCS. p. 255-261.

• BENTON, N. ; HOFMANN, M. ; NIGAM, V. . Abstract Effects and Proof-Relevant Logical Relations. In: Symposium on Principles of Programming Languages, 2014, San Diego. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014. v. ACM. p. 619-632.

• DANTAS, YURI GIL ; Nigam, Vivek ; FONSECA, IGUATEMI E. . A Selective Defense for Application Layer DDoS Attacks. In: 2014 IEEE Joint Intelligence and Security Informatics Conference (JISIC), 2014, The Hague. 2014 IEEE Joint Intelligence and Security Informatics Conference, 2014. p. 75.

• BENTON, N. ; HOFMANN, M. ; NIGAM, V. . Proof-Relevant Logical Relations for Name Generation. In: 11th International Conference on Typed Lambda Calculi and Applications (TLCA), 2013, Eindhoven. 11th International Conference on Typed Lambda Calculi and Applications (TLCA). Berlim: Springer, 2013. v. LNCS. p. 4-19.

• Kanovich, Max ; KIRIGIN, TAJANA BAN ; NIGAM, V. ; Scedrov, Andre . Bounded Memory Protocols and Progressing Collaborative Systems. In: 18th European Symposium on Research in Computer Security, 2013, Egham, UK. Computer Security ? ESORICS 2013, 2013. v. LNCS. p. 309-326.

• NIGAM, V. ; OLARTE, C. ; PIMENTEL, E. . A General Proof System for Modalities in Concurrent Constraint Programming. In: International Conference on Concurrency Theory, 2013, Buenos Aires. International Conference on Concurrency Theory, 2013. v. LNCS. p. 410-424.

• NIGAM, V. ; Reis, Giselle ; LIMA, L. . Checking Proof Transformations with ASP. In: International Conference on Logic Programming, 2013, Istabul. International Conference on Logic Programming. EUA: TPLP, 2013. v. 13. p. 4-5.

• Max Kanovich ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn ; Ranko Perovic . A Rewriting Framework for Activities Subject to Regulations. In: Rewriting Techniques and Applications (RTA'12), 2012, Nagoya. 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012. v. 15. p. 305-322.

• Nigam, Vivek . On the Complexity of Linear Authorization Logics. In: 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012), 2012, Dubrovnik. 2012 27th Annual IEEE Symposium on Logic in Computer Science. p. 511.

• NIGAM, V. ; Ban Kirigin, Tajana ; Scedrov, Andre ; Carolyn Talcott ; Max Kanovich ; Ranko Perovic . Towards an automated assistant for clinical investigations. In: IHI ACM SIGHIT International Health Informatics Symposium, 2012, Miami. IHI ACM SIGHIT International Health Informatics Symposium, 2012. v. ACM. p. 773-778.

• Max Kanovich ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre . Bounded memory Dolev-Yao adversaries in collaborative systems. In: Formal Aspects of Security and Trust, 2011, Pisa. Formal Aspects of Security and Trust, 2011. v. 6561. p. 18-33.

• NIGAM, V. ; Jia, Limin ; Loo, Boon Thau ; Scedrov, Andre . Maintaining distributed logic programs incrementally. In: International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2011, Odense. International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2011. p. 125-136.

• Nigam, Vivek ; Jia, Limin ; Wang, Anduo ; Thau Loo, Boon ; Scedrov, Andre . An operational semantics for Network Datalog. In: Logic, Mobility and Agents, 2010, Edinburgo. Proceedings of Logic, Mobility and Agents, 2010.

• Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre . Progressing collaborative systems. In: FCS-Privmod, 2010, Edinburgo. Proceedings of FCS-Privmod, 2010.

• NIGAM, V. ; MILLER, D . Algorithmic specifications in linear logic with subexponentials. In: International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2009. International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2009. p. 129-140.

• Nigam, Vivek . Using Tables to Construct Non-Redundant Proofs. In: Computability in Europe, 2008, Atenas. Abstracts and extended abstracts of unpublished papers, 2008. v. 2008.

• NIGAM, V. ; Miller, Dale . Focusing in Linear Meta-Logic. In: International Joint Conference Automated Reasoning, 2008. International Joint Conference Automated Reasoning, 2008.

• MILLER, D ; NIGAM, V. . Incorporating tables into proofs. In: Computer Science Logic, 2007, Lausanne. Computer Science Logic, 2007.

• NIGAM, V. ; Leite, J . Adding Knowledge Updates to 3APL. In: International Workshop on Programming Multi-Agent Systems, 2007. International Workshop on Programming Multi-Agent Systems.

• NIGAM, V. ; Leite, J . A Dynamic Logic Programming Based System for Agents with Declarative Goals. In: Declarative Agent Languages and Technologies, 2006. Declarative Agent Languages and Technologies, 2006.

• KOZLENKOV, A. ; Penaloza, R ; NIGAM, V. ; Royer, L ; Schroeder, M ; Dawelbait, G . Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. In: Reactivity on the Web at the International Conference on Extending Database Technology, 2006. Reactivity on the Web at the International Conference on Extending Database Technology, 2006.

• Nigam, Vivek ; Nascimento Jr., Cairo ; Nascimento, Luiz Fernando . Estudo Comparativo da Aplicação de Técnicas de Inteligência Artificial para a Previsão da Faixa de Peso de Récem-Nascidos. In: IX Encontro de Iniciação Científica e Pós-Graduação do ITA, 2003, São José dos Campos. Anais do IX Encontro de Iniciação Científica e Pós-Graduação do ITA, 2003.

• Kanovich, Max ; Ban Kirigin, Tajana ; NIGAM, V. ; Scedrov, Andre ; Talcott, Carolyn . Towards Timed Models for Cyber-Physical Security Protocols. In: Foundations of Computer Security and Formal and Computational Cryptography, 2014, Vienna. Foundations of Computer Security and Formal and Computational Cryptography, 2014. v. -.

• Nigam, Vivek . Bounded memory Dolev-Yao adversaries in collaborative systems. 2010. (Apresentação de Trabalho/Seminário).

• Nigam, Vivek . Algorithmic specifications in linear logic with subexponentials. 2009. (Apresentação de Trabalho/Seminário).

• Nigam, Vivek . A framework for proof systems. 2009. (Apresentação de Trabalho/Seminário).

• Nigam, Vivek . Incorporating tables into proofs. 2007. (Apresentação de Trabalho/Seminário).

Outras produções

Projetos de pesquisa

• 2014 - Atual

  Regulated Colaborative Systems: Foundations and Applications, Descrição: In a collaborative system [35], agents work together in order to achieve a common goal, but at the same time, try to avoid that bad things happen, that is, bad states are reached. An example of such a collaboration is a clinical investigation (CI), which is a set of procedures in medical research and drug development, whose goal is to test a new drug or other intervention on human subjects. In a CI, subjects, nurses, doctors, hospital administrators, regulatory agencies, clinical research organizations (CRO), and pharmaceutical companies (Sponsors) collaborate in order to test the effectiveness of the experimental drug, so that it can be approved by public agencies, such as the Food and Drug Administration (FDA) [39].1 However, while one collaborates in order to collect enough data for testing the drug, one should also not compromise the health of a subject during the investigation neither should private data of a subject be publicly released together with his name. That is the name of the patient should not be revealed together with his private data. Therefore, such collaborations are subject to heavy regulations specifying the rules of a suc- cessful collaboration. We classify these types of collaborative stems as regulated. Examples of regulated collaborative systems also include processes in the Financial sector and Access Con- trol Mechanisms, where agents collaborate to share resources but are subject to access control policies, such as airport security measures to ensure the safety of passengers.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Vivek Nigam - Coordenador / Max Kanovich - Integrante / Ban Kirigin, Tajana - Integrante / Scedrov, Andre - Integrante / Carolyn Talcott - Integrante / Elaine Pimentel - Integrante / Carlos Olarte - Integrante.

• 2014 - Atual

  GT-ACTIONS: Ambiente Computacional para Tratamento de Incidentes com Ataques de Negação de Serviço, Descrição: O projeto visa conceber uma plataforma computacional denominada ACTIONS, para identificação e tratamento em tempo real de ataques Distribuídos de Negação de Serviço (DDoS - Distributed Denial of Service). Além disso, devido à grande capacidade de mudança dos ataques DDoS, que assumem novas características, pretende-se desenvolver uma metodologia para adequar rapidamente os algoritmos para o tratamento de novas versões de ataques... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Vivek Nigam - Coordenador / Iguatemi Eduardo da Fonseca - Integrante / Moises Renato Nunes Ribeiro - Integrante / Helio Waldman - Integrante / Leandro Cavalcanti de Almeida - Integrante.

• 2013 - Atual

  Um Framework Lógico para a Especificação e Verificação de Sistemas de Distribuídos, Descrição: Iremos desenvolver um framework lógico baseado em sistemas de prova para a especificação de sistemas distribuídos. Em particular, iremos continuar a nossa investigação do sistema proposto pelo proponente em conjunto com Miller que extende a lógica linear com subexponenciais. Nós interpretamos subexponenciais como endereços abstratos de memória onde pode-se especificar conjuntos de estruturas de dados e como a procura por uma prova pode ser interpretada como a manipulação destas estruturas. Contudo, consideramos somente o caso sequencial, i.e., quando existe um somente um processo sendo executado. Em particular iremos investigar como interpretar subexponenciais de formas mais criativas, como por exemplo, regiões de espaços em sistemas distribuídos ou unidades de tempo e como diferentes processos podem manipular ou até migrar de uma espaço para outro. Como foi demonstrado recentemente, o uso de frameworks lógicos possibilitará a especificação e verificação de sistemas distribuídos. Por exemplo, é possível verificar se o sistema chegará a um estado indesejado, \eg, de \emph{deadlock}. No final deste projeto esperamos ter construído o maquinário teórico e possivelmente a construção de ferramentas para a especificação de sistemas distribuídos e também a verificação de tais propriedades.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Vivek Nigam - Coordenador / Leonardo Lima - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2013 - Atual

  Sistemas Colaborativos com Tempo Explícito, Descrição: Sistemas colaborativos são sistemas onde participantes colaboram para atingir um objetivo em comum. Exemplos de sistemas colaborativos incluem robôs que estão tentando explorar eficientemente um território desconhecido, ou mesmo uma investigação clínica onde pacientes e doutores tentam coletar dados para testar a eficiência de um medicamento experimental. Tempo é um importante fator para a especificação das regras e políticas de uma colaboração. Para uma boa colaboração, os participantes devem seguir prazos bem definidos e reagir a tempo a eventos não esperados, como eventos críticos. Outra importante característica de sistemas colaborativos é que os seus participantes precisam gerar constantes novas que não aparecem em nenhum outro lugar, também chamadas de \emph{nonces} na literatura de protocolos. Devido a complexidade destes sistemas, existe um potencial grande para erros, mal entendidos ou até mesmo ma fé. Modelos matemáticos executáveis podem ser usados para determinar a corretude destes sistemas e evitar que violações ocorram. Contudo é necessário que estes modelos matemáticos e ferramentas computacionais mencionem tempo explicitamente e ao mesmo tempo permitam a geração de constantes novas. Neste projeto investigaremos como estender modelos de reescritura de multiconjuntos para que este mencionem tempo real, investigaremos a complexidade de problemas relevantes para sistemas colaborativos, e investigaremos como implementar cenários usando estes modelos matemáticos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (5) . , Integrantes: Vivek Nigam - Coordenador / Kanovich, Max - Integrante / Ban Kirigin, Tajana - Integrante / Scedrov, Andre - Integrante / Carolyn Talcott - Integrante.

Prêmios