| Verification of Quantitative Hyperproperties Using Trace Enumeration Relations S Sahai, P Subramanyan, R Sinha International Conference on Computer Aided Verification, 201-224, 2020 | 4 | 2020 |
| Verity: Blockchains to detect insider attacks in DBMS SS Srivastava, M Atre, S Sharma, R Gupta, SK Shukla arXiv preprint arXiv:1901.00228, 2019 | 3 | 2019 |
| Integer factoring using small algebraic dependencies M Agrawal, N Saxena, SS Srivastava 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 2 | 2016 |
| 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 | | |
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
