| 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 | 181 | 2010 |
| 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 | 105 | 2020 |
| 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 | 102 | 2017 |
| 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 | 74 | 2021 |
| A hierarchical and abstraction-based blockchain model S Sahoo, AM Fajge, R Halder, A Cortesi Applied Sciences 9 (11), 2343, 2019 | 50 | 2019 |
| Obfuscation-based analysis of SQL injection attacks R Halder, A Cortesi The IEEE symposium on Computers and Communications, 931-938, 2010 | 44 | 2010 |
| 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 | 43 | 2022 |
| Abstract interpretation of database query languages R Halder, A Cortesi Computer Languages, Systems & Structures 38 (2), 123-157, 2012 | 43 | 2012 |
| Blockchain-based forward and reverse supply chains for E-waste management S Sahoo, R Halder International conference on future data and security engineering, 201-220, 2020 | 42 | 2020 |
| 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 | 37 | 2021 |
| A persistent public watermarking of relational databases R Halder, A Cortesi International conference on information systems security, 216-230, 2010 | 34 | 2010 |
| Comparative analysis of relational database watermarking techniques: An empirical study S Rani, R Halder IEEE Access 10, 27970-27989, 2022 | 31 | 2022 |
| Investigating the impact of structural and temporal behaviors in Ethereum phishing users detection M Ghosh, D Ghosh, R Halder, J Chandra Blockchain: Research and Applications 4 (4), 100153, 2023 | 27 | 2023 |
| 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 | 25 | 2018 |
| Cooperative query answering by abstract interpretation R Halder, A Cortesi International Conference on Current Trends in Theory and Practice of …, 2011 | 20 | 2011 |
| 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 | 19 | 2014 |
| Abstract program slicing of database query languages R Halder, A Cortesi Proceedings of the 28th Annual ACM Symposium on Applied Computing, 838-845, 2013 | 19 | 2013 |
| Bdmark: A blockchain-driven approach to big data watermarking S Sahoo, R Roshan, V Singh, R Halder Asian Conference on Intelligent Information and Database Systems, 71-84, 2020 | 18 | 2020 |
| Persistent watermarking of relational databases R Halder, A Cortesi Proc. IEEE Int. Conf. Adv. Commun., Netw., Comput.(CNC), 4-5, 2010 | 18 | 2010 |
| Abstract program slicing on dependence condition graphs R Halder, A Cortesi Science of Computer programming 78 (9), 1240-1263, 2013 | 17 | 2013 |
Agostino Cortesiprofessor of Computer Science, Ca' Foscari UniversityVerified email at unive.it
