R. K. Shyamasundar

Publication Activity (10 Years)

Years Active: 1976-2022
Publications (10 Years): 55

Top Venues

ICISS

CoRR

DBSec

ICDCIT

Publications

R. K. Shyamasundar
A Framework of Runtime Monitoring for Correct Execution of Smart Contracts. ICBC (2022)
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar
Samyukta: A Unified Access Control Model using Roles, Labels, and Attributes. ICISS (2022)
Vishwas T. Patil, R. K. Shyamasundar
Evolving Role of PKI in Facilitating Trust. PKIA (2022)
Sandip Ghosal, R. K. Shyamasundar
Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling. ICISS (2022)
Sandip Ghosal, R. K. Shyamasundar
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. CoRR (2021)
Ying Li, R. K. Shyamasundar, Mohammad S. Obaidat, Yuyu Yin
Guest editorial special issue on "P2P computing for deep learning". Peer-to-Peer Netw. Appl. 14 (3) (2021)
Amit Goyal, Akshat Garg, Digvijaysingh Gour, R. K. Shyamasundar, G. Sivakumar
Information Flow Secure CAmkES. IoTBDS (2021)
Sandip Ghosal, R. K. Shyamasundar
Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language. CoRR (2021)
Vishwas Patil, R. K. Shyamasundar
Landcoin: A Practical Protocol for Transfer-of-Asset. ICISS (2021)
Parjanya Vyas, R. K. Shyamasundar, Bhagyesh V. Patil, Snehal Borse, Satyaki Sen
SP*: An Information Flow Secure Linux. ISPA/BDCloud/SocialCom/SustainCom (2021)
Parjanya Vyas, R. K. Shyamasundar, Bhagyesh V. Patil
App2SecApp: privacy protection from Android applications. SAC (2021)
Amit Goyal, R. K. Shyamasundar, G. Sivakumar, Raoul Jetley, Srini Ramaswamy
Empirical Analysis of Greedy, GE and GRE Heuristics. ISEC (2021)
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar
Towards Unifying RBAC with Information Flow Control. SACMAT (2021)
Sandip Ghosal, R. K. Shyamasundar
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. ICSE (NIER) (2021)
Ying Li, R. K. Shyamasundar, Xinheng Wang
Special issue on computational intelligence for social media data mining and knowledge discovery. Comput. Intell. 37 (2) (2021)
Parjanya Vyas, R. K. Shyamasundar
SecSDN: A Novel Architecture for a Secure SDN. SECRYPT (2021)
Anshu S. Anand, Karthik Sayani, R. K. Shyamasundar
Fortress Abstractions in X10 Framework. Int. J. Parallel Program. 49 (6) (2021)
B. S. Radhika, R. K. Shyamasundar
Realizing Information Flow Control in ABAC Mining. CSS (2021)
R. K. Shyamasundar, Pratiksha Chaudhary, Arushi Jaiswal, Aniket Kuiri
Approaches to Enforce Privacy in Databases: Classical to Information Flow-Based Models. Inf. Syst. Frontiers 23 (4) (2021)
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar, Parjanya Vyas
Consistency analysis and flow secure enforcement of SELinux policies. Comput. Secur. 94 (2020)
Sandip Ghosal, R. K. Shyamasundar
Information Flow Security Certification for SPARK Programs. DBSec (2020)
Sandip Ghosal, R. K. Shyamasundar
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs. APSEC (2020)
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri
STMs in practice: Partial rollback vs pure abort mechanisms. Concurr. Comput. Pract. Exp. 31 (5) (2019)
Vishwas T. Patil, R. K. Shyamasundar
Is Privacy a Myth for Facebook Users? ICETE (2) (2019)
Manjunath Bilur, Anugrah Gari, R. K. Shyamasundar
Threat Assessment of Enterprise Applications via Graphical Modelling. NSS (2019)
Anshu S. Anand, Akash Srivastava, R. K. Shyamasundar
A deadlock-free lock-based synchronization for GPUs. Concurr. Comput. Pract. Exp. 31 (7) (2019)
Amit Goyal, R. K. Shyamasundar, Raoul Jetley, Devina Mohan, Srini Ramaswamy
Test Suite Minimization of Evolving Software Systems: A Case Study. ICSOFT (2019)
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar
FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies. DBSec (2018)
Raj Gaire, Ratan K. Ghosh, Jongkil Kim, Alexander Krumpholz, Rajiv Ranjan, R. K. Shyamasundar, Surya Nepal
Crowdsensing and privacy in smart city applications. CoRR (2018)
Shashank Khobragade, N. V. Narendra Kumar, R. K. Shyamasundar
Secure Synthesis of IoT via Readers-Writers Flow Model. ICDCIT (2018)
Bhagyesh V. Patil, Parjanya Vyas, R. K. Shyamasundar
SecSmartLock: An Architecture and Protocol for Designing Secure Smart Locks. ICISS (2018)
Khedkar Shrikrishna, N. V. Narendra Kumar, R. K. Shyamasundar
Security Analysis of EMV Protocol and Approaches for Strengthening It. ICDCIT (2018)
Vishwas T. Patil, Nivia Jatain, R. K. Shyamasundar
Role of Apps in Undoing of Privacy Policies on Facebook. DBSec (2018)
Sandip Ghosal, R. K. Shyamasundar
A Solution to "Confused Deputy" Problem Using RWFM Labels. ISEA-ISAP (2018)
N. V. Narendra Kumar, R. K. Shyamasundar
A Semantic Notion of Secure Information-Flow. ISEA-ISAP (2018)
Raj Gaire, Chigulapalli Sriharsha, Deepak Puthal, Hendra Wijaya, Jongkil Kim, Prateeksha Keshari, Rajiv Ranjan, Rajkumar Buyya, Ratan K. Ghosh, R. K. Shyamasundar, Surya Nepal
Internet of Things (IoT) and Cloud Computing Enabled Disaster Management. CoRR (2018)
Sandip Ghosal, R. K. Shyamasundar, N. V. Narendra Kumar
Static Security Certification of Programs via Dynamic Labelling. ICETE (2) (2018)
Vishwas T. Patil, R. K. Shyamasundar
Efficacy of GDPR's Right-to-be-Forgotten on Facebook. ICISS (2018)
Vishwas T. Patil, R. K. Shyamasundar
Privacy as a Currency: Un-regulated?. SECRYPT (2017)
Mayukh Rath, Shivali Agarwal, R. K. Shyamasundar
Semi Supervised NLP Based Classification of Malware Documents. ICISS (2017)
N. V. Narendra Kumar, R. K. Shyamasundar
Analyzing Protocol Security Through Information-Flow Control. ICDCIT (2017)
Vishwas T. Patil, R. K. Shyamasundar
Undoing of Privacy Policies on Facebook. DBSec (2017)
N. V. Narendra Kumar, R. K. Shyamasundar
A Complete Generative Label Model for Lattice-Based Access Control Models. SEFM (2017)
N. V. Narendra Kumar, R. K. Shyamasundar
Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies. ICDCIT (2017)
R. K. Shyamasundar, N. V. Narendra Kumar, Priyanka Teltumde
Realizing software vault on Android through information-flow control. ISCC (2017)
N. V. Narendra Kumar, R. K. Shyamasundar
An End-to-End Privacy Preserving Design of a Map-Reduce Framework. HPCC/SmartCity/DSS (2016)
A. Bhatnagar, A. Kumar, R. K. Ghosh, R. K. Shyamasundar
A framework of community inspired distributed message dissemination and emergency alert response system over smart phones. COMSNETS (2016)
R. K. Shyamasundar, N. V. Narendra Kumar, Muttukrishnan Rajarajan
Information-Flow Control for Building Security and Privacy Preserving Hybrid Clouds. HPCC/SmartCity/DSS (2016)
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri
Opacity proof for CaPR+ algorithm. ICDCN (2016)
S. Susheel, N. V. Narendra Kumar, R. K. Shyamasundar
Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control. ICISS (2015)
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri
Opacity Proof for CaPR+ Algorithm. CoRR (2015)
N. V. Narendra Kumar, R. K. Shyamasundar
Labelled mobile ambients model for information flow security in distributed systems. SIN (2015)
Anshu S. Anand, R. K. Shyamasundar
Scaling Computation on GPUs Using Powerlists. HiPC Workshops (2015)
Christophe Cérin, R. K. Shyamasundar, Yuqing Gao, Congfeng Jiang
HPDIC Introduction and Committees. IPDPS Workshops (2015)
N. V. Narendra Kumar, R. K. Shyamasundar
POSTER: Dynamic Labelling for Analyzing Security Protocols. CCS (2015)
N. V. Narendra Kumar, R. K. Shyamasundar
Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels. BDCloud (2014)
Shashank Shekhar, Ranjeet Mishra, R. K. Ghosh, R. K. Shyamasundar
Post-order based routing & transport protocol for wireless sensor networks. Pervasive Mob. Comput. 11 (2014)
Ankur Narang, Abhinav Srivastava, R. K. Shyamasundar
High Performance Adaptive Distributed Scheduling Algorithm. IPDPS Workshops (2013)
Mesfin Belachew, R. K. Shyamasundar
Public private partnerships (PPP) in the e-government initiatives for developing nations: the case of Ethiopia. ICEGOV (2013)
R. K. Shyamasundar
Security and protection of SCADA: a bigdata algorithmic approach. SIN (2013)
Shashank Shekhar, R. K. Ghosh, R. K. Shyamasundar
Postorder Based Routing and Transport Protocol for WSNs. ICDCN (2012)
Supriya Vaddi, Hrushikesha Mohanty, R. K. Shyamasundar
Service maps in XML. CUBE (2012)
Saurabh Joshi, R. K. Shyamasundar, Sanjeev K. Aggarwal
A New Method of MHP Analysis for Languages with Dynamic Barriers. IPDPS Workshops (2012)
Ankur Narang, Abhinav Srivastava, Ramnik Jain, R. K. Shyamasundar
Dynamic Distributed Scheduling Algorithm for State Space Search. Euro-Par (2012)
Nihita Goel, N. V. Narendra Kumar, R. K. Shyamasundar
SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services. ECOWS (2011)
Nihita Goel, R. K. Shyamasundar
An Executional Framework for BPMN Using Orc. APSCC (2011)
Hrushikesha Mohanty, Rajesh Kurra, R. K. Shyamasundar
A Framework for Web-Based Negotiation. ICDCIT (2010)
Shivali Agarwal, R. K. Shyamasundar
A Proof System for a PGAS Language. Concurrency, Compositionality, and Correctness (2010)
R. K. Shyamasundar, Harshit J. Shah, N. V. Narendra Kumar
Malware: From Modelling to Practical Detection. ICDCIT (2010)
N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar
Can we certify systems for freedom from malware. ICSE (2) (2010)
Nihita Goel, R. K. Shyamasundar
Automatic Monitoring of SLAs of Web Services. APSCC (2010)
A. K. Bhattacharjee, R. K. Shyamasundar
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. J. Object Technol. 8 (1) (2009)
R. K. Shyamasundar, Shivali Agarwal
Brief announcement: distributed phase synchronization of dynamic set of processes. PODC (2009)
Shivali Agarwal, Ankur Narang, R. K. Shyamasundar
Distributed Scheduling of Parallel Hybrid Computations. ISAAC (2009)
Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah
Backward-compatible constant-time exception-protected memory. ESEC/SIGSOFT FSE (2009)
Hrushikesha Mohanty, Martha VenkataSwamy, Srini Ramaswamy, R. K. Shyamasundar
Translating Security Policy to Executable Code for Sandboxing Linux Kernel. EMS (2009)
Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma
Concurrent SSA for general barrier-synchronized parallel programs. IPDPS (2009)
A. K. Bhattacharjee, R. K. Shyamasundar
Choreography = Orchestration with Scripts + Conversations. ICWS (2008)
Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma
Static Detection of Place Locality and Elimination of Runtime Checks. APLAS (2008)
Shivali Agarwal, Rajkishore Barik, R. K. Shyamasundar
A Static Characterization of Affinity in a Distributed Program. HPCC (2008)
Jagadish Suryadevara, Lawrence Chung, R. K. Shyamasundar
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. J. Object Technol. 7 (8) (2008)
A. K. Bhattacharjee, R. K. Shyamasundar
ScriptOrc: A Specification Language for Web Service Choreography. APSCC (2008)
Hrushikesha Mohanty, Kakarlamudi Prasad, R. K. Shyamasundar
Trust Assessment in Web Services: an Extension to jUDDI. ICEBE (2007)
Jagadish Suryadevara, R. K. Shyamasundar
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources. J. Object Technol. 6 (1) (2007)
Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick
Deadlock-free scheduling of X10 computations with bounded resources. SPAA (2007)
Hrushikesha Mohanty, Jitesh Mulchandani, Deepak Chenthati, R. K. Shyamasundar
Modeling Web Services with FSM Modules. Asia International Conference on Modelling and Simulation (2007)
Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta
Reactivity in SystemC Transaction-Level Models. Haifa Verification Conference (2007)
Harshit J. Shah, R. K. Shyamasundar
On Run-Time Enforcement of Policies. ASIAN (2007)
Krishnamani Kalyanasundaram, R. K. Shyamasundar
Verification of Clock Synchronization in TTP. Formal Models, Languages and Applications (2007)
Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar
May-happen-in-parallel analysis of X10 programs. PPOPP (2007)
Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. FMCAD (2007)
N. V. Narendra Kumar, R. K. Shyamasundar
Specification and Realization of Access Control in SPKI/SDSI. ICISS (2006)
Rohit N. Kundaji, R. K. Shyamasundar
Refinement calculus: A basis for translation validation, debugging and certification. Theor. Comput. Sci. 354 (1) (2006)
N. Raja, R. K. Shyamasundar
A closer look at constraints as processes. Inf. Process. Lett. 98 (5) (2006)
Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar
Compositional interaction specifications for SystemC. MEMOCODE (2006)
N. Raja, R. K. Shyamasundar
Actors as a Coordinating Model of Computation. Informatica (Slovenia) 30 (2) (2006)
Susmit Jha, R. K. Shyamasundar
Adapting Biochemical Kripke Structures for Distributed Model Checking. Trans. Comp. Sys. Biology 7 (2006)
A. K. Bhattacharjee, R. K. Shyamasundar
Validated Code Generation for Activity Diagrams. ICDCIT (2005)
Neelima Arora, R. K. Shyamasundar
PGSP: a protocol for secure communication in peer-to-peer system. WCNC (2005)
Vishwas Patil, R. K. Shyamasundar
: An Efficient, Secure and Delegable Micro-Payment System. Inf. Syst. Frontiers 7 (4-5) (2005)

R. K. Shyamasundar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

R. K. Shyamasundar