Team celtique

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Overall Objectives

Highlights

Celtique has developed a new type system system for Java to track dangerous uses of initialised objects. This contribution makes part of the Javasec project, commissioned by the national information security agency (ANSSI), in order to propose extensions to enhance the security of a Java virtual machine. The work provides a practical solution, develops a supporting type system, and formally proves its soundness in Coq (for a simplified formal subset of Java). The work was presented at this year's European Symposium on Research in Computer Security. Its take part of the phd work of Laurent Hubert that will defend this thesis at the end of the year.


previous
next

Logo Inria