3 papers
cs.CR2026
Threat Vectors and the State of the Art in Defense Methods for Security in Neurotechnology
Bryce-Allen Bagley, Nathaniel Rose, Quintus Kilbourn +1
Brain-computer interfaces (BCIs) are a class of diverse hardware modalities, associated software, and connected devices which are widely used in a variety of fields, including neur…
cs.CR2026
Proof of Cloud: Data Center Execution Assurance for Confidential VMs
Filip Rezabek, Moe Mahhouk, Andrew Miller +3
Confidential Virtual Machines (CVMs) protect data in use by running workloads within hardware-enforced Trusted Execution Environments (TEEs). However, existing CVM attestation mech…
q-fin.MF2025
Arbitrage with bounded Liquidity
Christoph Schlegel, Quintus Kilbourn
We derive the arbitrage gains or, equivalently, Loss Versus Rebalancing (LVR) for arbitrage between \textit{two imperfectly liquid} markets, extending prior work that assumes the e…