Towards secure IoT programming in Haskell

Nachiappan Valliappan
Nachiappan Valliappan
Robert Krook
Robert Krook

ICFP '20: ACM SIGPLAN International Conference on Functional Programming Virtual Event USA August, 2020, pp. 136-150, 2020.

Cited by: 0|Views5
EI

Abstract:

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

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments