Secure Compilation of Object-Oriented Components to Protected Module Architectures
No abstract available.
Related papers
- Secure Compilation to Protected Module Architectures TOPLAS 2015
- Confined Types OOPSLA 1999
- Pluggable verification modules: an extensible protection mechanism for the JVM OOPSLA 2004
- Compiler-Based Memory Encryption for Machine Learning on Commodity Low-Power Devices CC 2024
- An approach to safe object sharing OOPSLA 2000
- Modular Object-Oriented Programming with Units and Mixins ICFP 1998
- Combining subsumption and binary methods: an object calculus with views POPL 2001
- Experience with Flamingo: A Distributed, Object-Oriented User Interface System OOPSLA 1986