Computer Aided Verification
From MaRDI portal
Publication:5900596
DOI10.1007/b11831zbMath1274.94138OpenAlexW1571340194MaRDI QIDQ5900596
Publication date: 31 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
Related Items
New results and applications for multi-secret sharing schemes ⋮ Secure proxy signature schemes for delegation of signing rights ⋮ On actively secure fine-grained access structures from isogeny assumptions ⋮ Efficient certificateless proxy signature scheme with provable security ⋮ Practical (fully) distributed signatures provably secure in the standard model