| 2025 | ICBC | Why is it Challenging to Overcome, Minimize or Regulate MEV? | R. K. Shyamasundar |
| 2024 | ICBC | Enhancing Robustness of Smart Contracts Through Declarations. | R. K. Shyamasundar, Snehal Borse, Mohammad Ummair |
| 2024 | ICISS | A Decoupling Mechanism for Transaction Privacy. | Vishwas Patil, R. K. Shyamasundar |
| 2022 | ICBC | A Framework of Runtime Monitoring for Correct Execution of Smart Contracts. | R. K. Shyamasundar |
| 2022 | ICISS | Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling. | Sandip Ghosal, R. K. Shyamasundar |
| 2022 | ICISS | Samyukta: A Unified Access Control Model using Roles, Labels, and Attributes. | B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar |
| 2021 | ICISS | Landcoin: A Practical Protocol for Transfer-of-Asset. | Vishwas Patil, R. K. Shyamasundar |
| 2021 | ICSE | An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. | Sandip Ghosal, R. K. Shyamasundar |
| 2021 | ISPA | SP*: An Information Flow Secure Linux. | Parjanya Vyas, R. K. Shyamasundar, Bhagyesh V. Patil, Snehal Borse, Satyaki Sen |
| 2021 | SAC | App2SecApp: privacy protection from Android applications. | Parjanya Vyas, R. K. Shyamasundar, Bhagyesh V. Patil |
| 2021 | SACMAT | Towards Unifying RBAC with Information Flow Control. | B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar |
| 2021 | SECRYPT | SecSDN: A Novel Architecture for a Secure SDN. | Parjanya Vyas, R. K. Shyamasundar |
| 2020 | APSEC | A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs. | Sandip Ghosal, R. K. Shyamasundar |
| 2020 | DBSEC | Information Flow Security Certification for SPARK Programs. | Sandip Ghosal, R. K. Shyamasundar |
| 2019 | ICSoft | Test Suite Minimization of Evolving Software Systems: A Case Study. | Amit Goyal, R. K. Shyamasundar, Raoul Jetley, Devina Mohan, Srini Ramaswamy |
| 2019 | NSS | Threat Assessment of Enterprise Applications via Graphical Modelling. | Manjunath Bilur, Anugrah Gari, R. K. Shyamasundar |
| 2018 | DBSEC | Role of Apps in Undoing of Privacy Policies on Facebook. | Vishwas T. Patil, Nivia Jatain, R. K. Shyamasundar |
| 2018 | DBSEC | FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies. | B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar |
| 2018 | ICDCIT | Secure Synthesis of IoT via Readers-Writers Flow Model. | Shashank Khobragade, N. V. Narendra Kumar, R. K. Shyamasundar |
| 2018 | ICDCIT | Security Analysis of EMV Protocol and Approaches for Strengthening It. | Khedkar Shrikrishna, N. V. Narendra Kumar, R. K. Shyamasundar |
| 2018 | ICISS | Efficacy of GDPR's Right-to-be-Forgotten on Facebook. | Vishwas T. Patil, R. K. Shyamasundar |
| 2018 | ICISS | SecSmartLock: An Architecture and Protocol for Designing Secure Smart Locks. | Bhagyesh V. Patil, Parjanya Vyas, R. K. Shyamasundar |
| 2017 | DBSEC | Undoing of Privacy Policies on Facebook. | Vishwas T. Patil, R. K. Shyamasundar |
| 2017 | ICDCIT | Analyzing Protocol Security Through Information-Flow Control. | N. V. Narendra Kumar, R. K. Shyamasundar |
| 2017 | ICDCIT | Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies. | N. V. Narendra Kumar, R. K. Shyamasundar |
| 2017 | ICISS | Semi Supervised NLP Based Classification of Malware Documents. | Mayukh Rath, Shivali Agarwal, R. K. Shyamasundar |
| 2017 | ISCC | Realizing software vault on Android through information-flow control. | R. K. Shyamasundar, N. V. Narendra Kumar, Priyanka Teltumde |
| 2017 | SECRYPT | Privacy as a Currency: Un-regulated?. | Vishwas T. Patil, R. K. Shyamasundar |
| 2017 | SEFM | A Complete Generative Label Model for Lattice-Based Access Control Models. | N. V. Narendra Kumar, R. K. Shyamasundar |
| 2016 | HPCC | An End-to-End Privacy Preserving Design of a Map-Reduce Framework. | N. V. Narendra Kumar, R. K. Shyamasundar |
| 2016 | HPCC | Information-Flow Control for Building Security and Privacy Preserving Hybrid Clouds. | R. K. Shyamasundar, N. V. Narendra Kumar, Muttukrishnan Rajarajan |
| 2016 | ICDCN | Opacity proof for CaPR+ algorithm. | Anshu S. Anand, R. K. Shyamasundar, Sathya Peri |
| 2015 | CCS | POSTER: Dynamic Labelling for Analyzing Security Protocols. | N. V. Narendra Kumar, R. K. Shyamasundar |
| 2015 | HiPC | Scaling Computation on GPUs Using Powerlists. | Anshu S. Anand, R. K. Shyamasundar |
| 2015 | ICISS | Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control. | S. Susheel, N. V. Narendra Kumar, R. K. Shyamasundar |
| 2015 | SIN | Labelled mobile ambients model for information flow security in distributed systems. | N. V. Narendra Kumar, R. K. Shyamasundar |
| 2013 | SIN | Security and protection of SCADA: a bigdata algorithmic approach. | R. K. Shyamasundar |
| 2012 | EuroPar | Dynamic Distributed Scheduling Algorithm for State Space Search. | Ankur Narang, Abhinav Srivastava, Ramnik Jain, R. K. Shyamasundar |
| 2012 | ICDCN | Postorder Based Routing and Transport Protocol for WSNs. | Shashank Shekhar, R. K. Ghosh, R. K. Shyamasundar |
| 2011 | APSCC | An Executional Framework for BPMN Using Orc. | Nihita Goel, R. K. Shyamasundar |
| 2010 | APSCC | Automatic Monitoring of SLAs of Web Services. | Nihita Goel, R. K. Shyamasundar |
| 2010 | ICDCIT | A Framework for Web-Based Negotiation. | Hrushikesha Mohanty, Rajesh Kurra, R. K. Shyamasundar |
| 2010 | ICDCIT | Malware: From Modelling to Practical Detection. | R. K. Shyamasundar, Harshit J. Shah, N. V. Narendra Kumar |
| 2010 | ICSE | Can we certify systems for freedom from malware. | N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar |
| 2009 | ISAAC | Distributed Scheduling of Parallel Hybrid Computations. | Shivali Agarwal, Ankur Narang, R. K. Shyamasundar |
| 2009 | PODC | Brief announcement: distributed phase synchronization of dynamic set of processes. | R. K. Shyamasundar, Shivali Agarwal |
| 2008 | APLAS | Static Detection of Place Locality and Elimination of Runtime Checks. | Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma |
| 2008 | APSCC | ScriptOrc: A Specification Language for Web Service Choreography. | A. K. Bhattacharjee, R. K. Shyamasundar |
| 2008 | HPCC | A Static Characterization of Affinity in a Distributed Program. | Shivali Agarwal, Rajkishore Barik, R. K. Shyamasundar |
| 2008 | ICWS | Choreography = Orchestration with Scripts + Conversations. | A. K. Bhattacharjee, R. K. Shyamasundar |
| 2007 | FMCAD | Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. | Roberto Cavada, Alessandro Cimatti, Anders Franzn, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar |
| 2007 | PPoPP | May-happen-in-parallel analysis of X10 programs. | Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar |
| 2007 | SPAA | Deadlock-free scheduling of X10 computations with bounded resources. | Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick |
| 2006 | ICISS | Specification and Realization of Access Control in SPKI/SDSI. | N. V. Narendra Kumar, R. K. Shyamasundar |
| 2006 | MEMOCODE | Compositional interaction specifications for SystemC. | Frederic Doucet, Ingolf Krger, Rajesh K. Gupta, R. K. Shyamasundar |
| 2005 | ICDCIT | Validated Code Generation for Activity Diagrams. | A. K. Bhattacharjee, R. K. Shyamasundar |
| 2005 | WCNC | PGSP: a protocol for secure communication in peer-to-peer system. | Neelima Arora, R. K. Shyamasundar |
| 2004 | ICDCIT | UGSP: Secure Key Establishment Protocol for Ad-Hoc Network. | Neelima Arora, R. K. Shyamasundar |
| 2004 | ICLP | Development of Semantic Debuggers Based on Refinement Calculus. | Rohit N. Kundaji, R. K. Shyamasundar |
| 2004 | MEMOCODE | Formal verification of pipelined processors with precise exceptions. | Krishnamani Kalyanasundaram, R. K. Shyamasundar |
| 2002 | HiPC | LLM: A Low Latency Messaging Infrastructure for Linux Clusters. | R. K. Shyamasundar, Basant Rajan, Manish Prasad, Amit Jain |
| 2002 | VMCAI | Analyzing Cryptographic Protocols in a Reactive Framework. | R. K. Shyamasundar |
| 2001 | ECRTS | MSC+: From Requirement to Prototyped Systems. | Mesfin Belachew, R. K. Shyamasundar |
| 2001 | PRDC | Validating Real-Time Constraints in Embedded Systems. | R. K. Shyamasundar, J. V. Aghav |
| 2001 | VLSID | Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model. | Siddharth R. Phanse, R. K. Shyamasundar |
| 2000 | FORTE | Modeling Distributed Embedded Systems in Multiclock ESTEREL. | Basant Rajan, R. K. Shyamasundar |
| 2000 | VLSID | Modeling VHDL in Multiclock ESTEREL. | Basant Rajan, R. K. Shyamasundar |
| 1999 | FM | A Translation of Statecharts to Esterel. | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
| 1999 | SAFECOMP | A Graphical Environment for the Specification and Verification of Reactive Systems. | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |
| 1995 | SAS | Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs | M. R. K. Krishna Rao, R. K. Shyamasundar |
| 1994 | ICPP | Derivation of Systolic Programs. | Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar |
| 1993 | FM | Verification Tools in the Development of Provably Correct Compilers. | M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar |
| 1993 | ICLP | Proving Termination of GHC Programs. | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
| 1993 | POPL | Communicating Reactive Processes. | Grard Berry, S. Ramesh, R. K. Shyamasundar |
| 1991 | CSL | A Transformational Methodology for Proving Termination of Logic Programs. | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
| 1991 | STACS | Methodology for Proving the Termination of Logic Programs. | Bal Wang, R. K. Shyamasundar |
| 1987 | ICALP | Semantics for Nondeterministic Asynchronous Broadcast Networks. | R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi |