cryptographic protocols, program analysis, program specialization, program transformation, program verification, supercompilation.