Institute of Computer Science

Quantum spectral authentication: entity authentication and key derivation from a hidden eigenstate of a public unitary challenge

Abstract We introduce Quantum Spectral Authentication (QSA), a symmetric-key entity-authentication and key-derivation protocol in which a remote endpoint proves it still holds a hidden planted state, an eigenstate of the challenge it can prepare, without revealing it. Each round...

Is Hyperbole a Scalar Inference?

Abstract This article is concerned with the interpretation of hyperbolic statements. In the first part, we contend that Kao et al. (Proc Natl Acad Sci 111:12002–12007, 2014)—to our knowledge, the first (and only) attempt to derive hyperbolic interpretations using formal methods—i...

Adapted foundation models for breast MRI triaging in contrast-enhanced and non-contrast-enhanced protocols

Abstract Objectives To evaluate a DINOv2-based medical slice transformer (MST) for triaging abbreviated breast MRI by ruling out examinations with suspicious findings that are immediately actionable (Breast Imaging Reporting and Data System [BI-RADS] ≥ 4) across contrast-enhanced...