Raju Halder
Title
Cited by
Cited by
Year
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.
R Halder, S Pal, A Cortesi
J. UCS 16 (21), 3164-3190, 2010
1222010
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
212010
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
192017
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
162013
Persistent watermarking of relational databases
R Halder, A Cortesi
Proceedings of the IEEE International Conference on Advances in …, 2010
162010
Abstract program slicing of database query languages
R Halder, A Cortesi
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 838-845, 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
On preventing SQL injection attacks
BK Ahuja, A Jana, A Swarnkar, R Halder
Advanced Computing and Systems for Security, 49-64, 2016
82016
Abstract interpretation of recursive queries
A Cortesi, R Halder
International Conference on Distributed Computing and Internet Technology …, 2013
82013
Observation-based fine grained access control for relational databases
R Halder, A Cortesi
Proceedings of the 5th International Conference on Software and Data …, 2010
82010
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
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
A watermarking framework for outsourced and distributed relational databases
S Rani, DK Koshley, R Halder
International Conference on Future Data and Security Engineering, 175-188, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20