Hengbiao Yu, Banghu Yin, Xin Yi. Symbolic Verification of Message Signatures in MPI. In 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022. pages 185-195, IEEE, 2022. [doi]
Abstract is missing.