IoT

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.
IoT Security