Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Robert Krook"'
Publikováno v:
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2dc720f470ffaa8a031142a0bc681a68
https://doi.org/10.1109/memocode57689.2022.9954383
https://doi.org/10.1109/memocode57689.2022.9954383
Publikováno v:
MPLR
Programming microcontrollers involves low-level interfacing with hardware and peripherals that are concurrent and reactive. Such programs are typically written in a mixture of C and assembly using concurrent language extensions (like $\texttt{FreeRTO
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d28fc1354799c41696ab3ce291a6205b
http://arxiv.org/abs/2108.07805
http://arxiv.org/abs/2108.07805
Publikováno v:
Haskell@ICFP
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a848d89074a14f23b8c970cf586ceaa
https://doi.org/10.1145/3406088.3409027
https://doi.org/10.1145/3406088.3409027