Sabbatical leave to carry out research on the "Automated Correction of Faulty Security Protocols" Award or Honor