Analytical security of cryptographic protocols does not immediately translate to operational security due to incorrect implementation and attacks targeting the execution environment. Code verification and hardware-based trusted execution solutions exist, however these leave it up to the implementer to assemble the complete solution, imposing a complete re-think of the hardware platforms and software development process. We rather aim for a comprehensive solution for secure cryptographic protocol execution, which takes the form of a trusted execution environment based on runtime verification and stock hardware security modules. RV-TEE can be deployed on existing platforms and protocol implementations. Runtime verification lends itself well at several conceptual levels of the execution environment, ranging from high level protocol properties, to lower level checks such as taint inference. The proposed architectural setup involving two runtime verification modules is instantiated through a case study using a popular web browser. We successfully monitor high and low level properties with promising results with respect to practicality.
A purposive sample of eight pre-registration physiotherapy students (3 female and 5 male) who had no prior experience of an acute setting were recruited. Eligible participants had all completed at least one practice placement in an acute setting, the speciality ranges from intensive therapy units, trauma orthopaedics and acute stroke units. All participants were given an information sheet detailing the study's purpose and design. Each participant signed a consent form prior to the interview with the opportunity to ask the researcher questions. Participants were made aware that at any time they could chose to stop the interview or take information out of the study. Individual, face-to-face, semi-structured interviews were conducted. The interviews were audio recorded, transcribed verbatim and analysed using thematic analysis (Brawn and Clarke, 2006).Results: Four main themes emerged from the data: 'reality and challenges of the acute setting', 'The experience you don't get at uni', 'relationships' and 'becoming the professional'.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.