FIELD NOTES TOPIC

containers

2 notes, newest first.

  1. Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities

    Source note ·

    Researchers have developed Bulkhead, a framework that uses large language models and formal methods to automatically detect and fix container escape vulnerabilities caused by path traversal. This is done through…

  2. Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities

    Source note ·

    Researchers present Bulkhead, an automated framework that uses large language models and formal methods to detect and fix container escape vulnerabilities called path traversal (PaTra) vulnerabilities. These…