MTECH/BTECH
- Major Manjunath Bilur
A system for assessing risk for Business Process Model Network (BPMN) via Attack Tree
- Anugrah Gari
A System for assessing risk for Business Process Model Network (BPMN) via Attack Tree
- Karan Kumar Singh
Privacy Analysis in Credit based Network
- Shivam Jayesh Patel
Information Flow Control in Python Programs
- Prateek Patidar
Analyse Solidity: A graphical tool for Analysing Solidity Programs
- Akshat Garg
Embedding Security Inside Compiler Optimizations
- Anasuya Acharya
Landcoin-Land record management using the blockchain
- Patil Ishwari Abhijit
Vulnerability detection in Software
- Limdiwala Dhaval Jayeshkumar
Attack Tree Threat Modelling
- Tejas Raut
Automatic Verification of Crypto Protocols
- Ashna Gaur
Automatic Verification of Crypto Protocols
RA’S
- Bhagyesh Patil
Security and Measures in IOT Systems
- Snehal Borse
Analysis of vulnerabilities in Smart Contracts written using Solidity
- Satyaki Sen
Analysis of Privacy Preserving Deep Learning
- Parjanya Vyas
Anonymity System architecture using TOR & HORNET for Software Defined Network (SDN)
- Digvijaysingh Gour
Security in Speculative Computation Via Information Flow