Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387126921> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4387126921 abstract "In this research, we investigated the feasibility of using static analysis for IoT applications with Frama-C. We looked at different kinds of possible IoT vulnerabilities and how static analysis specifically could be used to identify them. With certain Frama-C plugins such as Eva, we were able to run static analysis on most IoT code without modifying the code itself and catch errors that could potentially be exploited in real-world applications that would have otherwise been missed. Additionally, we created a simple IoT device, by utilizing Raspberry Pi 4 hardware with a set of different SunFounder sensors, and ran our created code for it through Frama-C to find any errors. The static analysis done gave a significant amount of potential vulnerabilities in our code, mostly consisting of integer overflows. We learned how we could use static analysis tools, like Frama-C, as a powerful way to find potential vulnerabilities with minimal changes to code." @default.
- W4387126921 created "2023-09-29" @default.
- W4387126921 creator A5013919294 @default.
- W4387126921 creator A5040613020 @default.
- W4387126921 creator A5051575503 @default.
- W4387126921 date "2023-10-16" @default.
- W4387126921 modified "2023-10-14" @default.
- W4387126921 title "Exploring the Potential of Frama-C in IoT Static Analysis" @default.
- W4387126921 cites W2899437417 @default.
- W4387126921 cites W3107087963 @default.
- W4387126921 cites W3185902186 @default.
- W4387126921 doi "https://doi.org/10.1145/3565287.3617617" @default.
- W4387126921 hasPublicationYear "2023" @default.
- W4387126921 type Work @default.
- W4387126921 citedByCount "0" @default.
- W4387126921 crossrefType "proceedings-article" @default.
- W4387126921 hasAuthorship W4387126921A5013919294 @default.
- W4387126921 hasAuthorship W4387126921A5040613020 @default.
- W4387126921 hasAuthorship W4387126921A5051575503 @default.
- W4387126921 hasConcept C137287247 @default.
- W4387126921 hasConcept C149635348 @default.
- W4387126921 hasConcept C177264268 @default.
- W4387126921 hasConcept C199360897 @default.
- W4387126921 hasConcept C2776760102 @default.
- W4387126921 hasConcept C2777904410 @default.
- W4387126921 hasConcept C2780654840 @default.
- W4387126921 hasConcept C41008148 @default.
- W4387126921 hasConcept C43126263 @default.
- W4387126921 hasConcept C4924752 @default.
- W4387126921 hasConcept C529173508 @default.
- W4387126921 hasConcept C81860439 @default.
- W4387126921 hasConcept C97137487 @default.
- W4387126921 hasConcept C97686452 @default.
- W4387126921 hasConcept C98183937 @default.
- W4387126921 hasConceptScore W4387126921C137287247 @default.
- W4387126921 hasConceptScore W4387126921C149635348 @default.
- W4387126921 hasConceptScore W4387126921C177264268 @default.
- W4387126921 hasConceptScore W4387126921C199360897 @default.
- W4387126921 hasConceptScore W4387126921C2776760102 @default.
- W4387126921 hasConceptScore W4387126921C2777904410 @default.
- W4387126921 hasConceptScore W4387126921C2780654840 @default.
- W4387126921 hasConceptScore W4387126921C41008148 @default.
- W4387126921 hasConceptScore W4387126921C43126263 @default.
- W4387126921 hasConceptScore W4387126921C4924752 @default.
- W4387126921 hasConceptScore W4387126921C529173508 @default.
- W4387126921 hasConceptScore W4387126921C81860439 @default.
- W4387126921 hasConceptScore W4387126921C97137487 @default.
- W4387126921 hasConceptScore W4387126921C97686452 @default.
- W4387126921 hasConceptScore W4387126921C98183937 @default.
- W4387126921 hasLocation W43871269211 @default.
- W4387126921 hasOpenAccess W4387126921 @default.
- W4387126921 hasPrimaryLocation W43871269211 @default.
- W4387126921 hasRelatedWork W1277328974 @default.
- W4387126921 hasRelatedWork W1996238228 @default.
- W4387126921 hasRelatedWork W2159712408 @default.
- W4387126921 hasRelatedWork W2160573780 @default.
- W4387126921 hasRelatedWork W2619866502 @default.
- W4387126921 hasRelatedWork W3133523887 @default.
- W4387126921 hasRelatedWork W377327559 @default.
- W4387126921 hasRelatedWork W48604291 @default.
- W4387126921 hasRelatedWork W60611840 @default.
- W4387126921 hasRelatedWork W2495842201 @default.
- W4387126921 isParatext "false" @default.
- W4387126921 isRetracted "false" @default.
- W4387126921 workType "article" @default.