Proceedings of the 4th European PKI workshop: Theory and Practice on Public Key Infrastructure: Theory and Practice