BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vivek Nigam
SearchCollections
Map detail
Vivek Nigam9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipVivek NigamAVivek NigamResearcherTowards the Automated Generation of Focused Proof SystemsWTowards the Automated G...preprint / 2015Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed IntrudersWTowards the Automated V...preprint / 2016Automating Safety and Security Co-Design through Semantically-Rich Architecture PatternsWAutomating Safety and S...preprint / 2022Security Engineering for ISO 21434WSecurity Engineering fo...preprint / 2021Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety PatternsWLess Manual Work for Sa...preprint / 2020A Proof Theoretic Study of Soft Concurrent Constraint ProgrammingWA Proof Theoretic Study...preprint / 2014Abstract Effects and Proof-Relevant Logical RelationsWAbstract Effects and Pr...preprint / 2012Effect-Dependent Transformations for Concurrent ProgramsWEffect-Dependent Transf...preprint / 2015
Person8 links

Vivek Nigam

Researcher

PaperTowards the Automated Generation of Focused Proof SystemsAuthorship / preprint / 2015PaperTowards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed IntrudersAuthorship / preprint / 2016PaperAutomating Safety and Security Co-Design through Semantically-Rich Architecture PatternsAuthorship / preprint / 2022PaperSecurity Engineering for ISO 21434Authorship / preprint / 2021PaperLess Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety PatternsAuthorship / preprint / 2020PaperA Proof Theoretic Study of Soft Concurrent Constraint ProgrammingAuthorship / preprint / 2014PaperAbstract Effects and Proof-Relevant Logical RelationsAuthorship / preprint / 2012PaperEffect-Dependent Transformations for Concurrent ProgramsAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)