We study the cryptographic primitive Oblivious Transfer; a composable
co...
The hardware and software foundations laid in the first half of the 20th...
The formalism of quantum physics is built upon that of classical mechani...
We explore the extent to which the principles of classical modal logic c...