Raju Halder
Cited by
Cited by
Watermarking techniques for relational databases: Survey, classification and comparison
R Halder, S Pal, A Cortesi
Journal of universal computer science 16 (21), 3164-3190, 2010
Formal verification of ROS-based robotic applications using timed-automata
R Halder, J Proença, N Macedo, A Santos
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017
Blockchain-based interoperable healthcare using zero-knowledge proofs and proxy re-encryption
B Sharma, R Halder, J Singh
2020 International Conference on COMmunication Systems & NETworkS (COMSNETS …, 2020
Obfuscation-based analysis of SQL injection attacks
R Halder, A Cortesi
The IEEE symposium on Computers and Communications, 931-938, 2010
Abstract interpretation of database query languages
R Halder, A Cortesi
Computer Languages, Systems & Structures 38 (2), 123-157, 2012
A unified blockchain-based platform for global e-waste management
S Sahoo, A Mukherjee, R Halder
International Journal of Web Information Systems 17 (5), 449-479, 2021
A hierarchical and abstraction-based blockchain model
S Sahoo, AM Fajge, R Halder, A Cortesi
Applied Sciences 9 (11), 2343, 2019
A persistent public watermarking of relational databases
R Halder, A Cortesi
Information Systems Security: 6th International Conference, ICISS 2010 …, 2010
Traceability and ownership claim of data on big data marketplace using blockchain technology
S Sahoo, R Halder
Journal of Information and Telecommunication 5 (1), 35-61, 2021
Blockchain-based forward and reverse supply chains for E-waste management
S Sahoo, R Halder
Future Data and Security Engineering: 7th International Conference, FDSE …, 2020
Extending abstract interpretation to dependency analysis of database applications
A Jana, R Halder, KV Abhishekh, SD Ganni, A Cortesi
IEEE Transactions on Software Engineering 46 (5), 463-494, 2018
Smartmixmodel: machine learning-based vulnerability detection of solidity smart contracts
S Shakya, A Mukherjee, R Halder, A Maiti, A Chaturvedi
2022 IEEE international conference on blockchain (Blockchain), 37-44, 2022
Cooperative query answering by abstract interpretation
R Halder, A Cortesi
SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on …, 2011
On preventing SQL injection attacks
BK Ahuja, A Jana, A Swarnkar, R Halder
Advanced Computing and Systems for Security: Volume 1, 49-64, 2016
Persistent watermarking of relational databases
R Halder, A Cortesi
Proc. IEEE Int. Conf. Adv. Commun., Netw., Comput.(CNC), 4-5, 2010
Abstract program slicing of database query languages
R Halder, A Cortesi
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 838-845, 2013
Information leakage analysis of database query languages
R Halder, M Zanioli, A Cortesi
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 813-820, 2014
Abstract program slicing on dependence condition graphs
R Halder, A Cortesi
Science of Computer programming 78 (9), 1240-1263, 2013
An internet-based ip protection scheme for circuit designs using linear feedback shift register (lfsr)-based locking
R Halder, P Dasgupta, S Naskar, SS Sarma
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System …, 2009
Comparative analysis of relational database watermarking techniques: An empirical study
S Rani, R Halder
IEEE Access 10, 27970-27989, 2022
The system can't perform the operation now. Try again later.
Articles 1–20