
Parallelization of cryptographic protocol analyzer Maude-NPA reduces analysis time, makes internet safer
Internet security is a major concern, but cryptographic protocol analysis tools often require a long time due to their computational complexity. Professor Kazuhiro Ogata and Assistant Professor Canh Minh Do of the Department of Computing […]