Véronique Benzaken's Home page: Articles Module ISS

Bases de donnees : IFIPS deuxieme annee Benzaken's Short Curriculum

• Abstract Interpretation a semantics based tool for program analysis, Jones and Nielson, Handbook of Logic in Computer Science Hantry, Lemerre, Le Lann
• Integrity Constraints for XML Journal of Computer and System Sciences (JCSS), 66(1):254-291, February 2003. Wenfei Fan and Jérôme Siméon Fegas

• G. Necula, Proof Carrying Code, Advanced topics in Types and Programming Languages Nikolaidou, Khan
• Secure XML Querying with Security Views, Wenfei Fan, Chee-Yong Chan, Minos Garofalakis, ACM Sigmod 2004 Shan, Phan, Wang Berrahal.
• Controlling Access to Published Data Using Cryptography, Miklau, Suciu, VLDB2003
• Security Analysis of Cryptographically Controlled Access to XML Documents, Abadi, Warinschi, ACM Pods 2005 Izerrouken, Bouabache, Rejeb, es Chouchane, Benkirane

• Semantic Subtyping , V. Benzaken, G. Castagna, and A. Frisch. IEEE LICS 2002
• A Gentle Introduction to Semantic Subtyping. G. Castagna, and A. Frisch. Joint PPDP-ICALP '05 Keynote Talk. Proc. of PPDP 2005, ACM Press. Zuckerman, Lesnicki, Rahme

Véronique Benzaken's Home page: Articles Module ISS

Bases de donnees : IFIPS deuxieme annee Benzaken's Short Curriculum