Multi-party computation theory to secure embedded devices

With the coming of information age, more and more data is being created, processed and stored in electronic form. In many applications, data is of sensitive nature. While the security mechanisms are effective in their theoretical descriptions, their implementation in systems are subject to more threats. A common pattern that appears in security breaches of embedded systems is that security collapses when a single security defect (or bug) is present in any of the system components. In other words, there are security single points of failure. This project aims at developing enough theory to construct secure embedded systems that are fundamentally resilient, in a way that single security defects are not catastrophic for security. This theory would later enable to design systems that are significantly more tolerant to security bugs.