Daily Edition · Page 5

THE DAILY INDEX

Technology, AI, software, security, crypto and business

ATTACKS & VULNERABILITIES

TLDR InfoSec

FORMALLY VERIFYING SECURITY PROPERTIES OF CHERI PROCESSORS

Researchers used a new verification framework, VeriCHERI, to find and fix a vulnerability in a processor vulnerable to Meltdown-style attacks. VeriCHERI focuses on security properties rather than conforming to a specification, making it effective in detecting vulnerabilities like timing side channels. This approach enhances security verification for processors like CHERIoT Ibex, improving protection against attacks exploiting microarchitectural weaknesses.

OUR AUDIT OF HOMEBREW

Trail of Bits performed an audit of the popular macOS package manager, Homebrew. The audit found several issues in the brew CLI that could allow for unsandboxed, local code execution but this was in line with Homebrew's threat model of trusted formulae. The audit also uncovered misuse-prone patterns in the CI/CD process that could allow a lower-privileged insider to undermine the integrity and isolation assumptions made by the Homebrew CI/CD.

TLDR IndexPage 5