Japan Advanced Institute of Science and Technology doesn't have a central Open Access funding arrangement with PeerJ yet. With a funding plan, authors publishing with PeerJ are able to streamline publication charges.
3 Peer-reviewed Articles
Symbolic model checking quantum circuits in Maude
732 views · 36 downloads
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
757 views · 24 downloads
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores
524 views · 34 downloads