Kazuhiro Ogata

Symbolic Model Checking Quantum Circuits in Maude

2023 · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering

This paper presents a symbolic approach to model checking quantum circuits by using a set of laws from quantum mechanics and basic matrix operations with Dirac notation.We use Maude, a high-level specification/programming language based on …

Modelling and verification of post-quantum key encapsulation mechanisms using Maude

2023 · PeerJ Computer Science

Communication and information technologies shape the world's systems of today, and those systems shape our society. The security of those systems relies on mathematical problems that are hard to solve for classical computers, that is, …