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
1382010
Obfuscation-based analysis of SQL injection attacks
R Halder, A Cortesi
The IEEE symposium on Computers and Communications, 931-938, 2010
372010
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
302017
Abstract interpretation of database query languages
R Halder, A Cortesi
Computer Languages, Systems & Structures 38 (2), 123-157, 2012
292012
A persistent public watermarking of relational databases
R Halder, A Cortesi
International Conference on Information Systems Security, 216-230, 2010
232010
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
On preventing SQL injection attacks
BK Ahuja, A Jana, A Swarnkar, R Halder
Advanced Computing and Systems for Security, 49-64, 2016
132016
Abstract program slicing of database query languages
R Halder, A Cortesi
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 838-845, 2013
132013
A hierarchical and abstraction-based blockchain model
S Sahoo, AM Fajge, R Halder, A Cortesi
Applied Sciences 9 (11), 2343, 2019
102019
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
102014
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
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
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
72018
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
72016
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
Combining symbolic and numerical domains for information leakage analysis
A Cortesi, P Ferrara, R Halder, M Zanioli
Transactions on Computational Science XXXI, 98-135, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20