Results 81 to 90 of about 2,516,508 (290)

Formal Verification of Security Protocol Implementations: A Survey [PDF]

, 2014
Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
Pironti, Alfredo, Avalle, Matteo, Sisto, Riccardo, Avalle, Matteo Carlo   +3 more
core   +1 more source

Blood RNA Biomarker Signatures for Early Diagnosis and Prognosis in Ischemic and Hemorrhagic Stroke: The IBIS‐CT1 Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To evaluate the expression of nine blood RNA biomarkers in a clinical trial based on genes previously identified in an experimental monkey model of stroke for diagnosis feasibility and prognostication. Methods IBIS‐CT1 was a prospective longitudinal study enrolling patients with ischemic stroke (IS) or intracerebral hemorrhage (ICH ...
Salomé Retailleau, Marie Bruguet, Irina Viakhireva‐Dovganyuk, François‐Mathias Merrien, Denis Marechal, Aurore Jourdain, Philippe Goas, Jordan Coris, Julien Asselineau, Maëlys Consigny, Gérald Le Gac, Serge Timsit   +11 more
wiley   +1 more source

Anti‐CD20 Discontinuation Versus Continuation in People Aged Over 50 With Non‐Active Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To determine whether discontinuing anti‐CD20 therapy in people with relapsing‐onset MS aged over 50 is associated with an increased risk of relapse, inflammatory activity, confirmed disability accrual, and serious infection compared with continuing therapy.
Alexia Moukhine, Fabien Rollot, Romain Casey, Nicolas Collongues, Sandra Vukusic, Guillaume Mathey, Anne Laure Dubessy, Jonathan Ciron, Jérôme De Seze, Aurélie Ruet, Pierre Labauge, Arnaud Kwiatkowski, Hélène Zephir, Caroline Papeix, Gilles Defer, Christine Lebrun‐Frenay, David Axel Laplaud, Eric Berger, Eric Thouvenot, Jean Pelletier, Abdullatif Al Khedr, Olivier Casez, Bertrand Bourre, Abir Wahab, Laurent Magy, Jean‐Philippe Camdessanché, Ines Doghri, Solène Moulin, Mariana Sarov Rivière, Karolina Hankiewicz, Amélie Dos Santos, Corinne Pottier, Eric Manchon, Jennifer Aboab, Maia Tchikviladze, Thomas David, Gilles Edan, Emmanuelle Le Page, Laure Michel, Anne Kerbrat, OFSEP Investigators   +40 more
wiley   +1 more source

Security Architecture and Protocols for Secure MQTT-SN

IEEE Access, 2020
Message Queuing Telemetry Transport (MQTT) is a de facto standard for various Internet of Things (IoT) and industrial IoT applications. The data produced by a publisher are delivered to several subscribers via an MQTT broker.
Chang-Seop Park, Hye-Min Nam
doaj   +1 more source

Safety and Efficacy of GLP‐1 Receptor Agonists in Adults With Epilepsy, Obesity, and Type 2 Diabetes

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Managing obesity in patients with epilepsy is complicated by the weight‐gaining properties of essential antiseizure medications (ASMs) such as valproate and pregabalin. We evaluated the safety and efficacy of initiating glucagon‐like peptide‐1 receptor agonists (GLP‐1 RAs) in this population.
Hyoshin Son, Inyoung Hwang, Sang Won Lee, Yun Kim   +3 more
wiley   +1 more source

Security Protocols and Specifications [PDF]

, 1999
Specifications for security protocols range from informal narrations of message flows to formal assertions of protocol properties. This paper (intended to accompany a lecture at ETAPS '99) discusses those specifications and suggests some gaps and some opportunities for further work.
openaire   +1 more source

Prevalence of Systemic Lupus Erythematosus in Australia, 2010–2022: A Population‐Based Study Using Linked National Administrative Health Data

Arthritis Care &Research, EarlyView.
Objective Systemic lupus erythematosus (SLE) is a heterogenous inflammatory condition with widely varying global prevalence estimates. The frequency of SLE in the general population of Australia has been reported to be notably lower than contemporary estimates in countries such as the United States or United Kingdom, at 19 to 39 per 100,000 as opposed ...
Lucinda Roper, Rachel Black, Joanna Tieu, Winnie Chen, Matthew Parker, Catherine Hill, Natasha Nassar, Mandana Nikpour   +7 more
wiley   +1 more source

Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic

Applied Sciences, 2020
The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task.
Xiaojuan Chen, Huiwen Deng
doaj   +1 more source

Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures [PDF]

, 2004
Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party protocols may not be able to model a group protocol, or its intended security ...
Graham Steel, Bundy, Alan, Maidl, M., Monika Maidl, Steel, G., Alan Bundy   +5 more
core   +1 more source

The impact of modern airport security protocols on patients with total shoulder replacements. [PDF]

Clin Shoulder Elb, 2023
Scheidt MD, Sethi N, Ballard M, Wesolowski M, Salazar D, Garbis N.   +5 more
europepmc   +1 more source