1 citations · 1 across the 2 of their papers we have counts for
5 papers · 1 filter
Encoding-Sensitive Nullstellensatz Certificates for Syndrome Exclusion in LDPC Codes: Sharp Local Bounds and a Linear Separation
Malihe Aliasgari, Hassan Khodaiemehr, Khadijeh Bagheri
Certifying that a parity-check matrix has no nonempty set of at most t variable nodes leaving at most b checks unsatisfied arises in minimum-distance and trapping-set analysis. Suc…
SILMARILS-MV: Information-Theoretically Secure Multi-Verifier Signatures with Dealer-Free Key Issuance and Linear Aggregation for Permissioned Blockchains
Khadijeh Bagheri, Hassan Khodaiemehr, Chen Feng
Permissioned blockchains authenticate transactions, votes and quorum certificates with computationally secure signatures, and post-quantum replacements inflate consensus traffic by…
PQ-Vault: Provably Quantum-Safe Asset Custody for Unmodified Ethereum
Hassan Khodaiemehr, Khadijeh Bagheri, Chen Feng
A quantum computer could recover the key of any Ethereum account whose public key appears on chain. We prove that no sidechain or bridge that leaves Ethereum's rules unchanged can…
Rateless Nested Lattice Codes for Secure Cooperative V2X Broadcast over Fading and Erasure Channels
Pegah Sharifi, Hassan Khodaiemehr, Khadijeh Bagheri +1
Vehicle-to-everything (V2X) sidelink and uplink broadcast must deliver safety-critical and application-layer data reliably under fast time-varying fading, intermittent packet erasu…
SILMARILS: Information-Theoretic and Quantum-Secure Designated-Verifier Signatures
Hassan Khodaiemehr, Khadijeh Bagheri, Chen Feng +1
SILMARILS is built from a minimal algebraic core over using true randomness and perfect -out-of- Shamir secret sharing. The framework supports both two-party a…