Suivre
Vivek Nigam
Titre
Citée par
Citée par
Année
Algorithmic specifications in linear logic with subexponentials
V Nigam, D Miller
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
1222009
A selective defense for application layer ddos attacks
YG Dantas, V Nigam, IE Fonseca
2014 IEEE Joint Intelligence and Security Informatics Conference, 75-82, 2014
952014
Slow TCAM exhaustion DDoS attack
TA Pascoal, YG Dantas, IE Fonseca, V Nigam
ICT Systems Security and Privacy Protection: 32nd IFIP TC 11 International …, 2017
842017
Slow denial-of-service attacks on software defined networks
TA Pascoal, IE Fonseca, V Nigam
Computer Networks 173, 107223, 2020
612020
A framework for proof systems
V Nigam, D Miller
Journal of Automated Reasoning 45, 157-188, 2010
612010
TSNSCHED: Automated schedule generation for time sensitive networking
ACT dos Santos, B Schneider, V Nigam
2019 Formal Methods in Computer Aided Design (FMCAD), 69-77, 2019
582019
FSR: Formal analysis and implementation toolkit for safe interdomain routing
A Wang, L Jia, W Zhou, Y Ren, BT Loo, J Rexford, V Nigam, A Scedrov, ...
IEEE/ACM Transactions on Networking 20 (6), 1814-1827, 2012
542012
Maintaining distributed logic programs incrementally
V Nigam, L Jia, B Thau Loo, A Scedrov
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
532011
Subexponentials in non-commutative linear logic
M Kanovich, S Kuznetsov, V Nigam, A Scedrov
Mathematical Structures in Computer Science 29 (8), 1217-1249, 2019
502019
An extended framework for specifying and reasoning about proof systems
V Nigam, E Pimentel, G Reis
Journal of Logic and Computation 26 (2), 539-576, 2016
492016
Abstract effects and proof-relevant logical relations
N Benton, M Hofmann, V Nigam
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
432014
Incorporating tables into proofs
D Miller, V Nigam
International workshop on computer science logic, 466-480, 2007
422007
Towards the automated verification of cyber-physical security protocols: Bounding the number of timed intruders
V Nigam, C Talcott, A Aires Urquiza
Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016
392016
A general proof system for modalities in concurrent constraint programming
V Nigam, C Olarte, E Pimentel
International Conference on Concurrency Theory, 410-424, 2013
382013
Prova: Rule-based java scripting for distributed web applications: A case study in bioinformatics
A Kozlenkov, R Penaloza, V Nigam, L Royer, G Dawelbait, M Schroeder
Current Trends in Database Technology–EDBT 2006: EDBT 2006 Workshops PhD …, 2006
342006
Subexponential concurrent constraint programming
C Olarte, E Pimentel, V Nigam
Theoretical Computer Science 606, 98-120, 2015
292015
Exploiting non-canonicity in the sequent calculus
V Nigam
Ecole Polytechnique X, 2009
292009
A framework for analyzing adaptive autonomous aerial vehicles
IA Mason, V Nigam, C Talcott, A Brito
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
272018
Specifying proof systems in linear logic with subexponentials
V Nigam, E Pimentel, G Reis
Electronic Notes in Theoretical Computer Science 269, 109-123, 2011
272011
Mechanizing focused linear logic in coq
B Xavier, C Olarte, G Reis, V Nigam
Electronic Notes in Theoretical Computer Science 338, 219-236, 2018
262018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20