Agostino Cortesi - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2011

Cooperative Query Answering by Abstract InterpretationRaju Halder, Agostino Cortesi. In Proceedings of the 37th International Conference on Current Trends in Theory and Practice of Computer Science. 2011: [doi]

2010

Dependence condition graph for semantics-based abstract program slicingAgostino Cortesi, Raju Halder. LDTA 2010: 4 [doi]

Dependence Condition Graph for Semantics-based Abstract Program SlicingAgostino Cortesi, Halder, Raju. In Proceedings of the 10th International Workshop on Language Descriptions Tools and Applications (LDTA'10) - satellite event of European Joint Conferences on Theory and Practice of Software (ETAPS'10). 2010: [doi]

Watermarking Techniques for Relational Databases: Survey, Classification and ComparisonRaju Halder, Pal, Shantanu, Agostino Cortesi. Journal of Universal Computer Science, 16(21), December 2010.

Abstract Interpretation for sound approximation of database query languagesRaju Halder, Agostino Cortesi. In Proceedings of the 7th International Conference on Informatics and Systems (INFOS 2010) , Cairo, Egypt, March 28 - 30, 2010. 2010: [doi]

Persistent Watermarking of Relational DatabasesRaju Halder, Agostino Cortesi. In Proceedings of the IEEE International Conference on Advances in Communication, Network, and Computing (CNC'10). 2010: [doi]

Observation-based Fine Grained Access Control for Relational DatabasesRaju Halder, Agostino Cortesi. In Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT 2010). 2010: [doi]

A Persistent Public Watermarking of Relational DatabasesRaju Halder, Agostino Cortesi. In Proceedings of the 6th International Conference on Information Systems Security (ICISS 2010). 2010: [doi]

Obfuscation-based Analysis of SQL Injection AttacksRaju Halder, Agostino Cortesi. In Proceedings of the 15th IEEE Symposium on Computers and Communications (ISCC 2010). 2010: [doi]

2009

An Abstract Interpretation Framework for Structured Query LanguagesAgostino Cortesi, Raju Halder. In Proceedings of the 21st Nordic Workshop on Programming Theory (NWPT'09). 2009: [doi]