Our paper, titled Parallel Maude-NPA for Cryptographic Protocol Analysis, has been accepted for publication in IEEE Transactions on Dependable and Secure Computing (IEEE TDSC) and selected for a JAIST press release (link). :tada: