Machine Code

Binary Instructions

  1. Static Addressing
  2. Shared Memory 
  3. Unchecked Interference
  4. Public Computations
  5. Insecure Compilations
  6. Easily Attacked

Functional Instructions

  1. Named References
  2. Private Computations
  3. Uniform Mechanism
  4. Universal Solution
  5. Scientific and Secure
  6. Functional Programming

Comments