1
0
0
(1 - 17 von 22
)
LinkedIn: Vivek Nigam - Network Security Analyst - HCL Technologies | LinkedInin.linkedin.com › vivek-nigam a208
View Vivek Nigam's profile on LinkedIn, the world's largest professional community. Vivek has 1 job listed on their profile. See the complete profile on LinkedIn ...
LinkedIn: Vivek Nigam - SOC Analyst - IBM | LinkedInin.linkedin.com › vivek-nigam b40
Vivek Nigam | India | Security Analyst | 26 connections | View Vivek's homepage, profile, activity, articles.
Vivek Nigam - fortiss
www.fortiss.org
Web2019Formal Security Verification of Industry 4.0 ApplicationsVivek Nigamund Carolyn TalcottIn 24th IEEE International Conference on Emerging Technologies and Factory …
Max Kanovich - fortiss
www.fortiss.org
Web2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki, Tajana Ban Kirigin, Max Kanovich, Vivek Nigam, Andre …
Logic, Language, and Security
www.gbv.de
WebVivek Nigam - Tajana Ban Kirigin -. Carolyn Talcott - Joshua Guttman-Stepan Kuznetsov - Boon Thau Loo -. Mitsuhiro Okada (Eds.)
Foundations of Security, Protocols, and Equational ...google.co.uk
books.google.co.uk
... Vivek Nigam, Carolyn Talcott, and Abraão Aires Urquiza Symbolic Analysis of ... Vivek Nigam, Andre Scedrov, and Carolyn Talcott Belenios: A Simple Private ...
Logic, Language, and Security: Essays Dedicated to Andre ...google.co.uk
books.google.co.uk
... Vivek Nigam • Ban Kirigin • Carolyn Talcott • Joshua Guttman • Stepan Kuznetsov • Boon Thau Loo • Mitsuhiro Okada (Eds.) Logic, Language, and Security ...
Foundations of Security, Protocols, and Equational Reasoning: Essays...
books.google.se
89 Vivek Nigam, Carolyn Talcott, and Abraão Aires Urquiza Symbolic Analysis of Identity-Based Protocols David Basin, Lucca ...
[ ] Model-Based Safety and Security Engineering
arxiv.org
Submission history. From: Vivek Nigam [view email] [v1] Thu, 11 Oct :09: 28 UTC (886 KB) [v2] Wed, 2 Jan :00:04 UTC (911 KB). Which authors ...
Security Engineering for ISO arxiv.org › cs
arxiv.org
· From: Vivek Nigam [view email] [v1] Wed, 30 Dec :36:45 UTC (828 KB) [ v2] Sun, 10 Jan :56:05 UTC (1,366 KB) [v3] Sun,
Slow denial-of-service attacks on software defined networks -...
www.sciencedirect.com
· Vivek Nigam is a research scientist leading the safety and security project group at fortiss. He is a Tenured Associate Professor at the Federal ...
dblp: Vivek Nigam
dblp.org
Vivek Nigam, Carolyn L. Talcott: Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. CoRR abs ( 2023) [j28] Vivek Nigam, Carolyn L. Talcott: Automated construction of security integrity wrappers for Industry 4.0 applications. J.
Vivek Nigam - Google Scholar
scholar.google.com
i10-index Vivek Nigam. Huawei. Verified email at huawei.com - Homepage. Model-Based Engineering Formal Methods Safety and Security Logic in Computer Science. Title.
Vivek Nigam - Google Scholar
scholar.google.de
Huawei - mal zitiert - Model-Based Engineering - Formal Methods - Safety and Security - Logic in Computer Science
Logic, Language, and Security – Vivek Nigam (2020) – terrashop.de
www.terrashop.de
WebEnglisches Buch: Logic, Language, and Security - von Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada - …
Slow TCAM Exhaustion DDoS Attack - Archive ouverte HAL
hal.archives-ouvertes.fr
Túlio Pascoal, Yuri Dantas, Iguatemi Fonseca, Vivek Nigam. Slow TCAM Exhaustion DDoS Attack. 32th IFIP International Conference on ICT Systems Security ...
Alle Infos zum Namen "Vivek Nigam"
Verwandte Suchanfragen zu Vivek Nigam
|
Personen Vorname "Vivek" (497) Name "Nigam" (66) |
sortiert nach Relevanz / Datum