Security and Verification in Computing

External reference: https://openalex.org/T11424

  1. Docker’s technical evolution and continued adaptation
    Retrospective analysis of Docker's technical architecture, cross-platform expansion, and evolution toward modular standardization over a decade of development.
  2. WaSC decouples WASM system access with low startup and memory use
    WaSC hardens WebAssembly sandboxes through system interface decoupling, achieving machine-level isolation while maintaining WASM performance advantages for serverless computing environments.