1 / 15

When Two Languages Are Simpler Than One

When Two Languages Are Simpler Than One Lessons for SES from Cajita, Original-Caja, and Valija Mark S. Miller Simultaneous Problems D = Defensive code problem O = Offensive code problem T = Legacy tools problem C = Legacy code problem Simultaneous Solution?

paul
Download Presentation

When Two Languages Are Simpler Than One

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. When Two Languages Are Simpler Than One Lessons for SES from Cajita, Original-Caja, and Valija Mark S. Miller

  2. Simultaneous Problems D = Defensive code problemO = Offensive code problemT = Legacy tools problemC = Legacy code problem

  3. Simultaneous Solution? D = Defensive code problemO = Offensive code problemT = Legacy tools problemC = Legacy code problem

  4. Don’t try this at home (or at all) D = Defensive code problemO = Offensive code problemT = Legacy tools problemC = Legacy code problem

  5. Separate Solutions D = Defensive code problemO = Offensive code problemT = Legacy tools problemC = Legacy code problem

  6. Layered Solutions D = Defensive code problemO = Offensive code problemT = Legacy tools problemC = Legacy code problemV = Virtualizability problem

  7. Lessons for SES D = Defensive code problemO = Offensive code problemT = Legacy tools problemC = Legacy code problemV = Virtualizability problem

  8. Proposed SES Goals • SES is smallest secure subset of ~Harmony-strict without loss of functionality. • SES is a good target for a multiply instantiable embedding of ~Harmony-strict.

  9. Questions?

  10. Freeze Primordials

  11. Hide Sharp Objects = Cajita

  12. Cajita + Implementation

  13. Replace with per-gadget toy knives

  14. Valija on Cajita Impl

  15. Valija Impl on Cajita Impl

More Related