DPI - UIC CS Software Analysis Seminar: Trust and Trustworthiness of Voting Systems

Social media misinformation, and the real or alleged influence it is having on social life, is one of the biggest dilemmas of the early 21st century. From the mundane (“is that picture of Barack Obama real or fake?”) to the deadly (“There is a global conspiracy to replace white Europeans with members of inferior races, and only violence will stop them!”)

Safety and robustness in the context of cyber-physical systems (CPS) have always been critical, particularly when there is close interaction with human users. Over recent years however, certifying such properties for machine learning algorithms has also risen in importance, given the increasing use and close integration of such algorithms in CPS for tasks such as perception, prediction, and even decision making.