4,156 research outputs found

    Undergraduate Catalog of Studies, 2023-2024

    Get PDF

    Signatures with Memory-Tight Security in the Quantum Random Oracle Model

    Get PDF
    Memory tightness of reductions in cryptography, in addition to the standard tightness related to advantage and running time, is important when the underlying problem can be solved efficiently with large memory, as discussed in Auerbach, Cash, Fersch, and Kiltz (CRYPTO 2017). Diemert, Geller, Jager, and Lyu (ASIACRYPT 2021) and Ghoshal, Ghosal, Jaeger, and Tessaro (EUROCRYPT 2022) gave memory-tight proofs for the multi-challenge security of digital signatures in the random oracle model. This paper studies the memory-tight reductions for _post-quantum_ signature schemes in the _quantum_ random oracle model. Concretely, we show that signature schemes from lossy identification are multi-challenge secure in the quantum random oracle model via memory-tight reductions. Moreover, we show that the signature schemes from lossy identification achieve more enhanced securities considering _quantum_ signing oracles proposed by Boneh and Zhandry (CRYPTO 2013) and Alagic, Majenz, Russel, and Song (EUROCRYPT 2020). We additionally show that signature schemes from preimage-sampleable functions achieve those securities via memory-tight reductions

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    Securing NextG networks with physical-layer key generation: A survey

    Get PDF
    As the development of next-generation (NextG) communication networks continues, tremendous devices are accessing the network and the amount of information is exploding. However, with the increase of sensitive data that requires confidentiality to be transmitted and stored in the network, wireless network security risks are further amplified. Physical-layer key generation (PKG) has received extensive attention in security research due to its solid information-theoretic security proof, ease of implementation, and low cost. Nevertheless, the applications of PKG in the NextG networks are still in the preliminary exploration stage. Therefore, we survey existing research and discuss (1) the performance advantages of PKG compared to cryptography schemes, (2) the principles and processes of PKG, as well as research progresses in previous network environments, and (3) new application scenarios and development potential for PKG in NextG communication networks, particularly analyzing the effect and prospects of PKG in massive multiple-input multiple-output (MIMO), reconfigurable intelligent surfaces (RISs), artificial intelligence (AI) enabled networks, integrated space-air-ground network, and quantum communication. Moreover, we summarize open issues and provide new insights into the development trends of PKG in NextG networks

    Authentication enhancement in command and control networks: (a study in Vehicular Ad-Hoc Networks)

    Get PDF
    Intelligent transportation systems contribute to improved traffic safety by facilitating real time communication between vehicles. By using wireless channels for communication, vehicular networks are susceptible to a wide range of attacks, such as impersonation, modification, and replay. In this context, securing data exchange between intercommunicating terminals, e.g., vehicle-to-everything (V2X) communication, constitutes a technological challenge that needs to be addressed. Hence, message authentication is crucial to safeguard vehicular ad-hoc networks (VANETs) from malicious attacks. The current state-of-the-art for authentication in VANETs relies on conventional cryptographic primitives, introducing significant computation and communication overheads. In this challenging scenario, physical (PHY)-layer authentication has gained popularity, which involves leveraging the inherent characteristics of wireless channels and the hardware imperfections to discriminate between wireless devices. However, PHY-layerbased authentication cannot be an alternative to crypto-based methods as the initial legitimacy detection must be conducted using cryptographic methods to extract the communicating terminal secret features. Nevertheless, it can be a promising complementary solution for the reauthentication problem in VANETs, introducing what is known as “cross-layer authentication.” This thesis focuses on designing efficient cross-layer authentication schemes for VANETs, reducing the communication and computation overheads associated with transmitting and verifying a crypto-based signature for each transmission. The following provides an overview of the proposed methodologies employed in various contributions presented in this thesis. 1. The first cross-layer authentication scheme: A four-step process represents this approach: initial crypto-based authentication, shared key extraction, re-authentication via a PHY challenge-response algorithm, and adaptive adjustments based on channel conditions. Simulation results validate its efficacy, especially in low signal-to-noise ratio (SNR) scenarios while proving its resilience against active and passive attacks. 2. The second cross-layer authentication scheme: Leveraging the spatially and temporally correlated wireless channel features, this scheme extracts high entropy shared keys that can be used to create dynamic PHY-layer signatures for authentication. A 3-Dimensional (3D) scattering Doppler emulator is designed to investigate the scheme’s performance at different speeds of a moving vehicle and SNRs. Theoretical and hardware implementation analyses prove the scheme’s capability to support high detection probability for an acceptable false alarm value ≤ 0.1 at SNR ≥ 0 dB and speed ≤ 45 m/s. 3. The third proposal: Reconfigurable intelligent surfaces (RIS) integration for improved authentication: Focusing on enhancing PHY-layer re-authentication, this proposal explores integrating RIS technology to improve SNR directed at designated vehicles. Theoretical analysis and practical implementation of the proposed scheme are conducted using a 1-bit RIS, consisting of 64 × 64 reflective units. Experimental results show a significant improvement in the Pd, increasing from 0.82 to 0.96 at SNR = − 6 dB for multicarrier communications. 4. The fourth proposal: RIS-enhanced vehicular communication security: Tailored for challenging SNR in non-line-of-sight (NLoS) scenarios, this proposal optimises key extraction and defends against denial-of-service (DoS) attacks through selective signal strengthening. Hardware implementation studies prove its effectiveness, showcasing improved key extraction performance and resilience against potential threats. 5. The fifth cross-layer authentication scheme: Integrating PKI-based initial legitimacy detection and blockchain-based reconciliation techniques, this scheme ensures secure data exchange. Rigorous security analyses and performance evaluations using network simulators and computation metrics showcase its effectiveness, ensuring its resistance against common attacks and time efficiency in message verification. 6. The final proposal: Group key distribution: Employing smart contract-based blockchain technology alongside PKI-based authentication, this proposal distributes group session keys securely. Its lightweight symmetric key cryptography-based method maintains privacy in VANETs, validated via Ethereum’s main network (MainNet) and comprehensive computation and communication evaluations. The analysis shows that the proposed methods yield a noteworthy reduction, approximately ranging from 70% to 99%, in both computation and communication overheads, as compared to the conventional approaches. This reduction pertains to the verification and transmission of 1000 messages in total

    Occupational health and safety issues in human-robot collaboration: State of the art and open challenges

    Get PDF
    Human-Robot Collaboration (HRC) refers to the interaction of workers and robots in a shared workspace. Owing to the integration of the industrial automation strengths with the inimitable cognitive capabilities of humans, HRC is paramount to move towards advanced and sustainable production systems. Although the overall safety of collaborative robotics has increased over time, further research efforts are needed to allow humans to operate alongside robots, with awareness and trust. Numerous safety concerns are open, and either new or enhanced technical, procedural and organizational measures have to be investigated to design and implement inherently safe and ergonomic automation solutions, aligning the systems performance and the human safety. Therefore, a bibliometric analysis and a literature review are carried out in the present paper to provide a comprehensive overview of Occupational Health and Safety (OHS) issues in HRC. As a result, the most researched topics and application areas, and the possible future lines of research are identified. Reviewed articles stress the central role played by humans during collaboration, underlining the need to integrate the human factor in the hazard analysis and risk assessment. Human-centered design and cognitive engineering principles also require further investigations to increase the worker acceptance and trust during collaboration. Deepened studies are compulsory in the healthcare sector, to investigate the social and ethical implications of HRC. Whatever the application context is, the implementation of more and more advanced technologies is fundamental to overcome the current HRC safety concerns, designing low-risk HRC systems while ensuring the system productivity

    UMSL Bulletin 2023-2024

    Get PDF
    The 2023-2024 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1088/thumbnail.jp

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    A tailored psychological intervention for anxiety and depression management in people with chronic obstructive pulmonary disease: TANDEM RCT and process evaluation

    Get PDF
    Background: People with chronic obstructive pulmonary disease have high levels of anxiety and depression, which is associated with increased morbidity and poor uptake of effective treatments, such as pulmonary rehabilitation. Cognitive-behavioural therapy improves mental health of people with long-term conditions and could potentially increase uptake of pulmonary rehabilitation, enabling synergies that could enhance the mental health of people with chronic obstructive pulmonary disease. Aim: Our aim was to develop and evaluate the clinical effectiveness and cost effectiveness of a tailored cognitive-behavioural approach intervention, which links into, and optimises the benefits of, routine pulmonary rehabilitation. Design: We carried out a pragmatic multicentre randomised controlled trial using a 1.25 : 1 ratio (intervention : control) with a parallel process evaluation, including assessment of fidelity. Setting: Twelve NHS trusts and five Clinical Commissioning Groups in England were recruited into the study. The intervention was delivered in participant\u27s own home or at a local NHS facility, and by telephone. Participants: Between July 2017 and March 2020 we recruited adults with moderate/very severe chronic obstructive pulmonary disease and mild/moderate anxiety and/or depression, meeting eligibility criteria for assessment for pulmonary rehabilitation. Carers of participants were invited to participate. Intervention: The cognitive-behavioural approach intervention (i.e. six to eight 40- to 60-minute sessions plus telephone support throughout pulmonary rehabilitation) was delivered by 31 trained respiratory healthcare professionals to participants prior to commencing pulmonary rehabilitation. Usual care included routine pulmonary rehabilitation referral. Main outcome measures: Co-primary outcomes were Hospital Anxiety and Depression Scale - anxiety and Hospital Anxiety and Depression Scale - depression at 6 months post randomisation. Secondary outcomes at 6 and 12 months included health-related quality of life, smoking status, uptake of pulmonary rehabilitation and healthcare use. Results: We analysed results from 423 randomised participants (intervention, n = 242; control, n = 181). Forty-three carers participated. Follow-up at 6 and 12 months was 93% and 82%, respectively. Despite good fidelity for intervention delivery, mean between-group differences in Hospital Anxiety and Depression Scale at 6 months ruled out clinically important effects (Hospital Anxiety and Depression Scale - anxiety mean difference -0.60, 95% confidence interval -1.40 to 0.21; Hospital Anxiety and Depression Scale - depression mean difference -0.66, 95% confidence interval -1.39 to 0.07), with similar results at 12 months. There were no between-group differences in any of the secondary outcomes. Sensitivity analyses did not alter these conclusions. More adverse events were reported for intervention participants than for control participants, but none related to the trial. The intervention did not generate quality-of-life improvements to justify the additional cost (adjusted mean difference \ua3770.24, 95% confidence interval -\ua327.91 to \ua31568.39) to the NHS. The intervention was well received and many participants described positive affects on their quality of life. Facilitators highlighted the complexity of participants\u27 lives and considered the intervention to be of potential valuable; however, the intervention would be difficult to integrate within routine clinical services. Our well-powered trial delivered a theoretically designed intervention with good fidelity. The respiratory-experienced facilitators were trained to deliver a low-intensity cognitive-behavioural approach intervention, but high-intensity cognitive-behavioural therapy might have been more effective. Our broad inclusion criteria specified objectively assessed anxiety and/or depression, but participants were likely to favour talking therapies. Randomisation was concealed and blinding of outcome assessment was breached in only 15 participants. Conclusions: The tailored cognitive-behavioural approach intervention delivered with fidelity by trained respiratory healthcare professionals to people with chronic obstructive pulmonary disease was neither clinically effective nor cost-effective. Alternative approaches that are integrated with routine long-term condition care are needed to address the unmet, complex clinical and psychosocial needs of this group of patients. Trial registration: This trial is registered as ISRCTN59537391. Funding: This award was funded by the National Institute for Health and Care Research (NIHR) Health Technology Assessment programme (NIHR award ref: 13/146/02) and is published in full in Health Technology Assessment; Vol. 28, No. 1. See the NIHR Funding and Awards website for further award information.People with long-standing lung problems, such as chronic obstructive pulmonary disease, often also have anxiety and depression, which further reduces their quality of life. Two existing treatments could help. Pulmonary rehabilitation (a programme of exercise and education) improves both the physical and mental health of people with chronic obstructive pulmonary disease. Cognitive–behavioural therapy (a talking therapy) may reduce anxiety and depression. The TANDEM [Tailored intervention for Anxiety and Depression Management in chronic obstructive pulmonary disease (COPD)] intervention linked these two treatments by providing talking therapy based on cognitive–behavioural therapy during the waiting time following referral for pulmonary rehabilitation. The TANDEM treatment was delivered by respiratory healthcare professionals (e.g. nurses or physiotherapists) trained to deliver the talking therapy in six to eight weekly sessions. The sessions were conducted in the participant’s home (or another convenient location), with brief telephone support during the pulmonary rehabilitation. Of 423 participants recruited to the study, 242 participants received TANDEM talking therapy and 181 participants received usual care (including a referral to pulmonary rehabilitation). We measured mental health, quality of life, social life, attendance at pulmonary rehabilitation and healthcare use in both groups at 6 and 12 months. Forty-three carers joined the study and we assessed their mental well-being. We interviewed patients, carers and health professionals to find out their views and experience of the TANDEM treatment. We also examined whether or not the TANDEM treatment was good value for money. The TANDEM treatment did not improve the mental or the physical health of people with chronic obstructive pulmonary disease. In addition, the TANDEM treatment cost the NHS an extra \ua3770 per patient, which was not good value for money. The TANDEM treatment was well received, and many participants told us how it had helped them. Heath-care professionals noted how participants did not just have chronic obstructive pulmonary disease, but were coping with many physical, mental and social problems. The TANDEM intervention was not effective and, therefore, other strategies will be needed to help people with chronic obstructive pulmonary disease and mental health problems live with their condition
    corecore