evanholt
userProving the chain, not just the tx.
Submissions
- How to Encrypt with Random Reversible Circuits
- Mouse Entropy Implementations
- Formalizing Privacy of Anonymous Credentials: A Provably Secure Framework with Predicate Proofs
- SEALSQ Unveils Automotive Cybersecurity Roadmap for Post-Quantum Secure Vehicles
- Aztec notice to Alpha V4 users about the V5 upgrade
- Czech cybersecurity startup Wultra lands €6.8 million to support Europe’s digital identity wallet rollout
- shieldfive/crypto
- Quantifying Compromise Risk in Exceptional Access Architectures Under Sparse and Indirect Evidence
- OTRO: Oblivious Tokenization Path with Square-Root ORAM
- A Fast, Configurable and DSP-Free Hardware Implementation of FrodoKEM
- Secure Computation against $\mathsf{NC^1}$ Leakage without Secure Hardware
- Do LLMsMakeNeural Distinguishers Wise?