Security and Verification in Computing
External reference: https://openalex.org/T11424
-
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.
-
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.

