Pages that link to "Item:Q2894324"
From MaRDI portal
The following pages link to Verified Indifferentiable Hashing into Elliptic Curves (Q2894324):
Displaying 7 items.
- A verified implementation of the Berlekamp-Zassenhaus factorization algorithm (Q1984794) (← links)
- Automated proof of Bell-LaPadula security properties (Q2031424) (← links)
- Two-party ECDSA from hash proof systems and efficient instantiations (Q2304919) (← links)
- The most efficient indifferentiable hashing to elliptic curves of \(j\)-invariant 1728 (Q2680379) (← links)
- Hashing with Elliptic Curve L-Functions (Q3166982) (← links)
- Relational Hash: Probabilistic Hash for Verifying Relations, Secure Against Forgery and More (Q3457126) (← links)
- On hashing into elliptic curves (Q3558752) (← links)