Les implémentations cryptographiques sont vulnérables aux attaques physiques, et ont donc besoin d'en être protégées. Bien sûr, des protections défectueuses sont inutiles. L'utilisation des méthodes formelles permet de développer des systèmes tout en garantissant leur conformité à des spécifications données. Le premier objectif de ma thèse, et son aspect novateur, est de montrer que les méthodes formelles peuvent être utilisées pour prouver non seulement les principes des contre-mesures dans le cadre d'un modèle, mais aussi leurs implémentations, étant donné que c'est là que les vulnérabilités physiques sont exploitées. Mon second objectif est la preuve et l'automatisation des techniques de protection elles-même, car l'écriture manuelle de code est sujette à de nombreuses erreurs, particulièrement lorsqu'il s'agit de code de sécurité. / Implementations of cryptosystems are vulnerable to physical attacks, and thus need to be protected against them. Of course, malfunctioning protections are useless. Formal methods help to develop systems while assessing their conformity to a rigorous specification. The first goal of my thesis, and its innovative aspect, is to show that formal methods can be used to prove not only the principle of the countermeasures according to a model, but also their implementations, as it is where the physical vulnerabilities are exploited. My second goal is the proof and the automation of the protection techniques themselves, because handwritten security code is error-prone.

Diabetes affects an estimated 29.1 million Americans, with approximately another 1/3 of Americans not yet diagnosed. Complications associated with diabetes include heart disease, stroke, hypertension, blindness, kidney disease, neuropathy and death. All of these complications can be prevented with optimal control of blood glucose levels. Advances in technology provide people living with diabetes (PLWD) a multitude of treatment options such as continuous subcutaneous insulin infusion (CSII) therapy. Unfortunately, sustained improvement in glycated hemoglobin A1c (HgA1c) is not always achieved even with this advanced therapy. The purpose of this doctoral project was to educate nurses on CSII therapy and promote improved patient compliance, knowledge and ultimately improve HgA1c control. This doctoral project is an evaluation of an Evidence-Based Quality Improvement Project (EB-QIP) that evaluated nurse-led educational sessions for PLWD using CSII therapy. The integrated theory of health behavior change was used to guide the project. The CDC process evaluation model was used to evaluate the outcomes of the education sessions. Results showed that patients who were instructed by the nurses who took part in the EB-QIP had a reduction in the overall HgA1c by an average of 1.1 points 3-months post-education. The project promotes positive social change through establishing the effectiveness of an EB-QIP that focused on the use of education on CSII therapy in improving outcomes for patients living with diabetes.

No description available.

No description available.

No description available.

No description available.

La dégénérescence maculaire liée à l'âge (DMLA) est une dégénérescence acquise de la rétine qui provoque une déficience visuelle centrale importante. La forme néovasculaire de celle-ci est actuellement la première cause de cécité légale aux États-Unis. Depuis 2005, le principal traitement utilisé pour la forme néovasculaire est l'injection intravitréenne d'anti-VEGF qui doit être réalisée à intervalles rapprochés, et ce, à long terme. Cependant, étant donné la grande fréquence de rendez-vous et la nécessité d'un suivi régulier pour optimiser le contrôle, l'observance des schémas thérapeutiques reste difficile à la fois pour les médecins et les patients. Il est bien documenté qu'un arrêt au traitement ou que des traitements retardés engendrent généralement une augmentation marquée du liquide intrarétinien associée à une diminution de l'acuité visuelle. Ainsi, la présente étude réalisée sous forme d'étude rétrospective de patients consécutifs a eu pour objectifs de déterminer le taux de visites tardives au suivi (DFU) chez les patients atteints de DLMA néovasculaire recevant des injections intravitréennes d'anti-VEGF. De plus, elle s'est intéressée aux facteurs de risque associés aux DFU dans cette population et à l'effet de ces dernières sur les résultats visuels et anatomiques. Les résultats de l'étude suggèrent que plus du quart des patients ont présent au moins une DFU au cours de leur période de suivi. Les probabilités d'avoir une DFU étaient plus élevées chez les patients âgés, les patients traités à l'hôpital plutôt qu'à la clinique et les patients dont l'acuité visuelle initiale était plus faible. Une DFU était associée à une perte d'acuité visuelle significative et à une incidence accrue de liquide intrarétinien et sous-rétinien, soit des facteurs de mauvais pronostic, qui n'ont pas récupéré après la reprise des injections. / Age-related macular degeneration (AMD) is an acquired degeneration of the retina that causes significant central visual impairment. The neovascular form is currently the leading cause of legal blindness in the United States. Since 2005, the main treatment used for the neovascular form is the intravitreal injection of anti-VEGF which must be performed at short intervals and for long-term often. However, given the high frequency of appointments and the need for regular follow-up to optimize control, adherence to treatment regimens remains challenging for both physicians and patients. It is well documented that discontinuation of treatment or delayed treatments generally lead to a marked increase in intraretinal fluid associated with a decrease in visual acuity. Thus, the present study, performed as a retrospective study of consecutive patients, aimed to determine the rate of delayed follow-up visits (DFU) in patients with neovascular AMD receiving intravitreal injections of anti-VEGF. In addition, risk factors associated with DFU in this population and the effect of the latter on visual and anatomical results were also studied. The study results suggest that more than a quarter of patients experienced at least one DFU during their follow-up period. The odds of having DFU were higher in elderly patients, patients treated in hospital rather than in a clinic, and patients with lower baseline visual acuity. DFU were associated with significant visual acuity loss and an increased incidence of intraretinal and subretinal fluid (factors associated with poor visual prognosis) which did not recover after resumption of injections.

Unsafe and unnecessary injections are administered in many developing and transitional countries. Injection device security is recommended in order to improve injection safety. Injection device stock depletions have been reported to contribute to unsafe injection practices. Poor distribution of health products has been reported in many parts of Uganda including Mpigi district. As a way of improving injection safety, this study explored the challenges encountered in maintaining an effective distribution system. A Cross-sectional, descriptive study of public and private-not-for-profit health care units in Mpigi district was conducted. 38 health care facilities were selected by stratified disproportionate sampling. Data on device security, the use of equipment and the distribution system were collected and analysed using descriptive statistics. / Health Studies / M.A. (Public Health)

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal