research
∙
08/22/2023
Smooth min-entropy lower bounds for approximation chains
For a state ρ_A_1^n B, we call a sequence of states (σ_A_1^k B^(k))_k=1^...
share
research
∙
04/05/2022
Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared Entanglement
We explore the cryptographic power of arbitrary shared physical resource...
research
∙
02/10/2022
Formalized functional analysis with semilinear maps
Semilinear maps are a generalization of linear maps between vector space...
research
∙
01/14/2022