Journal: J. Internet Serv. Inf. Secur.

Volume 8, Issue 4

1 -- 15Maharage Nisansala Sevwandi Perera, Takeshi Koshiba. Achieving Strong Security and Member Registration for Lattice-based Group Signature Scheme with Verifier-local Revocation
16 -- 36Paventhan Vivekanandan. A Type-based Formal Specification for Cryptographic Protocols
37 -- 56Hikaru Tsuchida, Takashi Nishide, Eiji Okamoto. Expressive Ciphertext-Policy Attribute-Based Encryption with Fast Decryption
57 -- 69Carlo Brunetta, Bei Liang, Aikaterini Mitrokotsa. Lattice-Based Simulatable VRFs: Challenges and Future Directions