PAKA: Pseudonymous Authenticated Key Agreement without bilinear cryptography

Anonymity and pseudonymity are important concepts in the domain of the Internet of Things. The existing privacy-preserving key agreement schemes are only concerned with maintaining the privacy of the communicated data that appears on the channel established between two honest entities. However, privacy should also include anonymity or pseudonymity of the device identity. This means there should not exist any correlation handle to associate different communications done by the device. This paper proposes a privacy-preserving key agreement method called the Pseudoonymous Authenticated Key Agreement Protocol (PAKA), which also provides device unlinkability across different domains. This protocol is based on an Elliptic-Curve Diffie-Hellman using standard cryptographic primitives and curves, i.e., no pairing-based cryptography or other computationally intensive cryptography is necessary. For the security analysis, we provide a mathematical proof and an automatic cryptographic protocol verification utilizing Proverif. Last, we show the integration with the Trusted Platform Module and a Proof-of-Concept implementation

Agent-Based Cloud Resource Management for Secure Cloud Infrastructures

The cloud offers clear benefits for computations as well as for storage for diverse application areas. Security concerns are by far the greatest barriers to the wider uptake of cloud computing, particularly for privacy-sensitive applications. The aim of this article is to propose an approach for establishing trust between users and providers of cloud infrastructures (IaaS model) based on certified trusted agents. Such approach would remove barriers that prevent security sensitive applications being moved to the cloud. The core technology encompasses a secure agent platform for providing the execution environment for agents and the secure attested software base which ensures the integrity of the host platform. In this article we describe the motivation, concept, design and initial implementation of these technologies

Miniaturized Protein Microarray with Internal Calibration as Point-of-Care Device for Diagnosis of Neonatal Sepsis

Neonatal sepsis is still a leading cause of death among newborns. Therefore a protein-microarray for point-of-care testing that simultaneously quantifies the sepsis associated serum proteins IL-6, IL-8, IL-10, TNF alpha, S-100, PCT, E-Selectin, CRP and Neopterin has been developed. The chip works with only a 4 μL patient serum sample and hence minimizes excessive blood withdrawal from newborns. The 4 μL patient samples are diluted with 36 μL assay buffer and distributed to four slides for repetitive measurements. Streptavidin coated magnetic particles that act as distinct stirring detection components are added, not only to stir the sample, but also to detect antibody antigen binding events. We demonstrate that the test is complete within 2.5 h using a single step assay. S-100 conjugated to BSA is spotted in increasing concentrations to create an internal calibration. The presented low volume protein-chip fulfills the requirements of point-of-care testing for accurate and repeatable (CV < 14%) quantification of serum proteins for the diagnosis of neonatal sepsis

Microfluidics for miniaturized laboratories on a chip

Microfluidic systems promise solutions for high throughput and highly specific analysis for biology, medicine and chemistry while consuming only tiny amounts of reactants and space. On these lab-on-a-chip platforms often multiple physical effects such as electrokinetic, acoustic or capillary phenomena from various disciplines are exploited to gain the optimal functionality. The fluidics on these small length scales differ significantly from our experience of the macroscopic world. In this Review we survey some of the approaches and techniques to handle minute amounts of fluid volumes in microfluidic systems with special focus on surface acoustic wave driven fluidics, a technique developed in our laboratory. Here, we outline the basics of this technique and demonstrate, for example, how acoustic mixing and fluid actuation is realized. Furthermore we discuss the interplay of different physical effects in microfluidic systems and illustrate their usefulness for several applications

Avoiding Man-in-the-Middle Attacks When Verifying Public Terminals

Contains fulltext : 91585.pdf (author's version ) (Open Access)7th International IFIP Summer School, Trento, Italy, 2011 5-9 September, 5 september 201