4th European PKI Workshop: Theory and Practice