Parallelizing the backward narrowing at each layer in step (1) for Maude-NPA (IMAGE)

Japan Advanced Institute of Science and Technology

Parallelizing the backward narrowing at each layer in step (1) for Maude-NPA

Caption

Parallelizing the backward narrowing at each layer in step (1) and the transition subsumption in step (2) significantly improves the runtime performance of Maude-NPA. The study reports speedups of 82%, 81%, and 77% for three complex case studies with the largest state spaces. On average, across all protocols tested, the parallel version achieves a 52% improvement in runtime performance. Researchers from JAIST demonstrate a promising approach to making cryptographic protocols more robust and secure.

Credit

Canh Minh Do from JAIST.

Usage Restrictions

Cannot be reproduced without permission.

License

Original content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.