We introduce a new cryptographic technique that we call universal re-encryption. A conventional cryptosystem that permits reencryption, such as ElGamal, does so only for a player w...
Philippe Golle, Markus Jakobsson, Ari Juels, Paul ...
—We describe a shared Simon Fraser University (WestGrid) and Dalhousie (ACEnet) seminar series which is now two years old, and is gradually expanding to include other Canadian un...
Jonathan M. Borwein, David Langstroth, Mason S. Ma...
We report here on our experiences using a program animation tool, the Teaching Machine, for program and algorithm visualization for engineering and physics students at two univers...
Michael Bruce-Lockhart, Theodore S. Norvell, Yiann...
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
The present work clarifies the relation between domains of universal machines and r.e. prefix-free supersets of such sets. One such characterisation can be obtained in terms of the...