Raju Halder
TitleCited byYear
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.
R Halder, S Pal, A Cortesi
J. UCS 16 (21), 3164-3190, 2010
1112010
Obfuscation-based analysis of SQL injection attacks
R Halder, A Cortesi
The IEEE symposium on Computers and Communications, 931-938, 2010
332010
Abstract interpretation of database query languages
R Halder, A Cortesi
Computer Languages, Systems & Structures 38 (2), 123-157, 2012
262012
A persistent public watermarking of relational databases
R Halder, A Cortesi
International Conference on Information Systems Security, 216-230, 2010
202010
Cooperative query answering by abstract interpretation
R Halder, A Cortesi
International Conference on Current Trends in Theory and Practice of …, 2011
182011
Abstract program slicing on dependence condition graphs
R Halder, A Cortesi
Science of Computer programming 78 (9), 1240-1263, 2013
142013
Persistent watermarking of relational databases
R Halder, A Cortesi
Proceedings of the IEEE International Conference on Advances in …, 2010
142010
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
132017
Abstract program slicing of database query languages
R Halder, A Cortesi
ACM Digital Library, 2013
122013
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
92014
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
92009
Abstract interpretation of recursive queries
A Cortesi, R Halder
International Conference on Distributed Computing and Internet Technology …, 2013
72013
Dependence condition graph for semantics-based abstract program slicing
A Cortesi, R Halder
Proceedings of the Tenth Workshop on Language Descriptions, Tools and …, 2010
72010
Abstract interpretation for sound approximation of database query languages
R Halder, A Cortesi
2010 The 7th International Conference on Informatics and Systems (INFOS), 1-10, 2010
72010
Observation-based fine grained access control for relational databases
R Halder, A Cortesi
Proceedings of the 5th International Conference on Software and Data …, 2010
72010
Information-flow analysis of hibernate query language
A Cortesi, R Halder
International Conference on Future Data and Security Engineering, 262-274, 2014
62014
Fine grained access control for relational databases by abstract interpretation
R Halder, A Cortesi
International Conference on Software and Data Technologies, 235-249, 2010
62010
Data-flow analysis-based approach of database watermarking
S Rani, P Kachhap, R Halder
Advanced Computing and Systems for Security, 153-171, 2016
52016
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
42016
Observation-based fine grained access control for xml documents
R Halder, A Cortesi
Computer Information Systems–Analysis and Technologies, 267-276, 2011
42011
The system can't perform the operation now. Try again later.
Articles 1–20