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

1,439 views · 84 downloads
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version

1,030 views · 40 downloads
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores

790 views · 54 downloads