HALDER, RAJU
HALDER, RAJU
Dipartimento di Scienze Ambientali, Informatica e Statistica
A Hierarchical and Abstraction-Based Blockchain Model
2019-01-01 Sahoo, Swagatika; Fajge, Akshay M.; Halder, Raju; Cortesi, Agostino
A Persistent Public Watermarking of Relational Databases
2010-01-01 Halder, Raju; Cortesi, Agostino
Abstract interpretation for sound approximation of database query languages
2010-01-01 Halder, Raju; Cortesi, Agostino
Abstract Interpretation of Database Query Languages
2012-01-01 Halder, Raju; Cortesi, Agostino
Abstract Interpretation of Recursive Queries
2013-01-01 Cortesi, Agostino; Halder, Raju
Abstract Program Slicing of Database Query Languages
2013-01-01 Halder, Raju; Cortesi, Agostino
Abstract program slicing on dependence condition graphs
2013-01-01 Halder, Raju; Cortesi, Agostino
Analyzing information flow in solidity smart contracts
2023-01-01 Halder, Raju; Alam, Md. Imran; Fajge, Akshay M.; Singh, Neeraj Kumar; Cortesi, Agostino
Combining symbolic and numerical domains for information leakage analysis
2018-01-01 Cortesi, Agostino; Ferrara, Pietro; Halder, Raju; Zanioli, Matteo
Cooperative Query Answering by Abstract Interpretation
2011-01-01 Halder, Raju; Cortesi, Agostino
Dependence Condition Graph for Semantics-based Abstract Program Slicing
2010-01-01 Cortesi, Agostino; Halder, Raju
Extending Abstract Interpretation to Dependency Analysis of Database Applications
2019-01-01 Jana, Angshuman; Halder, Raju; Abhishekh, K. V.; Ganni, S. D.; Cortesi, Agostino
Extending abstract interpretation to new applicative scenarios
2012-03-12 Halder, Raju
Fine Grained Access Control for Relational Databases by Abstract Interpretation
2013-01-01 Halder, Raju; Cortesi, Agostino
Information Leakage Analysis of Database Query Languages
2014-01-01 Halder, Raju; Zanioli, Matteo; Cortesi, Agostino
Obfuscation-based analysis of SQL injection attacks
2010-01-01 Halder, Raju; Cortesi, Agostino
Observation-based Fine Grained Access Control for Relational Databases
2010-01-01 Halder, Raju; Cortesi, Agostino
Observation-Based Fine Grained Access Control for XML Documents
2011-01-01 Halder, Raju; Cortesi, Agostino
Observation-based Fine Grained Access Control of Data
2013-01-01 Cortesi, Agostino; Halder, Raju
Persistent Watermarking of Relational Databases
2010-01-01 Halder, Raju; Cortesi, Agostino