~/talk

Peter, the May and the Must, and Lacework

Talkat O'Hearn Fest (POPL 2024) · on Sunday, 2024-01-14· [security]
links:none on file
slides:none on file

Lacework builds a cloud-scale security pipeline that combines static SCA of repos and container images, quick buildless source analysis plus deeper info‑flow checks, and a low‑overhead runtime agent that implements package-level code-coverage by monitoring filesystem opens. An experiment on 2,500 machines shows 1,300 unique packages with only 235 active and ~1,100 inactive, yielding a typical ~65% reduction in remediation effort (range ~10–90%). The agent uses throttled file breakpoints to keep cost and telemetry volumes very low and reports past execution, not predictions.

AI-written summary · about

  1. 0:00Introduction
  2. 1:28Lacework in cloud security
  3. 3:36Code security and Peter’s role
  4. 6:11Kware agent for code coverage
  5. 9:02Impact of inactive vulnerable packages
  6. 11:30Reflections on May and Must in bug finding
  7. 14:23Compositional May-Must analysis
  8. 19:26Closing remarks
  9. 19:52Q&A
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.