Vivek Nigam

Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

  • Endereço para acessar este CV: http://lattes.cnpq.br/2523534885788994
  • Última atualização do currículo em 16/07/2018


Possui graduação em Engenharia Eletrônica pelo Instituto Tecnológico de Aeronáutica (2003), mestrado duplo em Lógica Computacional pela Universidade Nova de Lisboa (2006) e pela Technische Universitaet Dresden (2006) e doutorado em Ciência da Computação pela École Polytechnique em Paris (2009). Fez dois pós-doutorados. O primeiro na Universidade da Pennsilvânia por cerca de 10 meses, e o segundo, financiado pela fundação Alexander von Humboldt, na Universidade de Munique (LMU) por dois anos.Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, Linguagens de Programação, Segurança de Protocolos e Complexidade de Algoritmos. Atua e é credenciado no Programa de Pós-Graduação em Informática (PPGI) da UFPB. Para uma lista mais atualizada de publicações e trabalhos visite a minha homepage: http://www.nigam.info (Texto informado pelo autor)


Identificação


Nome
Vivek Nigam
Nome em citações bibliográficas
NIGAM, V.;Nigam, Vivek

Endereço


Endereço Profissional
Universidade Federal da Paraíba, Centro de Ciências Exatas e da Natureza - Campus I, Departamento de Estatística e Informática.
Jardim Jardim Universitário, s/n Bloco C
Castelo Branco
58051970 - João Pessoa, PB - Brasil
Telefone: (083) 96138029
URL da Homepage: http://www.nigam.info/


Formação acadêmica/titulação


2007 - 2009
Doutorado em Informatique.
Ecole Polytechnique, POLYTECHNIQUE, França.
Título: Exploiting non-canonicity in the sequent calculus, Ano de obtenção: 2009.
Orientador: Dale Miller.
Bolsista do(a): INRIA, INRIA, França.
Palavras-chave: Linear Logic; Sequent calculus; Subexponentials; Teoria da prova.
Grande área: Ciências Exatas e da Terra
2004 - 2006
Mestrado em European Master's Program in Computational Logic.
Technische Universitaet Dresden, TU Dresden, Alemanha.
Título: Dynamic Logic Programming and 3APL,Ano de Obtenção: 2006.
Orientador: João Leite.
Bolsista do(a): Programme Alßan, ALßAN, Alemanha.
Palavras-chave: 3APL; Dynamic Logic Programming; Multi-agent systems; Knowledge Updates.
2004 - 2006
Mestrado em European Master's Program in Computational Logic.
Universidade Nova de Lisboa, UNL, Portugal.
Título: Dynamic Logic Programming and 3APL,Ano de Obtenção: 2006.
Orientador: João Leite.
Bolsista do(a): Programme Alßan, ALßAN, Alemanha.
1999 - 2003
Graduação em Engenharia Eletronica.
Instituto Tecnológico de Aeronáutica, ITA, Brasil.
Título: Estudo Comparativo da Aplicação de Técnicas de Inteligência Artificial para a Previsão da Faixa de Peso de Récem-Nascidos..
Orientador: Cairo Nascimento Jr.


Pós-doutorado


2010 - 2012
Pós-Doutorado.
Ludwig Maximilian University, LMU, Alemanha.
Bolsista do(a): Alexander von Humboldt, AVH, Alemanha.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
2009 - 2010
Pós-Doutorado.
University of Pennsylvania, UPENN, Estados Unidos.
Bolsista do(a): University of Pennsylvania, UPENN, Estados Unidos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.


Atuação Profissional



Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto I, Regime: Dedicação exclusiva.

Atividades

03/2013 - Atual
Ensino, Ciência da Informação, Nível: Pós-Graduação

Disciplinas ministradas
Seminário da Pós Graduação em Informática
12/2012 - 04/2013
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Pesquisa Aplicada à Computação
Lógica Aplicada à Computação

Ludwig-Maximilians-Universität München, LMU, Alemanha.
Vínculo institucional

2010 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Pesquisador Pos-doutorando, Regime: Dedicação exclusiva.

Atividades

03/2012 - 08/2012
Ensino, Protocolos de Segurança, Nível: Pós-Graduação

Disciplinas ministradas
Protocol de Segurança

Smar Equipamentos Industriais Ltda, SMAR, Brasil.
Vínculo institucional

2004 - 2004
Vínculo: Engenheiro, Enquadramento Funcional: Departamento de Pesquisa e Desenvolvimento, Carga horária: 45


Fraunhofer Institute for Experimental Software Engineering, IESE, Alemanha.
Vínculo institucional

2005 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 10


A.T. Kearney Consultoria de Gestão Empresarial, A.T. KEARNEY, Brasil.
Vínculo institucional

2003 - 2003
Vínculo: Estagiario, Enquadramento Funcional: Sourcing Practice, Carga horária: 20



Projetos de pesquisa


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


Revisor de periódico


2010 - Atual
Periódico: Transactions of Computational Logic


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Fundamentos de Segurança e Privacidade.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.


Idiomas


Alemão
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Hindi
Compreende Pouco, Fala Pouco.


Prêmios e títulos


2009
First place in the IPv6 challenge realizado na França, G6.
2002
Sun Certified Java Programmer for the Java 2 Platform, Sun Microsystems.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
LEMOS, MARCILIO O.O.2018LEMOS, 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.

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

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

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

5.
DE SOUSA BARROS, JOSÉ2017DE 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.

6.
Kanovich, Max2017Kanovich, 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.

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

8.
Pimentel, Elaine2016Pimentel, 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.

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

10.
Kanovich, Max2015Kanovich, 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.

11.
Nigam, Vivek2015Nigam, 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.

12.
Max Kanovich2014Max 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.

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

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

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

16.
Pimentel, Elaine2014Pimentel, 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.

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

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

19.
Wang, Anduo2012Wang, 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.

20.
Nigam, Vivek2011Nigam, 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.

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

Capítulos de livros publicados
1.
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.

Textos em jornais de notícias/revistas
1.
NIGAM, V.. Bloco Flexível Matemático. Revista Controle e Instrumentação, 01 jul. 2004.

Trabalhos completos publicados em anais de congressos
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.

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

3.
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.

4.
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.

5.
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.

6.
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.

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

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

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

27.
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.

28.
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.

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

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

31.
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.

32.
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.

33.
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.

34.
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.

Resumos expandidos publicados em anais de congressos
1.
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. -.

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

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

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

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


Produção técnica
Programas de computador sem registro
1.
Nigam, Vivek. Bloco Flexível Matemático. 2004.

2.
NIGAM, V.. Bloco de Controle Fuzzy. 2004.

3.
Nigam, Vivek. Bloco Preditor Smith. 2004.

4.
Nigam, Vivek. Bloco Função de Transferência. 2004.

Trabalhos técnicos
1.
NIGAM, V.. Referee da Revista Theoretical Computer Scienec. 2013.

2.
NIGAM, V.. Referee da Revista Journal of Logic and Computation. 2013.

3.
Nigam, Vivek. Referee da 22nd International Symposium on Logic-Based Program Synthesis and Transformation. 2012.

4.
Nigam, Vivek. Referee da Second International Conference on Certified Programs and Proofs. 2012.

5.
Nigam, Vivek. Referee of The Computer Journal. 2012.

6.
NIGAM, V.. Referee da Journal of Functional Programming. 2011.

7.
NIGAM, V.. Referee da Computer Science and Information Systems. 2011.

8.
NIGAM, V.. Referee da 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. 2011.

9.
Nigam, Vivek; Jia, Limin ; Wang, Anduo ; Thau Loo, Boon ; Scedrov, Andre . Maintaining Recursive Distributed Views Incrementally. 2010.

10.
Nigam, Vivek. Referee da 19th EACSL Annual Conference on Computer Science Logic. 2010.

11.
Nigam, Vivek. Referee da 25th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. 2010.

12.
Nigam, Vivek. Referee da 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. 2010.

13.
Nigam, Vivek. Referee da 8th Asian Symposium on Programming Languages. 2010.



Patentes e registros



Programa de computador
1.
GAMA, E. ; SAMPAIO, G. ; FONSECA, I. E. ; LEMOS, MARCILIO O.O. ; RIBEIRO, M. ; NIGAM, V. . SEVEN - VERIFICAÇÃO SELETIVA NA CAMADA DE APLICAÇÃO. 2017.
Patente: Programa de Computador. Número do registro: BR512016001750-3, data de registro: 04/04/2017, título: "SEVEN - VERIFICAÇÃO SELETIVA NA CAMADA DE APLICAÇÃO" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
NIGAM, V.; QUEIROZ, S.; SIEBRA, C.. Participação em banca de Priscilla Kelly Machado Vieira. Recomendação Semântica de Conteúdo em Ambientes de Convergência Digital. 2013. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba.



Participação em bancas de comissões julgadoras
Outras participações
1.
NIGAM, V.. Member of Program Committee of LSFA'15. 2015. Universidade Federal do Rio Grande do Norte.

2.
NIGAM, V.. Member of External Program Committee of IJCAI'15. 2015. Universidad de Buenos Aires.

3.
NIGAM, V.. Member of Program Committee of WOLLIC'15. 2015. Indiana University.

4.
NIGAM, V.. Member of Program Committee of ICTAC'15. 2015. Pontificia Universidad Javeriana - Cali.

5.
NIGAM, V.. member of Program Committee of CPP'15. 2015. Tata Institute of Fundamental Research.

6.
NIGAM, V.. Member of Program Committee of the Joint 25th RTA & 12th TLCA:. 2014. Vienna University of Technology.

7.
NIGAM, V.. Member of Program Committee of the 8th Workshop on Logical and Semantic Frameworks, with Applications. 2014. Universidade de Brasília.

8.
NIGAM, V.. Member of Program Committee of the 6th Workshop on Intuitionistic Modal Logic with Applications. 2013. Fundação Coordenação de Projetos, Pesquisas e Estudos Tecnológicos.

9.
Nigam, Vivek. Member of Program Committee of the 7th Workshop on Logical and Semantic Frameworks, with Applications. 2012.

10.
Nigam, Vivek. Member of Program Committee of the 6th Workshop on Logical and Semantic Frameworks, with Applications. 2011.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Automated Reasoning - 7th International Joint Conference, IJCAR 2014. Quati: An Automated Tool for Proving Permutation Lemmas. 2014. (Congresso).

2.
Humboldt-Kolleg.Humboldt-Kolleg Proofs. 2013. (Simpósio).

3.
International Health Informatics Symposium.Towards an Automated Assistant for Clinical Investigations. 2012. (Simpósio).

4.
Logic in Computer Science (LICS'12). On the Complexity of Linear Authorization Logics. 2012. (Congresso).

5.
Rewriting Techniques and Applications (RTA'12). A Rewriting Framework for Activities Subject to Regulations. 2012. (Congresso).

6.
ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Maintaining Distributed Logic Programs Incrementally. 2011. (Congresso).

7.
Formal Aspects of Security and Trust.Bounded memory Dolev-Yao adversaries in collaborative systems. 2010. (Oficina).

8.
Logic, Agents and Mobility.An operational semantics for Network Datalog. 2010. (Oficina).

9.
Workshop on Foundations of Security and Privacy.Progressing collaborative systems. 2010. (Oficina).

10.
11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Algorithmic specifications in linear logic with subexponentials. 2009. (Congresso).

11.
4th International Joint Conference on Automated Reasoning. Focusing in Linear Meta-Logic. 2008. (Congresso).

12.
Computability in Europe. Using Tables to Construct Non-Redundant Proofs. 2008. (Congresso).

13.
16th Conference on Computer Science and Logic. Incorporating tables into proofs. 2007. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
PAIVA, V. ; PIMENTEL, E. ; BENEVIDES, M. ; NIGAM, V. . 6th Workshop on Intuitionistic Modal Logic with Applications. 2013. (Congresso).

2.
Nigam, Vivek. 18th Workshop on Logic, Language, Information and Computation. 2011. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Ariane Ventura de Sousa Falcão. Fuzdetect: Sistema de Detecção e Classificação de Ataques de Negação de Serviço. Início: 2018. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal da Paraíba. (Orientador).

2.
EDUARDO FARIAS BRINDS-LEY FOX. DETECTANDO ATAQUES SYN-FLOODING EM REDES DEFINIDAS POR SOFTWARE. Início: 2018. Dissertação (Mestrado profissional em INFORMÁTICA) - Universidade Federal da Paraíba. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Túlio Albuquerque Pascoal. Atacando e Defendendo Redes Definidas por Software. 2018. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Vivek Nigam.

2.
Marcilio Olinto de Oliveira Lemos. Defesas Seletivas para Mitigar Ataques de Negação de Serviço às Aplicações de VoIP. 2017. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Vivek Nigam.

3.
João Henrique Gonçalves Corrêa. MITIGANDO ATAQUES DE NEGAÇÃO DE SERVIÇO USANDO LISTAS BRANCAS DINÂMICAS BASEADAS EM ASSINATURAS. 2017. Dissertação (Mestrado em INFORMÁTICA) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Vivek Nigam.

4.
Yuri Gil Dantas. ESTRATÉGIAS PARA TRATAMENTO DE ATAQUES DE NEGAÇÃO DE SERVIÇO NA CAMADA DE APLICAÇÃO EM REDES IP. 2015. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Vivek Nigam.

Trabalho de conclusão de curso de graduação
1.
Abraão Aires Urquiza. Modelos de Intrusos Temporais. 2016. Trabalho de Conclusão de Curso. (Graduação em Computação e Informática) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Vivek Nigam.

2.
Leonardo Lima. Checagem Automática de Propriedades de Sistemas de Prova. 2015. Trabalho de Conclusão de Curso. (Graduação em Computação e Informática) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Vivek Nigam.

3.
Yuri Gil Dantas. Implementação do modelo de intruso Dolev-Yao em Maude. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Paraíba. Orientador: Vivek Nigam.



Inovação



Programa de computador registrado
1.
GAMA, E. ; SAMPAIO, G. ; FONSECA, I. E. ; LEMOS, MARCILIO O.O. ; RIBEIRO, M. ; NIGAM, V. . SEVEN - VERIFICAÇÃO SELETIVA NA CAMADA DE APLICAÇÃO. 2017.
Patente: Programa de Computador. Número do registro: BR512016001750-3, data de registro: 04/04/2017, título: "SEVEN - VERIFICAÇÃO SELETIVA NA CAMADA DE APLICAÇÃO" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Outras informações relevantes


Sócio da start-up ACTIONS SECURITY.



Página gerada pelo Sistema Currículo Lattes em 18/10/2018 às 9:34:29