Security monitor inlining and certification for multithreaded Java

Mads Dam, Bart Jacobs 0002, Andreas Lundblad, Frank Piessens. Security monitor inlining and certification for multithreaded Java. Mathematical Structures in Computer Science, 25(3):528-565, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.