Blockchain & Robotics (PLANR) Lab
Department of Computer Science & Engineering
R-502, 5th Floor, Block 3
+91 612 3028889
Journals
Formal Verification of Pub-Sub Blockchain Interoperability Protocol using Stochastic Timed Automata APA .bib
Frontiers in Blockchain • Volume 6:1248962 • Frontiers • 2023FedRLChain: Secure Federated Deep Reinforcement Learning with Blockchain APA .bib
IEEE Transactions on Services Computing • Volume 16(06):3865-78 • IEEE Computer Society • 2023Contextual Attribute-based Access Control Scheme for Cloud Storage using Blockchain Technology APA .bib
Journal of Software: Practice and Experience • Volume 0(0):0 • Wiley • 2023Investigating the Impact of Structural and Temporal Behaviours in Ethereum Phishing users Detection APA .bib
Blockchain: Research and Applications • Volume 4(4): 100153 • Elsevier Ed. • 2023Making Robotic Swarms Trustful: A Blockchain-Based Perspective APA .bib
The ASME Journal of Computing and Information Science in Engineering • Volume 23(6): 060803 • ASME • 2023An Efficient Format-Independent Watermarking Framework for Large-Scale Data Sets APA .bib
Expert Systems With Applications • Volume 208: 118085 • Elsevier Ed. • 2022Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion APA .bib
IEEE Access • Volume 10: 72535-72544 • IEEE • 2022A Blockchain-Based Integrated and Interconnected Hybrid Platform for Smart City Ecosystem APA .bib
Peer-to-Peer Networking and Applications • Volume 15: 2116-2141 • Springer • 2022AgroBLF: Blockchain-Based Framework for Smart Agriculture APA .bib
Innovations in Systems and Software Engineering • Volume • Springer • 2022Comparative Analysis of Relational Database Watermarking Techniques: An Empirical Study APA .bib
IEEE Access • Volume 10: 27970-27989 • IEEE • 2022A Deductive Reasoning Approach for Database Applications using Verification Conditions APA .bib
The Journal of Systems & Software • Volume 175: 110903 • Elsevier Ed. • 2021A Unified Blockchain-based Platform for Global e-waste Management APA .bib
International Journal of Web Information Systems • Volume 17(5): 449-479 • Emerald Publishing • 2021Formal Verification of Database Applications using Predicate Abstraction APA .bib
Springer Nature Computer Science • Volume xx(x): xxx-xxx • Springer • 2021 (Accepted)Traceability and ownership claim of data on big data marketplace using blockchain technology APA .bib
Journal of Information and Telecommunication • Volume 5(1): 35-61 • Taylor & Francis • 2021Extending Abstract Interpretation to Dependency Analysis of Database Applications APA .bib
IEEE Transactions on Software Engineering • Volume 46(5): 463-494 • IEEE • 2020A Hierarchical and Abstraction-based Blockchain Model APA .bib
Applied Sciences • Volume 9 (11): 1-20 • MDPI • 2019Combining Symbolic and Numerical Domains for Information Leakage Analysis APA .bib
LNCS Transactions on Computational Science • Volume 31: 98-135 • Springer LNCS 10730 • 2018Partitioning-Insensitive Watermarking Approach for Distributed Relational Databases APA .bib
LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems • Volume 36: 172-192 • Springer LNCS 10720 • 2017Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain APA .bib
LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems • Volume 23: 23-44 • Springer LNCS 9480 • 2016Refining Dependences for Information Flow Analysis of Database Applications APA .bib
International Journal of Trust Management in Computing and Communications • Volume 3(3): 193-223 • Inderscience • 2016Abstract Program Slicing on Dependence Condition Graph APA .bib
Science of Computer Programming • Volume 78(9): 1240-1263 • Elsevier Ed. • 2013Observation-based Fine Grained Access Control of Data APA .bib
International Journal of Computer Information Systems and Industrial Management Applications • Volume 5: 671-684, 2013Abstract Interpretation of Database Query Languages APA .bib
Computer Languages, Systems & Structures • Volume 38(2): 123-157 • Elsevier Ed. • 2012
Engineering Letters • Volume 19(2): 84-94 • 2011Watermarking Techniques for Relational Databases: Survey, Classification and Comparison APA .bib
Journal of Universal Computer Science • Volume 16(21): 3164-3190 • 2010Research Note The Obscure History of Graph APA .bib
The Icfai University Journal of Computer Sciences • Volume III(2): 74-78 • 2009
International Conference Proceedings
A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots APA .bib
Proc. of the 6th International Conference on Advances in Robotics (AIR '23)
Pages 1-5 • ACM Press
IIT Ropar, India • 5-8 July 2023An Automated Policy Verification and Enforcement Framework for Ethereum Applications APA .bib
Proc. of the 5th IEEE International Conference on Blockchain and Cryptocurrency (IEEE ICBC '23)
Pages 1-5 • IEEE Press
UAE, Dubai • 1-5 May 2023HealthChain: A Blockchain-aided Federated Healthcare Management System APA .bib
Proc. of the 5th IEEE International Conference on Blockchain and Cryptocurrency (IEEE ICBC '23)
Pages 1-5 • IEEE Press
UAE, Dubai • 1-5 May 2023Decentralized Insurance Subrogation Using Blockchain APA .bib
Proc. of the 5th International Conference on Blockchain Technology and Applications (ICBTA '22)
Pages 1-9 • ACM Press
Xi'an, China • 16-18 Dec 2022SmartMixModel: Machine Learning-Based Vulnerability Detection of Solidity Smart Contracts APA .bib
Proc. of the 5th IEEE International Conference on Blockchain (IEEE Blockchain '22)
Pages 37-44 • IEEE Press
Espoo, Finland • 22-25 Aug 2022Blockchain-Enabled Emergency Detection and Response in Mobile Healthcare System APA .bib
Proc. of the 4th IEEE International Conference on Blockchain and Cryptocurrency (IEEE ICBC '22)
Pages 1-5 • IEEE Press
Shanghai, China • 2-5 May 2022BLRS: An Automated Land Records Management System using Blockchain Technology APA .bib
Proc. of the 9th International Symposium on Applied Computing for Software and Smart Systems (ACSS '22)
Pages 113-128 • Springer LNNS 555
Kolkata, India • 9-10 Sept 2022Blockchain Domain-Specific Languages: Survey, Classification, and Comparison APA .bib
Proc. of the 4th IEEE International Conference on Blockchain (IEEE Blockchain '21)
Pages 499-504 • IEEE Press
Melbourne, Australia • 6-8 Dec 2021
Proc. of the 20th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom '21)
Pages 1153-1160 • IEEE Press
Shenyang, China • 18-20 Aug 2021An Automated Framework for Migrating Java Applications to Ethereum Solidity Applications APA .bib
Proc. of the 3rd International Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS '21)
Pages 1-3 • IEEE Press
Paris, France • 27-30 Sept 2021Tailoring Taint Analysis for Database Applications in the K Framework APA .bib
Proc. of the 10th International Conference on Data Science, Technology and Applications (DATA '21)
Pages 370-377 • SciTePress
Lieusaint-Paris, France • 6-8 Jul 2021Deep Reinforcement Learning-Based 3D Exploration with a Wall Climbing Robot APA .bib
Proc. of the IEEE International Region 10 Technical Conference (IEEE TENCON '21)
Pages 863-868 • IEEE Press
Auckland, New Zealand • 7-10 Dec 2021A Robotic Software Framework for Autonomous Navigation in Unknown Environment APA .bib
Proc. of the 1st International Symposium of Asian Control Association on Intelligent Robotics and Industrial Automation (IRIA '21)
Pages 345-350 • IEEE Press
IIT Goa, India • 20-22 September 2021Secure Communication System Implementation for Robot-based Surveillance Applications APA .bib
Proc. of the 1st International Symposium of Asian Control Association on Intelligent Robotics and Industrial Automation (IRIA '21)
Pages 270-275 • IEEE Press
IIT Goa, India • 20-22 September 2021A Lizard-inspired Quadruped Robot based on Pressure Sensitive Adhesion Mechanism for Wall Climbing APA .bib
Proc. of the 5th International Conference on Advances in Robotics (AIR '21)
Pages 33:1-33:5 • ACM Press
IIT Kanpur, India • 30 June - 4 July 2021
Proc. of the 13th Asian Conference on Intelligent Information and Database Systems (ACIIDS '21)
Pages 337-351 • Springer CCIS 1371
Phuket, Thailand • 7-10 April 2021PoliceChain: Blockchain-Based Smart Policing System for Smart Cities APA .bib
Proc. of the 13th International Conference on Security of Information and Networks (SIN '20)
Pages 6:1-6:5 • ACM Press
Istanbul, Turkey • 4-6 Nov 2020Blockchain-based Forward and Reverse Supply Chains for E-Waste Management APA .bib
Proc. of the 7th International Conference on Future Data and Security Engineering (FDSE '20)
Pages 201-220 • Springer LNCS 12466
Binh Dinh, Vietnam • 25-27 Nov 2020Blockchain-based Interoperable Healthcare Using Zero-knowledge Proofs and Proxy Re-Encryption APA .bib
Proc. of the Workshop on Cybersecurity and Blockchain in conjunction with COMSNETS '20 (COMSNETS '20)
Pages 1-6 • IEEE Press
Bengaluru, India • 7-11 Jan 2020BDmark: A Blockchain-driven Approach to Big Data Watermarking APA .bib
Proc. of the 12th Asian Conference on Intelligent Information and Database Systems (ACIIDS '20)
Pages 71-84 • Springer CCIS 1178
Phuket, Thailand • 23-26 Mar 2020A Symbolic Model Checker for Database Programs APA .bib
Proc. of the 13th International Conference on Software Technologies (ICSOFT '18)
Pages 347-354 • SciTePress
Porto, Portugal • 26-28 Jul 2018K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework APA .bib
Proc. of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE '18)
Pages 359-366 • SciTePress
Funchal, Madeira, Portugal • 23-25 Mar 2018Towards Generalization of Privacy Policy Specification and Property-based Information Leakage APA .bib
Proc. of the 13th International Conference on Information Systems Security (ICISS '17)
Pages 68-87 • Springer LNCS 10717
IIT Bombay, India • 16-20 Dec 2017Adapting MapReduce for Efficient Watermarking of Large Relational Dataset APA .bib
Proc. of the 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom '17)
Pages 729-736 • IEEE CPS • Presentation
Sydney, Australia • 1-4 Aug 2017Formal Verification of ROS-based Robotic Applications using Timed-Automata APA .bib
Proc. of the 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE '17)
Pages 44-50 • IEEE Press • (Co-located with ICSE 2017)
Buenos Aires, Argentina • 27 May 2017Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications APA .bib
Proc. of the 12th International Conference on Information Systems Security (ICISS '16)
Pages 151-171 • Springer LNCS 10063
MNIT Jaipur, India • 16-20 Dec 2016A Watermarking Framework for Outsourced and Distributed Relational Databases APA .bib
Proc. of the 3rd International Conference on Future Data and Security Engineering (FDSE '16)
Pages 175-188 • Springer LNCS 10018
Can Tho City, Vietnam • 23-25 Nov 2016Data-flow Analysis-based Approach of Database Watermarking APA .bib
Proc. of the Advanced Computing and Systems for Security (ACSS '16)
Pages 153-171 • Springer AISC 396
Kolkata, India • 19 Nov 2016On Preventing SQL Injection Attacks APA .bib
Proc. of the Advanced Computing and Systems for Security (ACSS '16)
Pages 49-64 • Springer AISC 396
Kolkata, India • 19 Nov 2016SemDDA: A Semantics-based Database Dependency Analyzer APA .bib
Appeared in the Poster Session of the 14th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '16)
IIT Kanpur, India • 18-20 Nov 2016Policy-based Slicing of Hibernate Query Language APA .bib
Proc. of the 14th International Conference on Computer Information Systems and Industrial Management Applications (CISIM '15)
Pages 267-281 • Springer LNCS 9339
Warsaw, Poland • 24-26 September 2015Data-centric Refinement of Information Flow Analysis of Database Applications APA .bib
Proc. of the 3rd International Symposium on Security in Computing and Communications (SSCC '15)
Pages 506-518 • Springer CCIS 536
Kochi, India • 10-13 August 2015Data Cleaning: An Abstraction-based Approach APA .bib
Proc. of the 4th International Conference on Advances in Computing, Communications and Informatics (ICACCI '15)
Pages 713-719 • IEEE Press
Kochi, India • 10-13 August 2015Verification of Hibernate Query Language by Abstract Interpretation APA .bib
Proc. of the 5th International Conference on Intelligence Science and Big Data Engineering (IScIDE '15)
Pages 116-128 • Springer LNCS 9243
Suzhou, China • 14-16 June 2015Language-based Security Analysis of Database Applications APA .bib
Proc. of the IEEE 3rd International Conference on Computer, Communication, Control and Information Technology (C3IT '15)
• IEEE Press • (Invited Paper)
AOT, West Bengal, India • 7-8 Feb 2015Abstract Interpretation of Hibernate Query Language APA .bib
Appeared in Student Poster Session and Student Research Competition of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '15)
Mumbai, India • 12-18 Jan 2015Information-flow Analysis of Hibernate Query Language APA .bib
Proc. of the 1st International Conference on Future Data and Security Engineering (FDSE '14)
Pages 262-274 • Springer LNCS 8860
Ho Chi Minh City, Vietnam • 19-21 Nov 2014Information Leakage Analysis of Database Query Languages APA .bib
Proc. of the 29th Symposium on Applied Computing (SAC '14)
Pages 813-820 • ACM Press • (DTTA Track)
Gyeongju, Korea • 24 - 28 Mar 2014Abstract program slicing of database query languages APA .bib
Proc. of the 28th Symposium on Applied Computing (SAC '13)
Pages 838-845 • ACM Press • (DTTA Track)
Coimbra, Portugal • 18 - 22 March 2013Abstract Interpretation of Recursive Queries APA .bib
Proc. of the 9th International Conference on Distributed Computing and Internet Technologies (ICDCIT '13)
Pages 157-170 • Springer LNCS 7753
Bhubaneswar, Orissa, India • 5-8 Feb 2013TUKRA: An Abstract Program Slicing Tool APA .bib
Proc. of the 7th International Conference on Software Paradigm Trends (ICSOFT '12)
Pages 178-183 • SciTePress
Rome, Italy • 24-27 Jul 2012Observation-based Fine Grained Access Control for XML Documents APA .bib
Proc. of the 10th International Conference on Computer Information Systems and Industrial Management Applications (CISIM '11)
Pages 267-276 • Springer CCIS 245
Kolkata, India • 14-16 Dec 2011Cooperative Query Answering by Abstract Interpretation APA .bib
Proc. of the 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM '11)
Pages 284-296 • Springer LNCS 6543
Novy Smokovec, Slovakia • 22-28 Jan 2011A Persistent Public Watermarking of Relational Databases APA .bib
Proc. of the 6th International Conference on Information Systems Security (ICISS '10)
Pages 216-230 • Springer LNCS 6503
Gandhinagar, Gujrat, India • 15-19 Dec 2010Persistent Watermarking of Relational Databases APA .bib
Proc. of the 1st IEEE International Conference on Advances in Communication, Network, and Computing (CNC '10)
Pages 46-52 • IEEE Computer Society
Calicut, Kerala, India • 4-5 Oct 2010Observation-based Fine Grained Access Control for Relational Databases APA .bib
Proc. of the 5th International Conference on Software and Data Technologies (ICSOFT '10)
Pages 254-265 • SciTePress
Athens, Greece • 22-24 Jul 2010Obfuscation-based Analysis of SQL Injection Attacks APA .bib
Proc. of the 15th IEEE Symposium on Computers and Communications (ISCC '10)
Pages 931-938 • IEEE Press
Riccione, Italy • 22-25 Jun 2010Abstract Interpretation for Sound Approximation of Database Query Languages APA .bib
Proc. of the IEEE 7th International Conference on Informatics and Systems (INFOS '10)
Pages 53-59 • IEEE Press • (Advances in Data Engineering and Management Track)
Cairo, Egypt • 28-30 Mar 2010Dependence Condition Graph for Semantics-based Abstract Program Slicing APA .bib
Proc. of the 10th International Workshop on Language Descriptions Tools and Applications (LDTA '10)
Pages 1-9 • ACM Press • (Satellite Event of ETAPS '10)
Paphos, Cyprus • 27-28 Mar 2010An Abstract Interpretation Framework for Structured Query Languages APA .bib
Proc. of the 21st Nordic Workshop on Programming Theory (NWPT '09)
Pages 41-43 • DTU Informatics
Lyngby, Denmark • 14-16 Oct 2009
Proc. of the 22nd ACM/IEEE Annual Symposium on Integrated Circuits and System Design (SBCCI '09)
Pages 1-6 • ACM Press
Natal, Brazil • 31st Aug-3rd Sep 2009
Book Chapters
Formal Verification and Code Generation for Solidity Smart Contracts APA .bib
Distributed Computing to Blockchain: Architecture, Technology, and Applications • Pages 125-144 • Elsevier Ed. • 2022Analyzing Information Flow in Solidity Smart Contracts APA .bib
Distributed Computing to Blockchain: Architecture, Technology, and Applications • Pages 105-123 • Elsevier Ed. • 2022Fine Grained Access Control for Relational Databases by Abstract Interpretation APA .bib
In Josè Cordeiro, Maria Virvou and Boris Shishkov (Eds.), Software and Data Technologies • Pages 235-249 • Springer CCIS 170 • 2013
Preprints
IITP-VDLand: A Comprehensive Dataset on Decentraland Parcels. APA .bib
arXiv preprint arXiv:2404.07533 • 2023