![]() |
![]() |
University of Birmingham > Talks@bham > Computer Security Seminars > Building Reliable Systems on Reliable Foundations
Building Reliable Systems on Reliable FoundationsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Mani Bhesania. Current mainstream programming/verification tools are not well-suited to build safe and secure distributed programs that meet required specifications. This is a serious issue because our modern society came to heavily rely on complex and constantly evolving distributed systems that need to tolerate all kinds of threats and attacks in order to protect critical and sensitive resources. This issue is due in part to the lack of formalisms, tools, and reliable foundations. Indeed, in the past few decades, we have seen a spurt of verification tools that handle well functional sequential code, but expressive tools to reason about distributed programs are only just emerging. Moreover, a major issue with such verification tools is that they are often very complex themselves, making them error prone. This talk is part of the Computer Security Seminars series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsBirmingham Popular Maths Lectures Facts and Snacks computer sienceOther talksPlasmonic and photothermal properties of TiN nanomaterials TBA Kneser Graphs are Hamiltonian Quantifying the economic and environmental effects of the RCEP TBA Harness light-matter interaction in low-dimensional materials and nanostructures: from advanced light manipulation to smart photonic devices |