JavalibSawja

Publications

• Sawja: Static Analysis Workshop for Java. Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, Vincent Monfort, David Pichardie, and Tiphaine Turpin. In Proc. of the 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), volume 6528 of Lecture Notes in Computer Science, pages 92-106. Springer-Verlag, 2010. [.pdf]

• A provably correct stackless intermediate representation for Java bytecode. Delphine Demange, Thomas Jensen, and David Pichardie. In Proc. of the 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), volume 6461 of Lecture Notes in Computer Science, pages 97-113. Springer-Verlag, 2010. [.pdf]

• A provably correct stackless intermediate representation for Java bytecode. Delphine Demange, Thomas Jensen, and David Pichardie.Research Report 7021, INRIA, 2009. [.pdf]

• Enforcing Secure Object Initialization in Java. Laurent Hubert, Thomas Jensen, Vincent Monfort and David Pichardie. In Proc. of the 15th European Symposium on Research in Computer Security (ESORICS 2010), volume 6345 of Lecture Notes in Computer Science, pages 101-115. Springer-Verlag, 2010. [.pdf]

• Secure the Clones: Static Enforcement of Policies for Secure Object Copying. Thomas Jensen, Florent Kirchner and David Pichardie. In Proc. of the 20th European Symposium on Programming (ESOP 2011), volume 6602 of Lecture Notes in Computer Science, pages 317-337. Springer-Verlag, 2011. [.pdf] / Website

• ProMoVer: Modular Verification of Temporal Safety Properties. Siavash Soleimanifard, Dilian Gurov and Marieke Huisman. To appear in 9th International Conference on Software Engineering and Formal Methods (SEFM) 2011.