Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By ACM Press

9781450355452

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simultaneous Measurement and Correlation of PPG Signals Taken from Two Different Body Parts for Enhanced Biometric Security via Two-level Authentication

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137004 ◽

2017 ◽

Author(s):

V. Ramu Reddy ◽

Parijat Deshpande ◽

Arpan Pal

Keyword(s):

Simultaneous Measurement ◽

Biometric Security

Download Full-text

Adaptable End-To-End Security For Mobile IoT Sensing Applications

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137013 ◽

2017 ◽

Author(s):

Jorge Granjal ◽

Edmundo Monteiro

Keyword(s):

Sensing Applications ◽

Download Full-text

A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137008 ◽

2017 ◽

Author(s):

Todd Carpenter ◽

John Hatcliff ◽

Eugene Y. Vasserman

Keyword(s):

Iot Devices ◽

Mixed Criticality

Download Full-text

EchoSafe

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137014 ◽

2017 ◽

Author(s):

Amr Alanwar ◽

Bharathan Balaji ◽

Yuan Tian ◽

Shuo Yang ◽

Mani Srivastava

Download Full-text

Challenges to ensuring human safety throughout the life-cycle of Smart Environments

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137012 ◽

2017 ◽

Author(s):

David Kotz ◽

Travis Peters

Keyword(s):

Smart Environments ◽

Download Full-text

An Architectural Mechanism for Resilient IoT Services

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137010 ◽

2017 ◽

Author(s):

Hokeun Kim ◽

Eunsuk Kang ◽

David Broman ◽

Edward A. Lee

Download Full-text

Continuous Verification for Cryptographic Protocol Development

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137006 ◽

2017 ◽

Author(s):

Andres Molina-Markham ◽

Paul D. Rowe

Keyword(s):

Cryptographic Protocol ◽

Protocol Development

Download Full-text

Towards a Thing-In-the-Loop approach for the Verification and Validation of IoT systems

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137007 ◽

2017 ◽

Author(s):

Domenico Amalfitano ◽

Nicola Amatucci ◽

Vincenzo De Simone ◽

Vincenzo Riccio ◽

Fasolino Anna Rita

Keyword(s):

Verification And Validation

Download Full-text

Privacy of Personal Things in Active Learning Spaces Need Individually Evolved Requirements

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137009 ◽

2017 ◽

Author(s):

Joseph Maguire ◽

Steve Draper

Keyword(s):

Active Learning ◽

Learning Spaces

Download Full-text

Runtime Monitoring of Safety and Performance Requirements in Smart Cities

Proceedings of the 1st ACM Workshop on the Internet of Safe Things - SafeThings'17 ◽

10.1145/3137003.3137005 ◽

2017 ◽

Author(s):

Meiyi Ma ◽

John A. Stankovic ◽

Lu Feng

Keyword(s):

Smart Cities ◽

Runtime Monitoring ◽

Performance Requirements ◽

And Performance

Download Full-text