We study a normalization function in an algebra of terms quotiented by an associative, commutative and involutive operator (logical xor). This study is motivated by the formal verification of cryptographic systems, where a normalization function for xor-terms turns out to play a key role. Such a function is easy to define using general recursion. However, as it is to be used in a type theoretic...

If mistrustful parties A and B control two or more appropriately located sites, special relativity can be used to guarantee that a pair of messages exchanged by A and B are independent. Using this fact, an unconditionally secure relativistic bit commitment protocol, RBC1, was recently defined. Security is maintained in RBC1 by exchanging a sequence of messages whose transmission rate increases ...

The fuzzy vault scheme is a well-known technique to mitigate privacy, security, and usability related problems in biometric identification applications. The basic idea is to hide biometric data along with secret information amongst randomly selected chaff points during the enrollment process. Only the owner of the biometric data who presents correct biometrics can recover the secret and identif...

In April 2007, the First Internet War began. Owing to the relocation of a World War II-era Soviet war memorial in Estonia, angry protestors, primarily of Russian descent, engaged in a month-long series of coordinated online attacks on Estonia's Internet infrastructure that disabled it for several days. We analyze this real-world event from a social psychological perspective. Specifically, we re...

Nanoparticles have been making their way in biomedical applications and personalized medicine, allowing for the coupling of diagnostics and therapeutics into a single nanomaterial-nanotheranostics. Gold nanoparticles, in particular, have unique features that make them excellent nanomaterials for theranostics, enabling the integration of targeting, imaging and therapeutics in a single platform, ...

Domains of individual preferences for which the well-known impossibility Theorems of Gibbard-Satterthwaite and Muller-Satterthwaite do not hold are studied. First, we introduce necessary and sufficient conditions for a domain to admit non-dictatorial, Pareto efficient and either strategy-proof or Maskin monotonic social choice rules. Next, to comprehend the limitations the two Theorems imply fo...