News

EurekAlert!2d

World’s first successful parallelization of the cryptographic protocol analyzer Maude-NPA significantly reduces analysis time and contributes to a safer Inter…

Researchers from Japan successfully parallelized both the backward narrowing and transition subsumption steps in the powerful ...