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 | 33 | 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 | 12* | 2020 |
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations S Sahai, P Subramanyan, R Sinha International Conference on Computer Aided Verification, 201-224, 2020 | 12 | 2020 |
Secure and decentralized management of health records S Venkatesan, S Sahai, SK Shukla, J Singh Applications of blockchain in healthcare, 115-139, 2021 | 6 | 2021 |
Integer factoring using small algebraic dependencies M Agrawal, N Saxena, SS Srivastava 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 6 | 2016 |
Improving the Coverage of GPT for Automated Feedback on High School Programming Assignments S Sahai, UZ Ahmed, B Leong NeurIPS'23 Workshop on Generative AI for Education (GAIED), 2023 | 5 | 2023 |
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 | 5 | 2020 |
Detecting insider attacks on databases using blockchains S Sharma, R Gupta, SS Srivastava, SK Shukla ACMSIGSAC Conference on Computer and Communications Security, 2017 | 4 | 2017 |
Blockchain and its application in cybersecurity S Sahai Srivastava, R Dwivedi, A Gunda, DK Meena, R Negi, N Vasita, ... Cyber Security in India: Education, Research and Training, 23-32, 2020 | 3 | 2020 |
Investment Compliance in Hedge Funds using Zero Knowledge Proofs K Kalra, SK Shukla, S Sahai The Journal of The British Blockchain Association, 2021 | | 2021 |
Working out an example with CEGAR SS Srivastava | | |