We are interested in formal modelling and verification of security ceremonies. Considerable efforts have been put into verifying security protocols, with quite successful tools currently being widely used. The relatively recent concept of security ceremonies, introduced by Carl Ellison, increases the complexity of protocol analysis in several directions: a ceremony should include all relevant o...

The various ceremonies (Sacraments) performed by practitioners of Hindu faith are explained in this article.

State-of-the-art e-voting systems rely on voters to perform certain actions to ensure that the election authorities are not manipulating the election result. This so-called “end-to-end (E2E) verifiability” is the hallmark of current e-voting protocols; nevertheless, thorough analysis of current systems is still far from being complete. In this work, we initiate the study of e-voting protocols a...

Nearly all medical schools incorporate some form of professional medical oath into their graduation ceremonies. The oldest and most popular of these oaths is the Hippocratic Oath, composed more than 2,400 years ago. In modern times, especially during the twentieth century, the Hippocratic Oath has had its content changed and its authorship challenged. This article discusses the history of the H...