SafeThings@SenSys

Publications

2017

V. Ramu Reddy, Parijat Deshpande, Arpan Pal
Simultaneous Measurement and Correlation of PPG Signals Taken from Two Different Body Parts for Enhanced Biometric Security via Two-level Authentication. SafeThings@SenSys (2017)
Amr Alanwar, Bharathan Balaji, Yuan Tian, Shuo Yang, Mani B. Srivastava
EchoSafe: Sonar-based Verifiable Interaction with Intelligent Digital Agents. SafeThings@SenSys (2017)
Domenico Amalfitano, Nicola Amatucci, Vincenzo De Simone, Vincenzo Riccio, Anna Rita Fasolino
Towards a Thing-In-the-Loop approach for the Verification and Validation of IoT systems. SafeThings@SenSys (2017)
Todd Carpenter, John Hatcliff, Eugene Y. Vasserman
A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices. SafeThings@SenSys (2017)
David Kotz, Travis Peters
Challenges to ensuring human safety throughout the life-cycle of Smart Environments. SafeThings@SenSys (2017)
Meiyi Ma, John A. Stankovic, Lu Feng
Runtime Monitoring of Safety and Performance Requirements in Smart Cities. SafeThings@SenSys (2017)
Andres Molina-Markham, Paul D. Rowe
Continuous Verification for Cryptographic Protocol Development. SafeThings@SenSys (2017)
Jorge Granjal, Edmundo Monteiro
Adaptable End-To-End Security For Mobile IoT Sensing Applications. SafeThings@SenSys (2017)
Joseph Maguire, Steve Draper
Privacy of Personal Things in Active Learning Spaces Need Individually Evolved Requirements. SafeThings@SenSys (2017)
Proceedings of the 1st ACM Workshop on the Internet of Safe Things, SafeThings@SenSys 2017, Delft, The Netherlands, November 5, 2017 SafeThings@SenSys (2017)
Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys (2017)
Jezdimir Milosevic, Takashi Tanaka, Henrik Sandberg, Karl Henrik Johansson
Exploiting Submodularity in Security Measure Allocation for Industrial Control Systems. SafeThings@SenSys (2017)