Follow
Raju Halder
Title
Cited by
Cited by
Year
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
1522010
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
422017
Obfuscation-based analysis of SQL injection attacks
R Halder, A Cortesi
The IEEE symposium on Computers and Communications, 931-938, 2010
372010
Abstract interpretation of database query languages
R Halder, A Cortesi
Computer Languages, Systems & Structures 38 (2), 123-157, 2012
322012
A persistent public watermarking of relational databases
R Halder, A Cortesi
International Conference on Information Systems Security, 216-230, 2010
252010
A hierarchical and abstraction-based blockchain model
S Sahoo, AM Fajge, R Halder, A Cortesi
Applied Sciences 9 (11), 2343, 2019
202019
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
182020
Cooperative query answering by abstract interpretation
R Halder, A Cortesi
International Conference on Current Trends in Theory and Practice of …, 2011
182011
Persistent watermarking of relational databases
R Halder, A Cortesi
Proceedings of the, 2010
172010
On preventing SQL injection attacks
BK Ahuja, A Jana, A Swarnkar, R Halder
Advanced Computing and Systems for Security, 49-64, 2016
162016
Abstract program slicing on dependence condition graphs
R Halder, A Cortesi
Science of Computer programming 78 (9), 1240-1263, 2013
152013
Abstract program slicing of database query languages
R Halder, A Cortesi
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 838-845, 2013
142013
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
132014
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
122018
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
112009
Abstract interpretation of recursive queries
A Cortesi, R Halder
International Conference on Distributed Computing and Internet Technology …, 2013
102013
Observation-based fine grained access control for relational databases
R Halder, A Cortesi
Proceedings of the 5th International Conference on Software and Data …, 2010
102010
Fine grained access control for relational databases by abstract interpretation
R Halder, A Cortesi
International Conference on Software and Data Technologies, 235-249, 2010
92010
Data leakage analysis of the hibernate query language on a propositional formulae domain
R Halder, A Jana, A Cortesi
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXIII, 23-44, 2016
82016
Information-flow analysis of hibernate query language
A Cortesi, R Halder
International Conference on Future Data and Security Engineering, 262-274, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20