Smart card application used by the IRMA project to issue, reveal and manage attributes.