HALDER, RAJU

HALDER, RAJU  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Hierarchical and Abstraction-Based Blockchain Model 1-gen-2019 Halder, RajuCortesi, Agostino + 2.1 Articolo su rivista -
A Persistent Public Watermarking of Relational Databases 1-gen-2010 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Abstract interpretation for sound approximation of database query languages 1-gen-2010 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Abstract Interpretation of Database Query Languages 1-gen-2012 HALDER, RAJUCORTESI, Agostino 2.1 Articolo su rivista -
Abstract Interpretation of Recursive Queries 1-gen-2013 CORTESI, AgostinoHALDER, RAJU 4.1 Articolo in Atti di convegno -
Abstract Program Slicing of Database Query Languages 1-gen-2013 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Abstract program slicing on dependence condition graphs 1-gen-2013 HALDER, RAJUCORTESI, Agostino 2.1 Articolo su rivista -
Analyzing information flow in solidity smart contracts 1-gen-2023 Halder, RajuCortesi, Agostino + 3.1 Articolo su libro -
Combining symbolic and numerical domains for information leakage analysis 1-gen-2018 Agostino CortesiFERRARA, PietroRaju HalderMatteo Zanioli 2.1 Articolo su rivista -
Cooperative Query Answering by Abstract Interpretation 1-gen-2011 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Dependence Condition Graph for Semantics-based Abstract Program Slicing 1-gen-2010 CORTESI, AgostinoHALDER, RAJU 4.1 Articolo in Atti di convegno -
Extending Abstract Interpretation to Dependency Analysis of Database Applications 1-gen-2019 Raju HalderAgostino Cortesi + 2.1 Articolo su rivista -
Fine Grained Access Control for Relational Databases by Abstract Interpretation 1-gen-2013 HALDER, RAJUCORTESI, Agostino 3.1 Articolo su libro -
Information Leakage Analysis of Database Query Languages 1-gen-2014 HALDER, RAJUZANIOLI, MatteoCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Obfuscation-based analysis of SQL injection attacks 1-gen-2010 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Observation-based Fine Grained Access Control for Relational Databases 1-gen-2010 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Observation-Based Fine Grained Access Control for XML Documents 1-gen-2011 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Observation-based Fine Grained Access Control of Data 1-gen-2013 CORTESI, AgostinoHALDER, RAJU 2.1 Articolo su rivista -
Persistent Watermarking of Relational Databases 1-gen-2010 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Tukra: An Abstract Program Slicing Tool 1-gen-2012 HALDER, RAJUCORTESI, Agostino 4.1 Articolo in Atti di convegno -