Approaches to Enforce Privacy in Databases: Classical to Information Flow-Based Models
Shyamasundar, R.K., Chaudhary, Pratiksha, Jaiswal, Arushi, Kuiri, Aniket
Published in Information systems frontiers (01.08.2021)
Published in Information systems frontiers (01.08.2021)
Get full text
Journal Article
Fortress Abstractions in X10 Framework
Anand, Anshu S., Sayani, Karthik, Shyamasundar, R. K.
Published in International journal of parallel programming (01.12.2021)
Published in International journal of parallel programming (01.12.2021)
Get full text
Journal Article
Consistency analysis and flow secure enforcement of SELinux policies
Radhika, B S, Kumar, N V Narendra, Shyamasundar, R K, Vyas, Parjanya
Published in Computers & security (01.07.2020)
Published in Computers & security (01.07.2020)
Get full text
Journal Article
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs
Ghosal, Sandip, Shyamasundar, R. K.
Published in 2020 27th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2020)
Published in 2020 27th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2020)
Get full text
Conference Proceeding
A deadlock‐free lock‐based synchronization for GPUs
Anand, Anshu S, Srivastava, Akash, Shyamasundar, R.K.
Published in Concurrency and computation (10.04.2019)
Published in Concurrency and computation (10.04.2019)
Get full text
Journal Article
STMs in practice: Partial rollback vs pure abort mechanisms
Anand, Anshu S., Shyamasundar, R. K., Peri, Sathya
Published in Concurrency and computation (10.03.2019)
Published in Concurrency and computation (10.03.2019)
Get full text
Journal Article
Guest editorial special issue on “P2P computing for deep learning”
Li, Ying, Shyamasundar, R. K., Obaidat, Mohammad S., Yin, Yuyu
Published in Peer-to-peer networking and applications (01.05.2021)
Published in Peer-to-peer networking and applications (01.05.2021)
Get full text
Journal Article
Refinement calculus: A basis for translation validation, debugging and certification
Get full text
Journal Article
Conference Proceeding
Validated Code Generation for Activity Diagrams
Bhattacharjee, A. K., Shyamasundar, R. K.
Published in Distributed Computing and Internet Technology (2005)
Published in Distributed Computing and Internet Technology (2005)
Get full text
Book Chapter
Conference Proceeding
Reactive Framework for Resource Aware Distributed Computing
Gupta, Rajesh, Shyamasundar, R. K.
Published in Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (01.01.2004)
Published in Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (01.01.2004)
Get full text
Book Chapter
Conference Proceeding
A framework of community inspired distributed message dissemination and emergency alert response system over smart phones
Bhatnagar, A., Kumar, A., Ghosh, R. K., Shyamasundar, R. K.
Published in 2016 8th International Conference on Communication Systems and Networks (COMSNETS) (01.01.2016)
Published in 2016 8th International Conference on Communication Systems and Networks (COMSNETS) (01.01.2016)
Get full text
Conference Proceeding
Journal Article
Anonymization of Bigdata using ARX Tools
Shyamasundar, RK, Maurya, Manoj Kumar
Published in 2024 15th International Conference on Information and Communication Systems (ICICS) (13.08.2024)
Published in 2024 15th International Conference on Information and Communication Systems (ICICS) (13.08.2024)
Get full text
Conference Proceeding