The following pages link to Computer Aided Verification (Q5900596):
Displayed 5 items.
- New results and applications for multi-secret sharing schemes (Q404940) (← links)
- Secure proxy signature schemes for delegation of signing rights (Q421030) (← links)
- Efficient certificateless proxy signature scheme with provable security (Q454968) (← links)
- Practical (fully) distributed signatures provably secure in the standard model (Q2354772) (← links)
- On actively secure fine-grained access structures from isogeny assumptions (Q6166994) (← links)