Shubham Sahai
Title
Cited by
Cited by
Year
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations
S Sahai, P Subramanyan, R Sinha
International Conference on Computer Aided Verification, 201-224, 2020
42020
Verity: Blockchains to detect insider attacks in DBMS
SS Srivastava, M Atre, S Sharma, R Gupta, SK Shukla
arXiv preprint arXiv:1901.00228, 2019
32019
Integer factoring using small algebraic dependencies
M Agrawal, N Saxena, SS Srivastava
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
22016
Secure and Decentralized Management of Health Records
S Venkatesan, S Sahai, SK Shukla, J Singh
Applications of Blockchain in Healthcare, 115-139, 2021
2021
Enabling Privacy and Traceability in Supply Chains using Blockchain and Zero Knowledge Proofs
S Sahai, N Singh, P Dayama
2020 IEEE International Conference on Blockchain (Blockchain), 134-143, 2020
2020
Decentralized Device Authentication Model using the Trust Score and Blockchain Technology for Dynamic Networks
V Subramanian, Y Rajendra, S Sahai, SK Shukla
2020 IEEE International Conference on Blockchain (Blockchain), 116-125, 2020
2020
Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS
S Sahai, M Atre, S Sharma, R Gupta, SK Shukla
2020 IEEE International Conference on Blockchain (Blockchain), 26-35, 2020
2020
Blockchain and Its Application in Cybersecurity
SS Srivastava, R Dwivedi, A Gunda, DK Meena, R Negi, N Vasita, ...
Cyber Security in India, 23-32, 2020
2020
Working out an example with CEGAR
SS Srivastava
The system can't perform the operation now. Try again later.
Articles 1–9