+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
Volume 8, Issue 4, November 2018 (BibTex)
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
Achieving Strong Security and Member Registration
for Lattice-based Group Signature Scheme with Verifier-local Revocation
Maharage Nisansala Sevwandi Perera and Takeshi Koshiba
[
abstract]
A Type-based Formal Specification for Cryptographic Protocols
Paventhan Vivekanandan
Expressive Ciphertext-Policy Attribute-Based Encryption with Fast Decryption
Hikaru Tsuchida, Takashi Nishide, and Eiji Okamoto
Lattice-Based Simulatable VRFs: Challenges and Future Directions
Carlo Brunetta, Bei Liang, and Aikaterini Mitrokotsa
[
abstract]