A Note on Linear Precedence Functions. - R. K. Shyamasundar (Inf. Process. Lett., 1976)

The Structure Generating Function of Some Families of Languages - Werner Kuich; R. K. Shyamasundar (Inf. Control., 1976)

LR-Deterministic Grammars. - R. K. Shyamasundar (J. Inf. Process. Cybern., 1978)

A note on the multiplication of 4x4 matrices. - R. K. Shyamasundar (SIGACT News, 1978)

A note on the transitive closure of a boolean matrix. - R. K. Shyamasundar (SIGACT News, 1978)

Programmed OL-systems. - Kulathur S. Rajasethupathy; R. K. Shyamasundar (Inf. Sci., 1980)

An Implementation of P and V. - Eric C. R. Hehner; R. K. Shyamasundar (Inf. Process. Lett., 1981)

A New Parsing Algorithm for EOL-Systems. - Kulathur S. Rajasethupathy; R. K. Shyamasundar (J. Inf. Process. Cybern., 1982)

On a Characterization of Pushdown Permuters. - R. K. Shyamasundar (Theor. Comput. Sci., 1982)

Correctness Preserving Transformations for Distributed Programs. - S. Mahadevan; R. K. Shyamasundar (IFIP Congress, 1983)

A linear time algorithm for obtaining the convex hull of a simple polygon. - Subir Kumar Ghosh; R. K. Shyamasundar (Pattern Recognit., 1983)

A Sentence Generator for a Compiler for PT, a Pascal Subset. - V. Murali; R. K. Shyamasundar (Softw. Pract. Exp., 1983)

Process Specification of Logic Programs. - Ramaswamy Ramanujam; R. K. Shyamasundar (FSTTCS, 1984)

A linear time algorithm for computing the convex hull of an ordered crossing polygon. - Subir Kumar Ghosh; R. K. Shyamasundar (Pattern Recognit., 1984)

A Simple Livelock-Free Algorithm for Packet Switching. - R. K. Shyamasundar (Sci. Comput. Program., 1984)

Correctness proof for the majority consensus algorithm. - A. Ravichandran; R. K. Shyamasundar (Inf. Sci., 1986)

Compositional Semantics for Real-Time Distributed Computing - Ron Koymans; R. K. Shyamasundar; Willem P. de Roever; Rob Gerth; S. Arun-Kumar (Inf. Comput., 1988)

RT-CDL: A Real Time Design Language and Its Semantics. - Leo Yuhsiang Liu; R. K. Shyamasundar (IFIP Congress, 1989)

An operational semantics of real time design language RT-CDL. - Leo Yuhsiang Liu; R. K. Shyamasundar (IWSSD, 1989)

Reasoning of real-time distributed programming languages. - Rudrapatna K. Shyamasundar; Jozef Hooman; Rob Gerth (IWSSD, 1989)

Language Constructs for Specifying Concurrency in CDL*. - R. K. Shyamasundar; James W. Thatcher (IEEE Trans. Software Eng., 1989)

Towards a Characterization of Termination of Logic Programs. - Bal Wang; R. K. Shyamasundar (PLILP, 1990)

Proof Theory for Exception Handling in a Tasking Environment. - Kamal Lodaya; R. K. Shyamasundar (Acta Informatica, 1990)

Exception Handling in RT-CDL. - Leo Yuhsiang Liu; R. K. Shyamasundar (Comput. Lang., 1990)

Static Analysis of Real-Time Distributed Systems. - Leo Yuhsiang Liu; R. K. Shyamasundar (IEEE Trans. Software Eng., 1990)

Methodology for Proving the Termination of Logic Programs. - Bal Wang; R. K. Shyamasundar (STACS, 1991)

Rewriting Concepts in the Study of Termination of Logic Programs. - R. K. Shyamasundar; M. R. K. Krishna Rao; Deepak Kapur (ALPUK, 1992)

Specification of Hybrid Systems in CRP. - R. K. Shyamasundar (AMAST, 1993)

Verification Tools in the Development of Provably Correct Compilers. - M. R. K. Krishna Rao; Paritosh K. Pandya; R. K. Shyamasundar (FME, 1993)

Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment. - Ashok Khemka; K. V. Subramanyam; R. K. Shyamasundar (IPPS, 1993)

Communicating Reactive Processes. - Gérard Berry; S. Ramesh 001; R. K. Shyamasundar (POPL, 1993)

Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment. - Ashok Khemka; R. K. Shyamasundar (Int. J. High Speed Comput., 1993)

Semantics of Nondeterministic Asynchronous Broadcast Networks - R. K. Shyamasundar; K. T. Narayana; Toniann Pitassi (Inf. Comput., 1993)

Semantics and Verification of Hierarchical CRP Programs. - R. K. Shyamasundar; S. Ramesh 001 (Hybrid Systems, 1994)

Derivation of Systolic Programs. - Ladan Kazerouni; Basant Rajan; R. K. Shyamasundar (ICPP (3), 1994)

Specifying Dynamic Reat-Time Systems in CRP. - R. K. Shyamasundar (IFIP Congress (1), 1994)

RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics. - Leo Yuhsiang Liu; R. K. Shyamasundar (Comput. Lang., 1994)

A Methodology for Provin Termination of Logic Programs. - R. K. Shyamasundar; Bal Wang (J. Log. Program., 1994)

Preemption Primitives in Reactive Languages (A Preliminary Report). - Sophie Pinchinat; Éric Rutten; R. K. Shyamasundar (ASIAN, 1995)

Combinatory Formulations of Concurrent Languages. - N. Raja 001; R. K. Shyamasundar (ASIAN, 1995)

Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs - M. R. K. Krishna Rao; R. K. Shyamasundar (SAS, 1995)

The Quine-Bernays Combinatory Calculus. - N. Raja 001; R. K. Shyamasundar (Int. J. Found. Comput. Sci., 1995)

Design of Controllers for Linear Hybrid Systems. - Rupak Majumdar; R. K. Shyamasundar (ASIAN, 1996)

Actors as a Coordinating Model of Computation (Extended Abstract). - N. Raja 001; R. K. Shyamasundar (Ershov Memorial Conference, 1996)

Mapping Linear Recurrences onto Systolic Arrays. - Ladan Kazerouni; Basant Rajan; R. K. Shyamasundar (IPPS, 1996)

Mapping Linear Recurrence Equations onto Systolic Architectures. - Ladan Kazerouni; Basant Rajan; R. K. Shyamasundar (Int. J. High Speed Comput., 1996)

Synthesizing Controllers for Hybrid Systems. - Deepak Kapur; R. K. Shyamasundar (HART, 1997)

An Optimal Multiprocessor Real-Time Scheduling Algorithm. - Ashok Khemka; R. K. Shyamasundar (J. Parallel Distributed Comput., 1997)

Proving Termination of GHC Programs. - M. R. K. Krishna Rao; Deepak Kapur; R. K. Shyamasundar (New Gener. Comput., 1997)

Combinatory Formaulations of Concurrent Languages. - N. Raja 001; R. K. Shyamasundar (ACM Trans. Program. Lang. Syst., 1997)

Taxonomy and Expressiveness of Preemption: A Syntactic Approach. - Sophie Pinchinat; Éric Rutten; R. K. Shyamasundar (ASIAN, 1998)

Mobile Computation: Calculus and Languages (A Tutorial). - N. Raja 001; R. K. Shyamasundar (ASIAN, 1998)

Transformational Methodology for Proving Termination of Logic Programs. - M. R. K. Krishna Rao; Deepak Kapur; R. K. Shyamasundar (J. Log. Program., 1998)

A Translation of Statecharts to Esterel. - Sanjit A. Seshia; R. K. Shyamasundar; A. K. Bhattacharjee; S. D. Dhodapkar (World Congress on Formal Methods, 1999)

A Graphical Environment for the Specification and Verification of Reactive Systems. - A. K. Bhattacharjee; S. D. Dhodapkar; Sanjit A. Seshia; R. K. Shyamasundar (SAFECOMP, 1999)

Modeling Distributed Embedded Systems in Multiclock ESTEREL. - Basant Rajan; R. K. Shyamasundar (FORTE, 2000)

A System for Object Code Validation. - A. K. Bhattacharjee; Gopa Sen; S. D. Dhodapkar; Kundapur Karunakar; Basant Rajan; R. K. Shyamasundar (FTRTFT, 2000)

Multiclock Esterel: A Reactive Framework for Asynchronous Design. - Basant Rajan; R. K. Shyamasundar (IPDPS, 2000)

Modeling VHDL in Multiclock ESTEREL. - Basant Rajan; R. K. Shyamasundar (VLSI Design, 2000)

Languages for Reactive Specifications: Synchrony Vs Asynchrony. - R. K. Shyamasundar; S. Ramesh 001 (Int. J. Found. Comput. Sci., 2000)

Formal Verification of Activity-Based Specification of Protocols. - K. C. Anand; R. K. Shyamasundar (J. Parallel Distributed Comput., 2000)

MSC+: From Requirement to Prototyped Systems. - Mesfin Belachew; R. K. Shyamasundar (ECRTS, 2001)

Validating Real-Time Constraints in Embedded Systems. - R. K. Shyamasundar; J. V. Aghav (PRDC, 2001)

Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model. - Siddharth R. Phanse; R. K. Shyamasundar (VLSI Design, 2001)

PERTS: an environment for specification and verification of reactive systems. - A. K. Bhattacharjee; S. D. Dhodapkar; R. K. Shyamasundar (Reliab. Eng. Syst. Saf., 2001)

PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310]. - A. K. Bhattacharjee; S. D. Dhodapkar; R. K. Shyamasundar (Reliab. Eng. Syst. Saf., 2001)

MicroBill: An Efficient Secure System for Subscription Based Services. - R. K. Shyamasundar; Siddharth B. Deshmukh (ASIAN, 2002)

LLM: A Low Latency Messaging Infrastructure for Linux Clusters. - R. K. Shyamasundar; Basant Rajan; Manish Prasad; Amit Jain (HiPC, 2002)

Analyzing Cryptographic Protocols in a Reactive Framework. - R. K. Shyamasundar (VMCAI, 2002)

Approximate Computation of Reach Sets in Hybrid Systems - D. Ravi; R. K. Shyamasundar (CoRR, 2002)

MOBICHARTS: A Notation to Specify Mobile Computing Applications. - Satyajit Acharya; Hrushikesha Mohanty; R. K. Shyamasundar (HICSS, 2003)

Algorithmic Mechanisms for Secure Multi-Auction Systems. - Vivek S. Borkar; Mehul S. Dave; R. K. Shyamasundar (IICAI, 2003)

Reactive Framework for Resource Aware Distributed Computing. - Rajesh Gupta 001; R. K. Shyamasundar (ASIAN, 2004)

An Efficient, Secure and Delegable Micro-Payment System. - Vishwas Patil; R. K. Shyamasundar (EEE, 2004)

Towards a Flexible Access Control Mechanism for E-Transactions. - Vishwas Patil; R. K. Shyamasundar (EGCDMAS, 2004)

Failure Detection and Membership Management in Grid Environments. - Amit Jain; R. K. Shyamasundar (GRID, 2004)

UGSP: Secure Key Establishment Protocol for Ad-Hoc Network. - Neelima Arora; R. K. Shyamasundar (ICDCIT, 2004)

UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks. - Neelima Arora; R. K. Shyamasundar (ICETE (3), 2004)

Development of Semantic Debuggers Based on Refinement Calculus. - Rohit N. Kundaji; R. K. Shyamasundar (ICLP, 2004)

A Distributed Clustering Framework in Mobile Ad Hoc Networks. - Mohit Garg; R. K. Shyamasundar (International Conference on Wireless Networks, 2004)

Formal verification of pipelined processors with precise exceptions. - Krishnamani Kalyanasundaram; R. K. Shyamasundar (MEMOCODE, 2004)

Type Systems for Concurrent Programming Calculi. - N. Raja 001; R. K. Shyamasundar (Informatica (Slovenia), 2004)

Validated Code Generation for Activity Diagrams. - A. K. Bhattacharjee; R. K. Shyamasundar (ICDCIT, 2005)

PGSP: a protocol for secure communication in peer-to-peer system. - Neelima Arora; R. K. Shyamasundar (WCNC, 2005)

e-coupons: An Efficient, Secure and Delegable Micro-Payment System. - Vishwas Patil; R. K. Shyamasundar (Inf. Syst. Frontiers, 2005)

UGSP: Authentication based secure protocol for AD-HOC networks. - Neelima Arora; R. K. Shyamasundar (e-Business and Telecommunication Networks, 2006)

Specification and Realization of Access Control in SPKI/SDSI. - N. V. Narendra Kumar; R. K. Shyamasundar (ICISS, 2006)

Compositional interaction specifications for SystemC. - Frederic Doucet; Ingolf Krüger; Rajesh K. Gupta 001; R. K. Shyamasundar (MEMOCODE, 2006)

Actors as a Coordinating Model of Computation. - N. Raja 001; R. K. Shyamasundar (Informatica (Slovenia), 2006)

A closer look at constraints as processes. - N. Raja 001; R. K. Shyamasundar (Inf. Process. Lett., 2006)

Refinement calculus: A basis for translation validation, debugging and certification. - Rohit N. Kundaji; R. K. Shyamasundar (Theor. Comput. Sci., 2006)

Adapting Biochemical Kripke Structures for Distributed Model Checking. - Susmit Jha; R. K. Shyamasundar (Trans. Comp. Sys. Biology, 2006)

Modeling Web Services with FSM Modules. - Hrushikesha Mohanty; Jitesh Mulchandani; Deepak Chenthati; R. K. Shyamasundar (Asia International Conference on Modelling and Simulation, 2007)

On Run-Time Enforcement of Policies. - Harshit J. Shah; R. K. Shyamasundar (ASIAN, 2007)

Verification of Clock Synchronization in TTP. - Krishnamani Kalyanasundaram; R. K. Shyamasundar (Formal Models, Languages and Applications, 2007)

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. - Roberto Cavada; Alessandro Cimatti; Anders Franzén; Krishnamani Kalyanasundaram; Marco Roveri; R. K. Shyamasundar (FMCAD, 2007)

Reactivity in SystemC Transaction-Level Models. - Frederic Doucet; R. K. Shyamasundar; Ingolf H. Krüger; Saurabh Joshi 001; Rajesh K. Gupta 001 (Haifa Verification Conference, 2007)

Trust Assessment in Web Services: an Extension to jUDDI. - Hrushikesha Mohanty; Kakarlamudi Prasad; R. K. Shyamasundar (ICEBE, 2007)

May-happen-in-parallel analysis of X10 programs. - Shivali Agarwal; Rajkishore Barik; Vivek Sarkar; R. K. Shyamasundar (PPoPP, 2007)

Deadlock-free scheduling of X10 computations with bounded resources. - Shivali Agarwal; Rajkishore Barik; Dan Bonachea; Vivek Sarkar; R. K. Shyamasundar; Katherine A. Yelick (SPAA, 2007)

UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources. - Jagadish Suryadevara; R. K. Shyamasundar (J. Object Technol., 2007)

Static Detection of Place Locality and Elimination of Runtime Checks. - Shivali Agarwal; Rajkishore Barik; V. Krishna Nandivada; R. K. Shyamasundar; Pradeep Varma (APLAS, 2008)

ScriptOrc: A Specification Language for Web Service Choreography. - A. K. Bhattacharjee; R. K. Shyamasundar (APSCC, 2008)

A Static Characterization of Affinity in a Distributed Program. - Shivali Agarwal; Rajkishore Barik; R. K. Shyamasundar (HPCC, 2008)

Choreography = Orchestration with Scripts + Conversations. - A. K. Bhattacharjee; R. K. Shyamasundar (ICWS, 2008)

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. - Jagadish Suryadevara; Lawrence Chung; R. K. Shyamasundar (J. Object Technol., 2008)

Translating Security Policy to Executable Code for Sandboxing Linux Kernel. - Hrushikesha Mohanty; Martha VenkataSwamy; Srini Ramaswamy; R. K. Shyamasundar (EMS, 2009)

Concurrent SSA for general barrier-synchronized parallel programs. - Harshit J. Shah; R. K. Shyamasundar; Pradeep Varma (IPDPS, 2009)

Distributed Scheduling of Parallel Hybrid Computations. - Shivali Agarwal; Ankur Narang; R. K. Shyamasundar (ISAAC, 2009)

Brief announcement: distributed phase synchronization of dynamic set of processes. - R. K. Shyamasundar; Shivali Agarwal (PODC, 2009)

Backward-compatible constant-time exception-protected memory. - Pradeep Varma; R. K. Shyamasundar; Harshit J. Shah (ESEC/SIGSOFT FSE, 2009)

Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. - A. K. Bhattacharjee; R. K. Shyamasundar (J. Object Technol., 2009)

Automatic Monitoring of SLAs of Web Services. - Nihita Goel; R. K. Shyamasundar (APSCC, 2010)

A Proof System for a PGAS Language. - Shivali Agarwal; R. K. Shyamasundar (Concurrency, Compositionality, and Correctness, 2010)

A Framework for Web-Based Negotiation. - Hrushikesha Mohanty; Rajesh Kurra; R. K. Shyamasundar (ICDCIT, 2010)

Malware: From Modelling to Practical Detection. - R. K. Shyamasundar; Harshit J. Shah; N. V. Narendra Kumar (ICDCIT, 2010)

Can we certify systems for freedom from malware. - N. V. Narendra Kumar; Harshit J. Shah; R. K. Shyamasundar (ICSE (2), 2010)

Towards Checking Tampering of Software. - N. V. Narendra Kumar; Harshit J. Shah; R. K. Shyamasundar (Cyber Security, Cyber Crime and Cyber Forensics, 2011)

An Executional Framework for BPMN Using Orc. - Nihita Goel; R. K. Shyamasundar (APSCC, 2011)

SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services. - Nihita Goel; N. V. Narendra Kumar; R. K. Shyamasundar (ECOWS, 2011)

Distributed Generalized Dynamic Barrier Synchronization. - Shivali Agarwal; Saurabh Joshi 001; Rudrapatna K. Shyamasundar (ICDCN, 2011)

Affinity Driven Distributed Scheduling Algorithm for Parallel Computations. - Ankur Narang; Abhinav Srivastava; Naga Praveen Kumar Katta; Rudrapatna K. Shyamasundar (ICDCN, 2011)

Performance driven multi-objective distributed scheduling for parallel computations. - Ankur Narang; Abhinav Srivastava; Naga Praveen Kumar Katta; Rudrapatna K. Shyamasundar (ACM SIGOPS Oper. Syst. Rev., 2011)

Performance driven distributed scheduling of parallel hybrid computations. - Ankur Narang; Rudrapatna K. Shyamasundar (Theor. Comput. Sci., 2011)

Service maps in XML. - Supriya Vaddi; Hrushikesha Mohanty; R. K. Shyamasundar (CUBE, 2012)

Dynamic Distributed Scheduling Algorithm for State Space Search. - Ankur Narang; Abhinav Srivastava; Ramnik Jain; R. K. Shyamasundar (Euro-Par, 2012)

Postorder Based Routing and Transport Protocol for WSNs. - Shashank Shekhar; R. K. Ghosh; R. K. Shyamasundar (ICDCN, 2012)

A New Method of MHP Analysis for Languages with Dynamic Barriers. - Saurabh Joshi 001; R. K. Shyamasundar; Sanjeev K. Aggarwal (IPDPS Workshops, 2012)

Public private partnerships (PPP) in the e-government initiatives for developing nations: the case of Ethiopia. - Mesfin Belachew; R. K. Shyamasundar (ICEGOV, 2013)

High Performance Adaptive Distributed Scheduling Algorithm. - Ankur Narang; Abhinav Srivastava; R. K. Shyamasundar (IPDPS Workshops, 2013)

Security and protection of SCADA: a bigdata algorithmic approach. - R. K. Shyamasundar (SIN, 2013)

Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels. - N. V. Narendra Kumar; R. K. Shyamasundar (BDCloud, 2014)

Post-order based routing & transport protocol for wireless sensor networks. - Shashank Shekhar; Ranjeet Mishra; R. K. Ghosh; R. K. Shyamasundar (Pervasive Mob. Comput., 2014)

POSTER: Dynamic Labelling for Analyzing Security Protocols. - N. V. Narendra Kumar; R. K. Shyamasundar (CCS, 2015)

Scaling Computation on GPUs Using Powerlists. - Anshu S. Anand; R. K. Shyamasundar (HiPC Workshops, 2015)

Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control. - S. Susheel; N. V. Narendra Kumar; R. K. Shyamasundar (ICISS, 2015)

HPDIC Introduction and Committees. - Christophe Cérin; R. K. Shyamasundar; Yuqing Gao; Congfeng Jiang (IPDPS Workshops, 2015)

Labelled mobile ambients model for information flow security in distributed systems. - N. V. Narendra Kumar; R. K. Shyamasundar (SIN, 2015)

A framework of community inspired distributed message dissemination and emergency alert response system over smart phones. - Abhiroop Bhatnagar; Amit Kumar; Ratan K. Ghosh; Rudrapatna K. Shyamasundar (COMSNETS, 2016)

An End-to-End Privacy Preserving Design of a Map-Reduce Framework. - N. V. Narendra Kumar; R. K. Shyamasundar (HPCC/SmartCity/DSS, 2016)

Information-Flow Control for Building Security and Privacy Preserving Hybrid Clouds. - R. K. Shyamasundar; N. V. Narendra Kumar; Muttukrishnan Rajarajan (HPCC/SmartCity/DSS, 2016)

Opacity proof for CaPR+ algorithm. - Anshu S. Anand; R. K. Shyamasundar; Sathya Peri (ICDCN, 2016)

Undoing of Privacy Policies on Facebook. - Vishwas T. Patil; R. K. Shyamasundar (DBSec, 2017)

Analyzing Protocol Security Through Information-Flow Control. - N. V. Narendra Kumar; R. K. Shyamasundar (ICDCIT, 2017)

Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies. - N. V. Narendra Kumar; R. K. Shyamasundar (ICDCIT, 2017)

Semi Supervised NLP Based Classification of Malware Documents. - Mayukh Rath; Shivali Agarwal; R. K. Shyamasundar (ICISS, 2017)

Realizing software vault on Android through information-flow control. - R. K. Shyamasundar; N. V. Narendra Kumar; Priyanka Teltumde (ISCC, 2017)

Privacy as a Currency: Un-regulated?. - Vishwas T. Patil; R. K. Shyamasundar (SECRYPT, 2017)

A Complete Generative Label Model for Lattice-Based Access Control Models. - N. V. Narendra Kumar; R. K. Shyamasundar (SEFM, 2017)

Role of Apps in Undoing of Privacy Policies on Facebook. - Vishwas T. Patil; Nivia Jatain; R. K. Shyamasundar (DBSec, 2018)

FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies. - B. S. Radhika; N. V. Narendra Kumar; R. K. Shyamasundar (DBSec, 2018)

Secure Synthesis of IoT via Readers-Writers Flow Model. - Shashank Khobragade; N. V. Narendra Kumar; R. K. Shyamasundar (ICDCIT, 2018)

Security Analysis of EMV Protocol and Approaches for Strengthening It. - Khedkar Shrikrishna; N. V. Narendra Kumar; R. K. Shyamasundar (ICDCIT, 2018)

Static Security Certification of Programs via Dynamic Labelling. - Sandip Ghosal; R. K. Shyamasundar; N. V. Narendra Kumar (ICETE (2), 2018)

MySecPol: A Client-Side Policy Language for Safe and Secure Browsing. - Amit Pathania; B. S. Radhika; Rudrapatna K. Shyamasundar (ICISS, 2018)

Efficacy of GDPR's Right-to-be-Forgotten on Facebook. - Vishwas T. Patil; R. K. Shyamasundar (ICISS, 2018)

SecSmartLock: An Architecture and Protocol for Designing Secure Smart Locks. - Bhagyesh V. Patil; Parjanya Vyas; R. K. Shyamasundar (ICISS, 2018)

A Solution to "Confused Deputy" Problem Using RWFM Labels. - Sandip Ghosal; R. K. Shyamasundar (ISEA-ISAP, 2018)

A Semantic Notion of Secure Information-Flow. - N. V. Narendra Kumar; R. K. Shyamasundar (ISEA-ISAP, 2018)

An Experimental Flow Secure File System. - Rudrapatna K. Shyamasundar; N. V. Narendra Kumar; Abhijit Taware; Parjanya Vyas (TrustCom/BigDataSE, 2018)

Internet of Things (IoT) and Cloud Computing Enabled Disaster Management. - Raj Gaire 001; Chigulapalli Sriharsha; Deepak Puthal; Hendra Wijaya; Jongkil Kim; Prateeksha Keshari; Rajiv Ranjan 001; Rajkumar Buyya; Ratan K. Ghosh; R. K. Shyamasundar; Surya Nepal (CoRR, 2018)

Crowdsensing and privacy in smart city applications. - Raj Gaire 001; Ratan K. Ghosh; Jongkil Kim; Alexander Krumpholz; Rajiv Ranjan 003; R. K. Shyamasundar; Surya Nepal (CoRR, 2018)

Is Privacy a Myth for Facebook Users? - Vishwas T. Patil; R. K. Shyamasundar (ICETE (2), 2019)

Test Suite Minimization of Evolving Software Systems: A Case Study. - Amit Goyal; R. K. Shyamasundar; Raoul Jetley; Devina Mohan; Srini Ramaswamy (ICSOFT, 2019)

Threat Assessment of Enterprise Applications via Graphical Modelling. - Manjunath Bilur; Anugrah Gari; R. K. Shyamasundar (NSS, 2019)

SecHadoop: A Privacy Preserving Hadoop. - Rudrapatna K. Shyamasundar; Swatish Satheesan; Deepali Mittal; Aakash Chaudhary (UCC, 2019)

STMs in practice: Partial rollback vs pure abort mechanisms. - Anshu S. Anand; R. K. Shyamasundar; Sathya Peri (Concurr. Comput. Pract. Exp., 2019)

A deadlock-free lock-based synchronization for GPUs. - Anshu S. Anand; Akash Srivastava; R. K. Shyamasundar (Concurr. Comput. Pract. Exp., 2019)

A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs. - Sandip Ghosal; R. K. Shyamasundar (APSEC, 2020)

Information Flow Security Certification for SPARK Programs. - Sandip Ghosal; R. K. Shyamasundar (DBSec, 2020)

Consistency analysis and flow secure enforcement of SELinux policies. - B. S. Radhika; N. V. Narendra Kumar; R. K. Shyamasundar; Parjanya Vyas (Comput. Secur., 2020)

Realizing Information Flow Control in ABAC Mining. - B. S. Radhika; R. K. Shyamasundar (CSS, 2021)

Landcoin: A Practical Protocol for Transfer-of-Asset. - Vishwas Patil; R. K. Shyamasundar (ICISS, 2021)

An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. - Sandip Ghosal; R. K. Shyamasundar (ICSE (NIER), 2021)

Empirical Analysis of Greedy, GE and GRE Heuristics. - Amit Goyal; R. K. Shyamasundar; G. Sivakumar; Raoul Jetley; Srini Ramaswamy (ISEC, 2021)

Information Flow Secure CAmkES. - Amit Goyal; Akshat Garg; Digvijaysingh Gour; R. K. Shyamasundar; G. Sivakumar (IoTBDS, 2021)

SP*: An Information Flow Secure Linux. - Parjanya Vyas; R. K. Shyamasundar; Bhagyesh V. Patil; Snehal Borse; Satyaki Sen (ISPA/BDCloud/SocialCom/SustainCom, 2021)

App2SecApp: privacy protection from Android applications. - Parjanya Vyas; R. K. Shyamasundar; Bhagyesh V. Patil (SAC, 2021)

Towards Unifying RBAC with Information Flow Control. - B. S. Radhika; N. V. Narendra Kumar; R. K. Shyamasundar (SACMAT, 2021)

SecSDN: A Novel Architecture for a Secure SDN. - Parjanya Vyas; R. K. Shyamasundar (SECRYPT, 2021)

Special issue on computational intelligence for social media data mining and knowledge discovery. - Ying Li 001; R. K. Shyamasundar; Xinheng Wang 001 (Comput. Intell., 2021)

Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language. - Sandip Ghosal; R. K. Shyamasundar (CoRR, 2021)

Fortress Abstractions in X10 Framework. - Anshu S. Anand; Karthik Sayani; R. K. Shyamasundar (Int. J. Parallel Program., 2021)

Approaches to Enforce Privacy in Databases: Classical to Information Flow-Based Models. - R. K. Shyamasundar; Pratiksha Chaudhary; Arushi Jaiswal; Aniket Kuiri (Inf. Syst. Frontiers, 2021)

Guest editorial special issue on "P2P computing for deep learning". - Ying Li 001; R. K. Shyamasundar; Mohammad S. Obaidat; Yuyu Yin (Peer-to-Peer Netw. Appl., 2021)

A Framework of Runtime Monitoring for Correct Execution of Smart Contracts. - R. K. Shyamasundar (ICBC, 2022)

Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling. - Sandip Ghosal; R. K. Shyamasundar (ICISS, 2022)

Samyukta: A Unified Access Control Model using Roles, Labels, and Attributes. - B. S. Radhika; N. V. Narendra Kumar; R. K. Shyamasundar (ICISS, 2022)

Evolving Role of PKI in Facilitating Trust. - Vishwas T. Patil; R. K. Shyamasundar (PKIA, 2022)

An Analysis of Hybrid Consensus in Blockchain Protocols for Correctness and Progress. - Sangita Roy; Rudrapatna K. Shyamasundar (DBSec, 2023)

A Rand Index-Based Analysis of Consensus Protocols. - Sangita Roy; Rudrapatna K. Shyamasundar (SECRYPT, 2023)

ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract. - Rudrapatna K. Shyamasundar (SECRYPT, 2023)

Enhancing Robustness of Smart Contracts Through Declarations. - R. K. Shyamasundar; Snehal Borse; Mohammad Ummair (ICBC, 2024)

A Decoupling Mechanism for Transaction Privacy. - Vishwas Patil; R. K. Shyamasundar (ICISS, 2024)

Characterization of Consensus Correctness in Ripple (XRP) Networks. - Rudrapatna K. Shyamasundar (SECRYPT, 2024)