Our AMO Typed Secure VM

• typed secure virtual machine instruction

  • architecture-independent instruction set
  • type system for security and optimization
  • accepts a variety of programming languages(including a large subset of C, C++)
  • (PCC + TAL)/2

Previous slide

Next slide

Back to first slide

View graphic version