Luminous Fennell

LJGS: Gradual Security Types for Object-Oriented Languages

2016 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

LJGS is a lightweight Java core calculus with a gradual security type system. The calculus guarantees secure information flow for sequential, class-based, typed object-oriented programming with mutable objects and virtual method calls. An LJGS program …