60 research outputs found
Case study: physiotherapy treatment of a patient with a total ankle sprain
No full textTitle: Case Study: Physiotherapy treatment of a patient with a total lateral ankle sprain Author: Antonios Markantonakis Clinic of Work placement: C.L.P.A (Centrum léčby pohybového aparátu) AIM OF THESIS The aim of this bachelor thesis is on understanding how the ankle joint is made and of course what is its function. Then, mentioning what are the most common injuries referring the ankle joint.by analyzing the case of this patient with a six therapy session rehabilitation plan, we will be focusing more on the total ankle sprain. Summary This bachelor thesis is divided in two main parts. The first part is the general part and the second one the special part. In the general part, it is included all the theoretical information about my patient's diagnosis. More specifically, is composed by the basic anatomy of the lower limb, the ankle joint and the foot including muscles, joint, ligaments and bones. Furthermore, the biomechanical and kinesiological field it will be covered. Furthermore, it is explained in details how the mechanism of injury is possible to happen and how serious it can get. Secondly, the most important part of the bachelor thesis is the special part in which it is covered everything about the case of the patient, all information, examinations, therapy sessions and results which are..
Towards quantum distance bounding protocols
No full text© Springer International Publishing AG 2017. Distance Bounding (DB) is a security technique through which it is possible to determine an upper-bound on the physical distance between two parties (denoted as verifier and prover). These protocols typically combine physical properties of the communication channel with cryptographic challenge-response schemes. A key challenge to design secure DB protocols is to keep the time required by the prover to process the challenges and compute and transmit the responses as low as possible. For this purpose, different implementation approaches have been proposed in the literature, both in the analog as in the digital domain. Moreover, different types of communication channels have been proposed as well to find an optimal balance between security and implementation feasibility. This paper is the first to evaluate the feasibility of implementing DB protocols using quantum communication. Unlike conventional DB protocols, which execute the rapid-bit exchanges over a Radio Frequency (RF) or ultrasound channel, our quantum-based DB protocol makes use of quantum-bit (qubit) transmissions and detection during the challenge-response phase. Our protocol offers security against distance fraud, mafia fraud and terrorist attacks. We also discuss how to protect against some specific implementation attacks, such as double read-out and quantum attacks, and give an overview of the main implementation challenges as well as possible limitations.sponsorship: The authors would like to thank the anonymous reviewers for their helpful comments. This work was partially supported by the Research Council KU Leuven: C16/15/058 and by the European Commission through the SECURITY programme under FP7-SEC-2013-1-607049 EKSISTENZ. (Research Council KU Leuven|C16/15/058, European Commission through the SECURITY programme|FP7-SEC-2013-1-607049 EKSISTENZ)status: Publishe
A Self-certified and Sybil-Free Framework for Secure Digital Identity Domain Buildup
No full textsponsorship: This research was funded by the European Network of Excellence Future of Identity in the Information Society (FIDIS) and by the European Integrated Project for Privacy and Identity Management for Europe (PRIME), both under the 6th Framework Program for Research and Technological Development within the Information Society Technologies (IST) priority. (European Network of Excellence Future of Identity in the Information Society (FIDIS), European Integrated Project for Privacy and Identity Management for Europe (PRIME))status: Publishe
Tag Group Authentication Using Bit-Collisions
No full textSecure RFID systems should be able to authenticate individual tags to prevent genuine items from being replaced with forgeries. Conventional authentication protocols would require some form of challenge-response exchange with each individual tag. The extra transaction time needed to authenticate each individual tag sequentially might not be practically feasible, especially when readers are required to process an ever increasing volume of tagged items within a limited time. Our proposal works towards an approach that allows for multiple tags in a group to be authenticated simultaneously, as all the tags transmit their responses to a single challenge at the same time. This results in a controlled bit-collision pattern that can be used to verify that all the individual tags in a group are present and genuine.Computer Science, Theory & MethodsEngineering, Electrical & ElectronicEICPCI-S(ISTP)
Smart cards: State-of-the-art to future directions
No full textThe evolution of smart card technology provides an interesting case study of the relationship and interactions between security and business requirements. This paper maps out the milestones for smart card technology, discussing at each step the opportunities and challenges. The paper reviews recently proposed innovative ownership/management models and the security challenges associated with them. The paper concludes with a discussion of possible future directions for the technology, and the challenges these present
Digital Trust - Trusted Computing and Beyond A Position Paper
No full textAlong with the invention of computers and interconnected networks, physical societal notions like security, trust, and privacy entered the digital environment. The concept of digital environments begins with the trust (established in the real world) in the organisation/individual that manages the digital resources. This concept evolved to deal with the rapid growth of the Internet, where it became impractical for entities to have prior offline (real world) trust. The evolution of digital trust took diverse approaches and now trust is defined and understood differently across heterogeneous domains. This paper looks at digital trust from the point of view of security and examines how valid trust approaches from other domains are now making their way into secure computing. The paper also revisits and analyses the Trusted Platform Module (TPM) along with associated technologies and their relevance in the changing landscape. We especially focus on the domains of cloud computing, mobile computing and cyber-physical systems. In addition, the paper also explores our proposals that are competing with and extending the traditional functionality of TPM specifications
A Practical Fair-Exchange E-Payment Protocol for Anonymous Purchase and Physical Delivery
No full text
Predicting the Execution Time of Secure Neural Network Inference
No full textIn the secure neural network inference (SNNI) problem, a service provider offers inference as a service with a pre-trained neural network (NN). Clients can use the service by providing an input and obtaining the output of the inference with the NN. For reasons of privacy and intellectual property protection, the service provider must not learn anything about the input or the output, and the client must not learn anything about the internal parameters of the NN. This is possible by applying techniques like multi-party computing (MPC) or homomorphic encryption (HE), although with a significant performance overhead.One way to improve the efficiency of SNNI is by selecting NN architectures that can be evaluated faster using MPC or HE. For this, it would be important to predict how long SNNI with a given NN takes. This turns out to be challenging. Traditional predictors for NN inference time, like the number of parameters in the NN, are poor predictors of SNNI execution time, since they ignore the characteristics of cryptographic protocols. This paper is the first to address this problem. We propose three different prediction methods for SNNI execution time, and investigate experimentally their strengths and weaknesses. The results show that the proposed methods offer different advantages in terms of accuracy and speed
- …
