Towards secure IoT programming in Haskell
ICFP '20: ACM SIGPLAN International Conference on Functional Programming Virtual Event USA August, 2020, pp. 136-150, 2020.
IoT applications are often developed in programming languages with low-level abstractions, where a seemingly innocent mistake might lead to severe security vulnerabilities. Current IoT development tools make it hard to identify these vulnerabilities as they do not provide end-to-end guarantees about how data flows within and between appli...More
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)