Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295123670> ?p ?o ?g. }
- W4295123670 abstract "Smart homes contain diverse sensors and actuators controlled by IoT apps that provide custom automation. Prior works showed that an adversary could exploit physical interaction vulnerabilities among apps and put the users and environment at risk, e.g., to break into a house, an adversary turns on the heater to trigger an app that opens windows when the temperature exceeds a threshold. Currently, the safe behavior of physical interactions relies on either app code analysis or dynamic analysis of device states with manually derived policies by developers. However, existing works fail to achieve sufficient breadth and fidelity to translate the app code into their physical behavior or provide incomplete security policies, causing poor accuracy and false alarms. In this paper, we introduce a new approach, IoTSeer, which efficiently combines app code analysis and dynamic analysis with new security policies to discover physical interaction vulnerabilities. IoTSeer works by first translating sensor events and actuator commands of each app into a physical execution model (PeM) and unifying PeMs to express composite physical execution of apps (CPeM). CPeM allows us to deploy IoTSeer in different smart homes by defining its execution parameters with minimal data collection. IoTSeer supports new security policies with intended/unintended physical channel labels. It then efficiently checks them on the CPeM via falsification, which addresses the undecidability of verification due to the continuous and discrete behavior of IoT devices. We evaluate IoTSeer in an actual house with 14 actuators, six sensors, and 39 apps. IoTSeer discovers 16 unique policy violations, whereas prior works identify only 2 out of 16 with 18 falsely flagged violations. IoTSeer only requires 30 mins of data collection for each actuator to set the CPeM parameters and is adaptive to newly added, removed, and relocated devices." @default.
- W4295123670 created "2022-09-11" @default.
- W4295123670 creator A5005376753 @default.
- W4295123670 creator A5006395041 @default.
- W4295123670 creator A5007970191 @default.
- W4295123670 creator A5009239869 @default.
- W4295123670 creator A5027961969 @default.
- W4295123670 creator A5044251694 @default.
- W4295123670 date "2022-11-07" @default.
- W4295123670 modified "2023-09-26" @default.
- W4295123670 title "Discovering IoT Physical Channel Vulnerabilities" @default.
- W4295123670 cites W1548600288 @default.
- W4295123670 cites W1965182037 @default.
- W4295123670 cites W1966224165 @default.
- W4295123670 cites W2004463571 @default.
- W4295123670 cites W2041422323 @default.
- W4295123670 cites W2054704105 @default.
- W4295123670 cites W2085838366 @default.
- W4295123670 cites W2110865025 @default.
- W4295123670 cites W2120802181 @default.
- W4295123670 cites W2131399618 @default.
- W4295123670 cites W2172184261 @default.
- W4295123670 cites W2605367183 @default.
- W4295123670 cites W2772293773 @default.
- W4295123670 cites W2890188242 @default.
- W4295123670 cites W2947175569 @default.
- W4295123670 cites W2949879045 @default.
- W4295123670 cites W2953940064 @default.
- W4295123670 cites W2972103753 @default.
- W4295123670 cites W2978342210 @default.
- W4295123670 cites W3022429701 @default.
- W4295123670 cites W3042771014 @default.
- W4295123670 cites W3046246673 @default.
- W4295123670 cites W3047139163 @default.
- W4295123670 cites W3098804373 @default.
- W4295123670 cites W3100743289 @default.
- W4295123670 cites W3136780060 @default.
- W4295123670 cites W3180986399 @default.
- W4295123670 doi "https://doi.org/10.1145/3548606.3560644" @default.
- W4295123670 hasPublicationYear "2022" @default.
- W4295123670 type Work @default.
- W4295123670 citedByCount "6" @default.
- W4295123670 countsByYear W42951236702023 @default.
- W4295123670 crossrefType "proceedings-article" @default.
- W4295123670 hasAuthorship W4295123670A5005376753 @default.
- W4295123670 hasAuthorship W4295123670A5006395041 @default.
- W4295123670 hasAuthorship W4295123670A5007970191 @default.
- W4295123670 hasAuthorship W4295123670A5009239869 @default.
- W4295123670 hasAuthorship W4295123670A5027961969 @default.
- W4295123670 hasAuthorship W4295123670A5044251694 @default.
- W4295123670 hasBestOaLocation W42951236701 @default.
- W4295123670 hasConcept C111919701 @default.
- W4295123670 hasConcept C127162648 @default.
- W4295123670 hasConcept C165696696 @default.
- W4295123670 hasConcept C177264268 @default.
- W4295123670 hasConcept C179768478 @default.
- W4295123670 hasConcept C199360897 @default.
- W4295123670 hasConcept C2776157020 @default.
- W4295123670 hasConcept C2776459999 @default.
- W4295123670 hasConcept C2776760102 @default.
- W4295123670 hasConcept C31258907 @default.
- W4295123670 hasConcept C38369872 @default.
- W4295123670 hasConcept C38652104 @default.
- W4295123670 hasConcept C41008148 @default.
- W4295123670 hasConcept C41065033 @default.
- W4295123670 hasConcept C76155785 @default.
- W4295123670 hasConcept C97686452 @default.
- W4295123670 hasConceptScore W4295123670C111919701 @default.
- W4295123670 hasConceptScore W4295123670C127162648 @default.
- W4295123670 hasConceptScore W4295123670C165696696 @default.
- W4295123670 hasConceptScore W4295123670C177264268 @default.
- W4295123670 hasConceptScore W4295123670C179768478 @default.
- W4295123670 hasConceptScore W4295123670C199360897 @default.
- W4295123670 hasConceptScore W4295123670C2776157020 @default.
- W4295123670 hasConceptScore W4295123670C2776459999 @default.
- W4295123670 hasConceptScore W4295123670C2776760102 @default.
- W4295123670 hasConceptScore W4295123670C31258907 @default.
- W4295123670 hasConceptScore W4295123670C38369872 @default.
- W4295123670 hasConceptScore W4295123670C38652104 @default.
- W4295123670 hasConceptScore W4295123670C41008148 @default.
- W4295123670 hasConceptScore W4295123670C41065033 @default.
- W4295123670 hasConceptScore W4295123670C76155785 @default.
- W4295123670 hasConceptScore W4295123670C97686452 @default.
- W4295123670 hasFunder F4320306076 @default.
- W4295123670 hasFunder F4320321001 @default.
- W4295123670 hasFunder F4320322725 @default.
- W4295123670 hasLocation W42951236701 @default.
- W4295123670 hasLocation W42951236702 @default.
- W4295123670 hasOpenAccess W4295123670 @default.
- W4295123670 hasPrimaryLocation W42951236701 @default.
- W4295123670 hasRelatedWork W1481299995 @default.
- W4295123670 hasRelatedWork W1591216352 @default.
- W4295123670 hasRelatedWork W2243727816 @default.
- W4295123670 hasRelatedWork W2270262435 @default.
- W4295123670 hasRelatedWork W2888213213 @default.
- W4295123670 hasRelatedWork W2888357246 @default.
- W4295123670 hasRelatedWork W2920943347 @default.
- W4295123670 hasRelatedWork W3161980074 @default.
- W4295123670 hasRelatedWork W4295123670 @default.
- W4295123670 hasRelatedWork W4312303620 @default.