Our paper, titled Parallel Maude-NPA for Cryptographic Protocol Analysis, was selected as a featured article and ranked as a trending article in IEEE Transactions on Dependable and Secure Computing (IEEE TDSC) and was also announced in a JAIST news article (link). :tada: