Part 1 Pages 1 — Part 2 Pages — Abstract : As computer systems become more and more complex, it becomes harder to ensure that they are dependable i. Existing dependability techniques do not take into account the characteristics of the application and hence detect errors that may not manifest in the application. This results in wasteful detections and high overheads. The dissertation focuses on derivation, validation and implementation of application-aware error and attack detectors.
Thesis Ph. The key insight in this dissertation is that certain data in the program is more important than other data from a reliability or security point of view we call this the critical data. Protecting only the critical data provides significant performance improvements while achieving high detection coverage. The technique derives error and attack detectors to detect corruptions of critical data at runtime using a combination of static and dynamic approaches. The derived detectors are validated using both experimental approaches and formal verification. The experimental approaches validate the detectors using random fault-injection and known security attacks. The formal approach considers the effect of all possible errors and attacks according to a given fault or threat model and finds the corner cases that escape detection.
Essays on public education reform for how can critical thinking help in everyday life
The William C. Carter Award is presented annually at the DSN Conference to recognize an individual who has made a significant contribution to the field of dependable computing through his or her graduate dissertation research. Instituted in as the William C. Carter Award, it was reformulated in , where the present name and eligibility requirements aim at recognizing an individual who has made a significant contribution to the field of dependable and secure computing throughout his or her PhD dissertation.
They join the ranks of a formidable list of previous winners across departments and Faculties at the University of British Columbia. He is a passionate advocate for diversity and equity in science, who carefully considers issues related to equity, diversity and inclusion in science and is intent on building a respectful and collaborative environment for all those around him. Soma is consistently described as possessing the ability to hold high standards for the mentees around him, in a way that fosters growth, education and the desire to meet and exceed his expectations. He shows the utmost compassion for his students and postdocs and gives so much of his time to aid their personal development. His kindness, encouragement, scientific integrity, and passion for science have had a lasting, positive influence on the personal and professional development of many students, postdocs and colleagues.