Sockeye: Bug-finding and proofs for platform confi

ยท cs.CR updates on arXiv.org
Following 12 feeds