Certified Session Descriptions