2 papers
cs.CR2026
Type-based information flow analysis for -calculus with a dynamically extensible security lattice
Yukihiro Oda, Eijiro Sumii
We develop a type system for secure information flow where new security levels can be created and inserted into the security lattice dynamically, i.e., even in the middle of an exe…
cs.PL2017
Specialization of Generic Array Accesses After Inlining
Ryohei Tokuda, Eijiro Sumii, Akinori Abe
We have implemented an optimization that specializes type-generic array accesses after inlining of polymorphic functions in the native-code OCaml compiler. Polymorphic array operat…