C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles.
Xinfeng Lei
Rui Xue
Ting Yu
Published in:
IACR Cryptol. ePrint Arch. (2010)
Keyphrases
</>
secret key
secure communication
high security
database
encryption scheme
formal language
encryption decryption
ctl model update