zknews

trending2

tag: non-interference ✕

01▲
Look-Ahead-Freedom as Temporal Non-Interference: A Verifiable Correctness Property for Backtesting and Agentic Trading Pipelines arxiv.org
Paper formalizes look-ahead bias as temporal non-interference for backtests and trading, with a decidable fragment, naturally.
arxiv formal-methods non-interference privacy security type-systems verification
10 pts/honestmaj/7 days ago/2 comments
02▲
Type-based information flow analysis for $\pi$-calculus with a dynamically extensible security lattice arxiv.org
Extends Kobayashi-style non-interference to pi-calculus with a runtime-extendable security lattice.
arxiv concurrency information-flow non-interference pi-calculus privacy security-lattice type-system
0 pts/mdiaz/17 days ago/1 comment