76 research outputs found
Secure Contactless Payment
A contactless payment lets a card holder execute payment without any interaction (e.g., entering PIN or signing) between the terminal and the card holder. Even though the security is the first priority in a payment system, the formal security model of contactless payment does not exist. Therefore, in this paper, we design an adversarial model and define formally the contactless-payment security against malicious cards and malicious terminals including relay attacks. Accordingly, we design a contactless-payment protocol and show its security in our security model. At the end, we analyze EMV-contactless which is a commonly used specification by most of the mobile contactless-payment systems and credit cards in Europe. We find that it is not secure against malicious cards. We also prove its security against malicious terminals in our model. This type of cryptographic proof has not been done before for the EMV specification
Microcantilever based LoC system for coagulation measurements
In this paper, a microcantilever-based system enabling multiple coagulation tests on the same disposable cartridge is demonstrated. The system consists of independent cartridge and reader unit. The actuation of the nickel cantilevers is conducted remotely with an external electro-coil and remote optical read-out is utilized for sensing. Both Prothrombin Time (PT) and activated Partial Thromboplastin Time (aPTT) tests can be conducted on the same cartridge. The system’s repeatability and accuracy is investigated with standard control plasma samples. The results are concordant with the manufacturer’s datasheet. The architecture of the system and the repeatable results makes the system suitable for Point-of-Care applications.TÜBİTA
Microcantilever based LoC system for coagulation measurements
In this paper, a microcantilever-based system enabling multiple coagulation tests on the same disposable cartridge is demonstrated. The system consists of independent cartridge and reader unit. The actuation of the nickel cantilevers is conducted remotely with an external electro-coil and remote optical read-out is utilized for sensing. Both Prothrombin Time (PT) and activated Partial Thromboplastin Time (aPTT) tests can be conducted on the same cartridge. The system’s repeatability and accuracy is investigated with standard control plasma samples. The results are concordant with the manufacturer’s datasheet. The architecture of the system and the repeatable results makes the system suitable for Point-of-Care applications.TÜBİTA
Formal Analysis of Distance Bounding with Secure Hardware
A distance bounding (DB) protocol is a two-party authentication protocol between a prover and a verifier which is based on the distance between the prover and the verifier. It aims to defeat threats by malicious provers who try to convince that they are closer to the verifier or adversaries which seek to impersonate a far-away prover. All these threats are covered in several security definitions and it is not possible to have a single definition covering all. In this paper, we describe a new DB model with three parties where the new party is named hardware. In this model, called secure hardware model (SHM), the hardware is held by the prover without being able to tamper with. We define an all-in-one security model which covers all the threats of DB and an appropriate privacy notion for SHM. In the end, we construct the most efficient (in terms of computation by the prover-hardware and number of rounds) and secure DB protocols achieving the optimal security bounds as well as privacy
Archaeogenetic analysis of Neolithic sheep from Anatolia suggests a complex demographic history since domestication
Sheep were among the first domesticated animals, but their demographic history is little understood. Here we analyzed nuclear polymorphism and mitochondrial data (mtDNA) from ancient central and west Anatolian sheep dating from Epipaleolithic to late Neolithic, comparatively with modern-day breeds and central Asian Neolithic/Bronze Age sheep (OBI). Analyzing ancient nuclear data, we found that Anatolian Neolithic sheep (ANS) are genetically closest to present-day European breeds relative to Asian breeds, a conclusion supported by mtDNA haplogroup frequencies. In contrast, OBI showed higher genetic affinity to present-day Asian breeds. These results suggest that the east-west genetic structure observed in present-day breeds had already emerged by 6000 BCE, hinting at multiple sheep domestication episodes or early wild introgression in southwest Asia. Furthermore, we found that ANS are genetically distinct from all modern breeds. Our results suggest that European and Anatolian domestic sheep gene pools have been strongly remolded since the Neolithic
The Beaker phenomenon and the genomic transformation of northwest Europe
From around 2750 to 2500 bc, Bell Beaker pottery became widespread across western and central Europe, before it disappeared between 2200 and 1800 bc. The forces that propelled its expansion are a matter of long-standing debate, and there is support for both cultural diffusion and migration having a role in this process. Here we present genome-wide data from 400 Neolithic, Copper Age and Bronze Age Europeans, including 226 individuals associated with Beaker-complex artefacts. We detected limited genetic affinity between Beaker-complex-associated individuals from Iberia and central Europe, and thus exclude migration as an important mechanism of spread between these two regions. However, migration had a key role in the further dissemination of the Beaker complex. We document this phenomenon most clearly in Britain, where the spread of the Beaker complex introduced high levels of steppe-related ancestry and was associated with the replacement of approximately 90% of Britain’s gene pool within a few hundred years, continuing the east-to-west expansion that had brought steppe-related ancestry into central and northern Europe over the previous centuries
Yabancıların Sınırdışı İşlemlerinde AİHM İçtüzük Kural 39 ve Anayasa Mahkemesi Bireysel Başvuru Yolları
- …