Secure Self-certified Code for Java

Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi. Secure Self-certified Code for Java. In Ali E. Abdallah, Peter Ryan, Steve Schneider, editors, Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers. Volume 2629 of Lecture Notes in Computer Science, pages 133-151, Springer, 2002. [doi]

Authors

Mourad Debbabi

This author has not been identified. Look up 'Mourad Debbabi' in Google

Jules Desharnais

This author has not been identified. Look up 'Jules Desharnais' in Google

M. Fourati

This author has not been identified. Look up 'M. Fourati' in Google

E. Menif

This author has not been identified. Look up 'E. Menif' in Google

Frédéric Painchaud

This author has not been identified. Look up 'Frédéric Painchaud' in Google

Nadia Tawbi

This author has not been identified. Look up 'Nadia Tawbi' in Google