A tool to test security of json web token
MQT DDSIM - A quantum circuit simulator based on decision diagrams writt...
MQT QCEC - A tool for Quantum Circuit Equivalence Checking