Abstract is missing.
- Challenges to ensuring human safety throughout the life-cycle of Smart EnvironmentsDavid Kotz, Travis Peters. 1-7 [doi]
- An Architectural Mechanism for Resilient IoT ServicesHokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee. 8-13 [doi]
- A Reference Separation Architecture for Mixed-Criticality Medical and IoT DevicesTodd Carpenter, John Hatcliff, Eugene Y. Vasserman. 14-19 [doi]
- Adaptable End-To-End Security For Mobile IoT Sensing ApplicationsJorge Granjal, Edmundo Monteiro. 20-25 [doi]
- Privacy of Personal Things in Active Learning Spaces Need Individually Evolved RequirementsJoseph Maguire, Steve Draper. 26-31 [doi]
- Simultaneous Measurement and Correlation of PPG Signals Taken from Two Different Body Parts for Enhanced Biometric Security via Two-level AuthenticationV. Ramu Reddy, Parijat Deshpande, Arpan Pal. 32-37 [doi]
- EchoSafe: Sonar-based Verifiable Interaction with Intelligent Digital AgentsAmr Alanwar, Bharathan Balaji, Yuan Tian, Shuo Yang, Mani B. Srivastava. 38-43 [doi]
- Runtime Monitoring of Safety and Performance Requirements in Smart CitiesMeiyi Ma, John A. Stankovic, Lu Feng. 44-50 [doi]
- Continuous Verification for Cryptographic Protocol DevelopmentAndres Molina-Markham, Paul D. Rowe. 51-56 [doi]
- Towards a Thing-In-the-Loop approach for the Verification and Validation of IoT systemsDomenico Amalfitano, Nicola Amatucci, Vincenzo De Simone, Vincenzo Riccio, Anna Rita Fasolino. 57-63 [doi]
- Exploiting Submodularity in Security Measure Allocation for Industrial Control SystemsJezdimir Milosevic, Takashi Tanaka, Henrik Sandberg, Karl Henrik Johansson. 64-69 [doi]