John L. Fitzpatrick,a,b,c, David J.D. Earn,d Carol Bucking,b,c Paul M. Craig,b,c Sunita Nadella,b,c Chris M. Wood,b,c and Sigal Balshinee aComputational and Evolutionary Biology, Faculty of Life Sciences, University of Manchester, Manchester M13 9PT, UK, bDepartment of Biology, McMaster University, 1280 Main Street West, Hamilton, Ontario L8S 4K1, Canada, cBamfield Marine Sciences Centre, 100 P...

A privacy-preserving authentication model called secret handshake was introduced by Balfanz, Durfee, Shankar, Smetters, Staddon, and Wong [1]. It allows two members of a same group to authenticate themselves secretly to the other whether they belong to a same group or not, in the sense that each party reveals his affiliation to the other only if the other party is also a same group member. The ...

For relativized arguments, we propose to restrict oracle queries to “stringent” ones; for comparing the power of two machine models relative to some oracle set, stringent relativization is to restrict machines of both types to ask queries on the same segment of the oracle. In particular, for investigating polynomial-time (or polynomial-size) computability, we propose polynomial stringency, boun...

Goldwasser and Kharchenko (TCC 2006) showed a proof of plaintext knowledge for the AjtaiDwork cryptosystem and left the open problem designing a proof of plaintext knowledge for the Regev’04 cryptosystem (JACM 2004). In this paper, we show a proof of plaintext knowledge for the Regev’04 cryptosystem (JACM 2004) using their technique. Furthermore, we show that it can be applied to the Regev’05 c...

Faculty of Information and Mathematical Sciences Department of Computing Science Doctor of Philosophy

institute of information and computing sciences, utrecht university technical report UU-CS-2003-005

institute of information and computing sciences, utrecht university technical report UU-CS-2003-055

The replication crisis across several disciplines raises challenges for behavioural sciences in general. In this report, we review the lessons experimental economists of these developments. We present new research methods and practices which are being proposed to improve replicability scientific studies. discuss how can have a positive impact economics extent they should be encouraged.

Contemporary physical science studies rely on the effective analyses of geographically dispersed spatial data and simulations of physical phenomena. Single computers and generic high-end computing are not sufficient to process the data for complex physical science analysis and simulations, which can be successfully supported only through distributed computing, best optimized through the applica...