Authenticity by typing for security protocols1
Distribution of the number of citations over years.