Academic
Academic
Home
News
Teaching
Projects
Publications
Students
Contact
Light
Dark
Automatic
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.
Cite
×