Subodh Sharma

49 papers A* 3A 2B 9C 2Misc 1Journal 18Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities.
CoRR
Yury Yanovich, Victoria Kovalevskaya, Maksim Egorov, Elizaveta Smirnova, Matvey Mishuris, Yash Madhwal, Kirill Ziborov, Vladimir Gorgadze, Subodh Sharma
2025 J jnl
From Paradigm Shift to Audit Rift: Exploring Vulnerabilities and Audit Tips for TON Smart Contracts.
CoRR
Yury Yanovich, Sergey Sobolev, Yash Madhwal, Vadim S. Ziborov, Vladimir Gorgadze, Victoria K. Grabezhova, Elizaveta Smirnova, Matvey Mishuris, Subodh Sharma
2024 — conf
Parameterized Static Analysis for Weak Memory Models.
ISEC
Divyanjali Sharma, Subodh Sharma
2024 — conf
Symbolic Verification of Mesh Commissioning Protocol of Thread.
ISEC
Pankaj Upadhyay, Subodh Sharma, Guangdong Bai
2024 J jnl
Traceable mixnets.
Proc. Priv. Enhancing Technol.
Prashant Agrawal, Abhinav Nakarmi, Mahabir Prasad Jhanwar, Subodh Sharma, Subhashis Banerjee
2023 J jnl
OpenVoting: Recoverability from Failures in Dual Voting.
IACR Cryptol. ePrint Arch.
Prashant Agrawal, Kabir Tomer, Abhinav Nakarmi, Mahabir Prasad Jhanwar, Subodh Sharma, Subhashis Banerjee
2023 J jnl
Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version).
CoRR
Pankaj Upadhyay, Subodh Sharma, Guangdong Bai
2023 J jnl
Traceable mixnets.
CoRR
Prashant Agrawal, Abhinav Nakarmi, Mahabir Prasad Jhanwar, Subodh Sharma, Subhashis Banerjee
2023 C conf
Verifying Exception-Handling Code in Concurrent Libraries.
APSEC
Dhriti Khanna, Subodh Sharma, Rahul Purandare
2022 J jnl
BiRD: Race Detection in Software Binaries under Relaxed Memory Models.
ACM Trans. Softw. Eng. Methodol.
Ridhi Jain, Rahul Purandare, Subodh Sharma
2022 A* conf
Exploiting Epochs and Symmetries in Analysing MPI Programs.
ASE
Rishabh Ranjan, Ishita Agrawal, Subodh Sharma
2022 B conf
Fence Synthesis Under the C11 Memory Model.
ATVA
Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma
2022 J jnl
Fence Synthesis under the C11 Memory Model.
CoRR
Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma
2022 B conf
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper).
SEFM
Namrata Jain, Kosuke Kaneko, Subodh Sharma
2022 J jnl
Secure Information Flow Typing in LUSTRE.
CoRR
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
2021 — conf
Development and Validation of Serious Games for Teaching Cybersecurity.
JCSG
Srishti Kulshrestha, Sarthak Agrawal, Devottam Gaurav, Manmohan Chaturvedi, Subodh Sharma, Ranjan Bose
2021 J jnl
Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics.
CoRR
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
2021 Misc conf
Dynamic Verification of C11 Concurrency over Multi Copy Atomics.
TASE
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
2021 A conf
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks.
ICST
Dhriti Khanna, Rahul Purandare, Subodh Sharma
2021 B conf
Thread-Modular Analysis of Release-Acquire Concurrency.
SAS
Divyanjali Sharma, Subodh Sharma
2021 J jnl
Thread-modular Analysis of Release-Acquire Concurrency.
CoRR
Divyanjali Sharma, Subodh Sharma
2020 J jnl
An operational architecture for privacy-by-design in public service applications.
CoRR
Prashant Agrawal, Anubhutie Singh, Malavika Raghavan, Subodh Sharma, Subhashis Banerjee
2020 — conf
PACKUARIUM: Network Packet Visualization Using Mixed Reality for Detecting Bot IoT Device of DDoS Attack.
EIDWT
Kosuke Kaneko, Yusuke Tsutsumi, Subodh Sharma, Yoshihiro Okada
2020 C conf
Security Types for Synchronous Data Flow Systems.
MEMOCODE
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
2020 A conf
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches.
ICSME
Dhriti Khanna, Rahul Purandare, Subodh Sharma
2019 J jnl
A universally verifiable, software independent, bare-handed voting protocol.
CoRR
Prashant Agrawal, Kabir Tomer, Subodh Sharma, Subhashis Banerjee
2019 J jnl
Privacy concerns with Aadhaar.
Commun. ACM
Subhashis Banerjee, Subodh Sharma
2019 — conf
Reliable Decentralized Oracle with Mechanisms for Verification and Disputation.
CANDAR Workshops
Limao Ma, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai
2019 B conf
Simulation of Secure Volunteer Computing by Using Blockchain.
AINA
Johjima Shota, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai
2018 B conf
Dynamic Symbolic Verification of MPI Programs.
FM
Dhriti Khanna, Subodh Sharma, César Rodríguez, Rahul Purandare
2018 — conf
Suppressing Chain Size of Blockchain-Based Information Sharing for Swarm Robotic Systems.
CANDAR Workshops
Yuki Nishida, Kosuke Kaneko, Subodh Sharma, Kouichi Sakurai
2018 A* conf
ZEUS: Analyzing Safety of Smart Contracts.
NDSS
Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma
2017 J jnl
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
ACM Trans. Program. Lang. Syst.
Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
2016 J jnl
Efficient Verification of Concurrent Programs Over TSO Memory Model.
CoRR
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
2016 — conf
POLLUX: safely upgrading dependent application libraries.
SIGSOFT FSE
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare
2015 B conf
Unfolding-based Partial Order Reduction.
CONCUR
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
2015 J jnl
Unfolding-based Partial Order Reduction.
CoRR
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
2014 J jnl
AbPress: Flexing Partial-Order Reduction and Abstraction.
CoRR
Daniel Kroening, Subodh Sharma, Björn Wachter
2014 A* conf
Accelerated test execution using GPUs.
ASE
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening
2014 B conf
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
FM
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
2013 — —
Predictive Analysis of Message Passing Applications.
Subodh Sharma
2012 — conf
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications.
SBMF
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
2012 — conf
Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications.
SC Companion
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
2011 — conf
Efficient Verification Solutions for Message Passing Systems.
IPDPS Workshops
Subodh Sharma, Ganesh Gopalakrishnan
2009 — conf
Dynamic verification of Multicore Communication applications in MCAPI.
HLDVT
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer
2009 B conf
MCC: A runtime verification tool for MCAPI user applications.
FMCAD
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
2009 — conf
Some resources for teaching concurrency.
PADTAD
Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni
2008 — conf
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.
PVM/MPI
Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2008 B conf
ISP: a tool for model checking MPI programs.
PPoPP
Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby