Design and analysis of algorithms used in cryptographic protocols or security assessments.