R. K. Shyamasundar
Affiliations:- Tata Institute of Fundamental Research, Mumbai, India
According to our database1,
R. K. Shyamasundar
authored at least 192 papers
between 1976 and 2023.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 1999, "For contributions to logic programming.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract.
Proceedings of the 20th International Conference on Security and Cryptography, 2023
Proceedings of the 20th International Conference on Security and Cryptography, 2023
An Analysis of Hybrid Consensus in Blockchain Protocols for Correctness and Progress.
Proceedings of the Data and Applications Security and Privacy XXXVII, 2023
2022
Proceedings of the IEEE International Conference on Public Key Infrastructure and its Applications, 2022
Proceedings of the Information Systems Security - 18th International Conference, 2022
Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling.
Proceedings of the Information Systems Security - 18th International Conference, 2022
Proceedings of the Blockchain - ICBC 2022, 2022
2021
Peer-to-Peer Netw. Appl., 2021
Approaches to Enforce Privacy in Databases: Classical to Information Flow-Based Models.
Inf. Syst. Frontiers, 2021
CoRR, 2021
Special issue on computational intelligence for social media data mining and knowledge discovery.
Comput. Intell., 2021
Proceedings of the 18th International Conference on Security and Cryptography, 2021
Proceedings of the SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021
Proceedings of the 6th International Conference on Internet of Things, 2021
Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021
Proceedings of the Information Systems Security - 17th International Conference, 2021
Proceedings of the Cyberspace Safety and Security - 13th International Symposium, 2021
2020
Comput. Secur., 2020
Proceedings of the Data and Applications Security and Privacy XXXIV, 2020
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Concurr. Comput. Pract. Exp., 2019
Concurr. Comput. Pract. Exp., 2019
Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019
Proceedings of the Network and System Security - 13th International Conference, 2019
Proceedings of the 14th International Conference on Software Technologies, 2019
Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019
2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the Security and Privacy - Second ISEA International Conference, 2018
Proceedings of the Security and Privacy - Second ISEA International Conference, 2018
Proceedings of the Information Systems Security - 14th International Conference, 2018
Proceedings of the Information Systems Security - 14th International Conference, 2018
Proceedings of the Information Systems Security - 14th International Conference, 2018
Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018
Proceedings of the Distributed Computing and Internet Technology, 2018
Proceedings of the Distributed Computing and Internet Technology, 2018
Proceedings of the Data and Applications Security and Privacy XXXII, 2018
Proceedings of the Data and Applications Security and Privacy XXXII, 2018
2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017
Proceedings of the Information Systems Security - 13th International Conference, 2017
Proceedings of the Distributed Computing and Internet Technology, 2017
Proceedings of the Distributed Computing and Internet Technology, 2017
Proceedings of the Data and Applications Security and Privacy XXXI, 2017
2016
Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016
A framework of community inspired distributed message dissemination and emergency alert response system over smart phones.
Proceedings of the 8th International Conference on Communication Systems and Networks, 2016
2015
Proceedings of the 8th International Conference on Security of Information and Networks, 2015
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015
Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control.
Proceedings of the Information Systems Security - 11th International Conference, 2015
Proceedings of the 22nd IEEE International Conference on High Performance Computing Workshops, 2015
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015
2014
Pervasive Mob. Comput., 2014
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014
2013
Proceedings of the 6th International Conference on Security of Information and Networks, 2013
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013
Public private partnerships (PPP) in the e-government initiatives for developing nations: the case of Ethiopia.
Proceedings of the 7th International Conference on Theory and Practice of Electronic Governance, 2013
2012
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012
Proceedings of the CUBE International IT Conference & Exhibition, 2012
2011
Theor. Comput. Sci., 2011
ACM SIGOPS Oper. Syst. Rev., 2011
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011
Proceedings of the 9th IEEE European Conference on Web Services, 2011
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011
Proceedings of the Cyber Security, Cyber Crime and Cyber Forensics, 2011
2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the Distributed Computing and Internet Technology, 2010
Proceedings of the Distributed Computing and Internet Technology, 2010
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010
2009
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation.
J. Object Technol., 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
Proceedings of the Algorithms and Computation, 20th International Symposium, 2009
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009
Proceedings of the EMS 2009, 2009
2008
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems.
J. Object Technol., 2008
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008
2007
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.
J. Object Technol., 2007
Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007
Proceedings of ICEBE 2007, 2007
Proceedings of the Hardware and Software: Verification and Testing, 2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Proceedings of the Advances in Computer Science, 2007
Proceedings of the First Asia International Conference on Modelling and Simulation, 2007
2006
Trans. Comp. Sys. Biology, 2006
Refinement calculus: A basis for translation validation, debugging and certification.
Theor. Comput. Sci., 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Proceedings of the Information Systems Security, Second International Conference, 2006
Proceedings of the e-Business and Telecommunication Networks, 2006
2005
Inf. Syst. Frontiers, 2005
Proceedings of the IEEE Wireless Communications and Networking Conference, 2005
Proceedings of the Distributed Computing and Internet Technology, 2005
2004
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia), 2004
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004
A Distributed Clustering Framework in Mobile Ad Hoc Networks.
Proceedings of the International Conference on Wireless Networks, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks.
Proceedings of the ICETE 2004, 2004
Proceedings of the Distributed Computing and Internet Technology, 2004
Proceedings of the 5th International Workshop on Grid Computing (GRID 2004), 2004
Towards a Flexible Access Control Mechanism for E-Transactions.
Proceedings of the Electronic Government and Commerce: Design, Modeling, Analysis and Security, 2004
Proceedings of the 2004 IEEE International Conference on e-Technology, 2004
Proceedings of the Advances in Computer Science, 2004
2003
Algorithmic Mechanisms for Secure Multi-Auction Systems.
Proceedings of the 1st Indian International Conference on Artificial Intelligence, 2003
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
2002
Proceedings of the Verification, 2002
Proceedings of the High Performance Computing, 2002
Proceedings of the Advances in Computing Science, 2002
2001
PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310].
Reliab. Eng. Syst. Saf., 2001
Reliab. Eng. Syst. Saf., 2001
Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model.
Proceedings of the 14th International Conference on VLSI Design (VLSI Design 2001), 2001
Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001
2000
J. Parallel Distributed Comput., 2000
Int. J. Found. Comput. Sci., 2000
Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000
Modeling Distributed Embedded Systems in Multiclock ESTEREL.
Proceedings of the Formal Techniques for Distributed System Development, 2000
1999
Proceedings of the Computer Safety, 1999
Proceedings of the FM'99 - Formal Methods, 1999
1998
J. Log. Program., 1998
Proceedings of the Advances in Computing Science, 1998
Proceedings of the Advances in Computing Science, 1998
1997
ACM Trans. Program. Lang. Syst., 1997
J. Parallel Distributed Comput., 1997
Proceedings of the Hybrid and Real-Time Systems, 1997
1996
Int. J. High Speed Comput., 1996
Proceedings of the Perspectives of System Informatics, 1996
Proceedings of the Concurrency and Parallelism, 1996
1995
Proceedings of the Static Analysis, 1995
Proceedings of the Algorithms, 1995
Proceedings of the Algorithms, 1995
1994
Comput. Lang., 1994
Specifying Dynamic Reat-Time Systems in CRP.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
Proceedings of the 1994 International Conference on Parallel Processing, 1994
Proceedings of the Hybrid Systems II, 1994
1993
Inf. Comput., June, 1993
Int. J. High Speed Comput., 1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment.
Proceedings of the Seventh International Parallel Processing Symposium, 1993
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
Specification of Hybrid Systems in CRP.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1992
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992
1991
Proceedings of the STACS 91, 1991
1990
Proceedings of the Programming Language Implementation and Logic Programming, 1990
1989
IEEE Trans. Software Eng., 1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
RT-CDL: A Real Time Design Language and Its Semantics.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
1988
Inf. Comput., December, 1988
1986
1984
A linear time algorithm for computing the convex hull of an ordered crossing polygon.
Pattern Recognit., 1984
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984
1983
A Sentence Generator for a Compiler for PT, a Pascal Subset.
Softw. Pract. Exp., 1983
Pattern Recognit., 1983
Correctness Preserving Transformations for Distributed Programs.
Proceedings of the Information Processing 83, 1983
1982
A New Parsing Algorithm for EOL-Systems.
J. Inf. Process. Cybern., 1982
1981
1980
1978
LR-Deterministic Grammars.
J. Inf. Process. Cybern., 1978
1976
Inf. Control., September, 1976