ZeroHour

Search: “spectre”

2 stories in the last 7d

SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)

Researchers formally prove existing CHERI speculation proposals leak secrets and present SCHERI, a processor design with end-to-end Spectre-resistant constant-time guarantees.

The paper builds a formal framework reasoning jointly about capability safety, speculative execution, and information-flow security on CHERI architectures. It demonstrates that existing secure-speculation proposals fail to preserve constant-time confidentiality guarantees and can transiently leak isolated secrets. The authors present SCHERI, a new processor design formally proven to provide end-to-end secure speculation for the constant-time policy, resilient to Spectre attacks.

arXiv cs.CR · 1d agoResearch

Anthropic CEO outlines plan to ‘pace the frontier’

Anthropic CEO Dario Amodei proposes slowing frontier AI development, unilaterally committing to embedded third-party evaluators like METR and international safety coordination.

Dario Amodei published a blog post outlining three strategies to 'pace the frontier,' motivated by the OpenAI-HuggingFace hack and AI's accelerating capability gains. Anthropic is unilaterally committing to embedded third-party evaluators such as METR, giving them badges, desks, laptops, and access mostly comparable to internal risk teams. Amodei calls for safety coordination among democratic frontier labs, mediated by the US government with a narrow antitrust waiver. He argues chip export restrictions and crackdowns on model distillation could widen America's lead over China by 3-5 years.

TechCrunch · AI · 4d agoAI safety & security2