Sfoglia per Autore HALDER, RAJU
A Dynamic Context-Aware and Role-Capability Based Access Control Mechanism for Internet of Things
2025 Krishnasrija, Rudra; Mandal, Amit Kr.; Halder, Raju; Cortesi, Agostino
Analyzing information flow in solidity smart contracts
2023 Halder, Raju; Alam, Md. Imran; Fajge, Akshay M.; Singh, Neeraj Kumar; Cortesi, Agostino
Extending Abstract Interpretation to Dependency Analysis of Database Applications
2019 Jana, Angshuman; Halder, Raju; Abhishekh, K. V.; Ganni, S. D.; Cortesi, Agostino
A Hierarchical and Abstraction-Based Blockchain Model
2019 Sahoo, Swagatika; Fajge, Akshay M.; Halder, Raju; Cortesi, Agostino
Combining symbolic and numerical domains for information leakage analysis
2018 Cortesi, Agostino; Ferrara, Pietro; Halder, Raju; Zanioli, Matteo
Information Leakage Analysis of Database Query Languages
2014 Halder, Raju; Zanioli, Matteo; Cortesi, Agostino
Abstract Interpretation of Recursive Queries
2013 Cortesi, Agostino; Halder, Raju
Fine Grained Access Control for Relational Databases by Abstract Interpretation
2013 Halder, Raju; Cortesi, Agostino
Observation-based Fine Grained Access Control of Data
2013 Cortesi, Agostino; Halder, Raju
Abstract program slicing on dependence condition graphs
2013 Halder, Raju; Cortesi, Agostino
Abstract Program Slicing of Database Query Languages
2013 Halder, Raju; Cortesi, Agostino
Extending abstract interpretation to new applicative scenarios
2012 Halder, Raju
Tukra: An Abstract Program Slicing Tool
2012 Halder, Raju; Cortesi, Agostino
Abstract Interpretation of Database Query Languages
2012 Halder, Raju; Cortesi, Agostino
Observation-Based Fine Grained Access Control for XML Documents
2011 Halder, Raju; Cortesi, Agostino
Cooperative Query Answering by Abstract Interpretation
2011 Halder, Raju; Cortesi, Agostino
Dependence Condition Graph for Semantics-based Abstract Program Slicing
2010 Cortesi, Agostino; Halder, Raju
Obfuscation-based analysis of SQL injection attacks
2010 Halder, Raju; Cortesi, Agostino
Persistent Watermarking of Relational Databases
2010 Halder, Raju; Cortesi, Agostino
A Persistent Public Watermarking of Relational Databases
2010 Halder, Raju; Cortesi, Agostino
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile