Verifying a signature architecture: a comparative case study
scientific article; zbMATH DE number 5145021
scientific article