Issue 4 – Journal of Internet Services and Information Security

Journal of Internet Services and Information Security
ISSN: 2182-2069 (printed) / ISSN: 2182-2077 (online)

Volume 8 Issue 4

Lattice-Based Simulatable VRFs: Challenges and Future Directions

Authors: Carlo Brunetta, Bei Liang, and Aikaterini Mitrokotsa

DOI: 10.22667/JISIS.2018.11.30.057

Pages: 57-69

Keywords: Dual-Mode Commitment Scheme, Lattice-based Cryptography, Non Interactive Zero Knowledge Arguments, Pseudo Random Functions, Verifiable Random Functions

Abstract Download

Expressive Ciphertext-Policy Attribute-Based Encryption with Fast Decryption

Authors: Hikaru Tsuchida, Takashi Nishide, and Eiji Okamoto

DOI: 10.22667/JISIS.2018.11.30.037

Pages: 37-56

Keywords: Attribute-Based Encryption, Non-monotone Access Structure, Fast Decryption

Abstract Download

A Type-based Formal Specification for Cryptographic Protocols

Authors: Paventhan Vivekanandan

DOI: 10.22667/JISIS.2018.11.30.016

Pages: 16-36

Keywords: Higher Inductive Type, Univalence, Functor, Homotopy, Groupoid, Universe, Equivalence, Quasi-inverse, Identity type

Abstract Download

Achieving Strong Security and Member Registration for Lattice-based Group Signature Scheme with Verifier-local Revocation

Authors: Maharage Nisansala Sevwandi Perera and Takeshi Koshiba

DOI: 10.22667/JISIS.2018.11.30.001

Pages: 1-15

Keywords: Lattice-Based Group Signatures, Verifier-Local Revocation, Member Registration, Dynamical-Almost-Full Anonymity

Abstract Download