Japan Advanced Institute of Science and Technology

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.

Learn more about institutional plans at PeerJ

3 Peer-reviewed Articles

Symbolic model checking quantum circuits in Maude
Canh Minh Do, Kazuhiro Ogata
1,439 views · 84 downloads
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
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
Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata
790 views · 54 downloads