Paper sets out information-flow security proofs for quantum programs
Noninterference and simulation-based definitions are proved equivalent, with verification via quantum Hoare logic and self-conjugation.
Stories per day · 30 days
2 RSS
Relatedagent-skills1ai-agents1codex1cosa1dram1formal-methods1formal-verification1fronteira1guardrails1llm-agents1mcp1memory-safety1noninterference1policy-violation1prompt-injection1quantum-computing1quantum-hoare-logic1rowhammer1
7 stories, newest first · one card per story
Stories tagged #information-flow
CoSA study shows composed agent skills raise policy-violation rates
Skill additions capped at 5% of each pool raised violations from 35.02% to 58.45% across five models.
Paper gives probabilistic semantics for Rowhammer-style bit flips
A collapse theorem says physical separation makes protected executions match the fault-free run for every finite prefix.
Lessons learned building Fronteira, an MCP proxy with behavioral guardrails
Fronteira, an MCP proxy, turns natural-language rules into checks against cross-tool agent data leaks.
SLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification
SLED-IFV uses solver-checked LLM decompositions to speed hardware information-flow proofs by up to 603x.
Provisional Reachability: Containing Agents by Making Every Crossing Revocable
An escrow-and-audit scheme bounds how many bits an agent can move before a secret becomes unreachable.
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.