Security Types for Synchronous Data Flow Systems.

In MEMOCODE 2020 (Best Paper Award)

IoT Security

IoT space is expanding at a tremendous pace and security in IoT systems has been identified as one of the critical areas which require attention. In this project we are developing a secure and trusted application layer framework for IoT systems.