1 / 15

When Two Languages Are Simpler Than One

Explore the challenges and strategies for tackling defensive and offensive code problems, legacy code issues, and virtualizability problems in software engineering. Discover proposed goals for Secure Execution Subsets (SES) in a clear and concise manner.

rfink
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