English
Related papers

Related papers: Towards Remotely Verifiable Software Integrity in …

200 papers

Software system certification presents itself with many challenges, including the necessity to certify the system at the level of functional requirements, code and binary levels, the need to chase down run-time errors, and the need for…

Software Engineering · Computer Science 2007-05-23 Eric Feron , Mardavij Roozbehani

The Internet of Things (IoT) has improved people's lives by seamlessly integrating into many facets of modern life and facilitating information sharing across platforms. Device Authentication and Key exchange are major challenges for the…

Cryptography and Security · Computer Science 2023-11-08 Chandranshu Gupta , Gaurav Varshney

Smart homes that integrate Internet of Things (IoT) devices face increasing cybersecurity risks, posing significant challenges to these environments. The study explores security threats in smart homes ecosystems, categorizing them into…

Cryptography and Security · Computer Science 2025-07-03 Mohammed K. Alzaylaee

The continuous rise in the adoption of emerging technologies such as Internet of Things (IoT) by businesses has brought unprecedented opportunities for innovation and growth. However, due to the distinct characteristics of these emerging…

Cryptography and Security · Computer Science 2023-11-21 Oghenetejiri Okporokpo , Funminiyi Olajide , Nemitari Ajienka , Xiaoqi Ma

Securing Internet of Things (IoT) firmware remains difficult due to proprietary binaries, stripped symbols, heterogeneous architectures, and limited access to executable code. Existing analysis methods, such as static analysis, symbolic…

Cryptography and Security · Computer Science 2025-12-24 Saeid Jamshidi , Omar Abdul-Wahab , Martine Bellaïche , Foutse Khomh

In this paper, we present a comprehensive survey of authentication protocols for Internet of Things (IoT). Specifically, we select and in-detail examine more than forty authentication protocols developed for or applied in the context of the…

Cryptography and Security · Computer Science 2016-12-22 Mohamed Amine Ferrag , Leandros A. Maglaras , Helge Janicke , Jianmin Jiang

We describe a framework and tool specification that represents a step towards cybersecurity testing and monitoring of IoT ecosystems. We begin with challenges from a previous paper and discuss an integrated approach and tools to enable…

Spectre vulnerabilities violate our fundamental assumptions about architectural abstractions, allowing attackers to steal sensitive data despite previously state-of-the-art countermeasures. To defend against Spectre, developers of…

Cryptography and Security · Computer Science 2022-04-11 Sunjay Cauligi , Craig Disselkoen , Daniel Moghimi , Gilles Barthe , Deian Stefan

A large number of IoT devices are connected via the Internet. However, most of these IoT devices are generally not perfect-by-design even have security weaknesses or vulnerabilities. Thus, it is essential to update these IoT devices…

Cryptography and Security · Computer Science 2019-02-12 Yanqi Zhao , Yiming Liu , Yong Yu , Yannan Li

Internet of Things (IoT) devices routinely have security issues, but are the platform designers providing enough support to IoT developers for them to easily implement security features for their platforms? We surveyed the documentation,…

Cryptography and Security · Computer Science 2024-09-05 Andrew Baldrian , Joseph Hallett

In the past few years, the number of IoT devices has grown substantially, and this trend is likely to continue. An increasing amount of effort is being put into developing software for the ever-increasing IoT devices. Every IoT system at…

Software Engineering · Computer Science 2024-02-13 Md Rafid Islam , Ratun Rahman

A large majority of cheap Internet of Things (IoT) devices that arrive brand new, and are configured with out-of-the-box settings, are not being properly secured by the manufactures, and are vulnerable to existing malware lurking on the…

Computers and Society · Computer Science 2020-07-28 Christopher Kelly , Nikolaos Pitropakis , Sean McKeown , Costas Lambrinoudakis

With the recent advancement of technologies over the past year, IoT has become a paradigm in which devices communicate with each other and the cloud to achieve various applications in multidisciplinary fields. However, developing,…

Networking and Internet Architecture · Computer Science 2020-10-14 Rakesh Dhakshina Murthy , Mingming Liu

IoT systems complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation Failures can be internally generated or caused by external factors impacting both the systems correctness and its…

Internet of Things (IoT) is being considered as the growth engine for industrial revolution 4.0. The combination of IoT, cloud computing and healthcare can contribute in ensuring well-being of people. One important challenge of IoT network…

Cryptography and Security · Computer Science 2021-01-15 Prajoy Podder , M. Rubaiyat Hossain Mondal , Subrato Bharati , Pinto Kumar Paul

While the large-scale Internet of Things (IoT) makes many new applications feasible, like Smart Cities, IoT also brings new concerns on data reliability, security, and privacy. The rapid evolution in blockchain technologies, which relied on…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-24 Ronghua Xu , Yu Chen

The advent of Industrial IoT (IIoT) along with Cloud computing has brought a huge paradigm shift in manufacturing industries resulting in yet another industrial revolution, Industry 4.0. Huge amounts of delay-sensitive data of diverse…

Cryptography and Security · Computer Science 2020-05-15 Jayasree Sengupta , Sushmita Ruj , Sipra Das Bit

The Internet of Things (IoT) is a distributed system of physical objects that requires the seamless integration of hardware (e.g., sensors, actuators, electronics) and network communications in order to collect and exchange data. IoT smart…

Systems and Control · Electrical Eng. & Systems 2024-02-07 Tiago M. Fernández-Caramés , Paula Fraga-Lamas , Manuel Suárez-Albela , Luis Castedo

Despite technological advances, most smart objects in the Internet of Things (IoT) cannot be accessed using technologies designed and developed for interacting with powerful Internet servers. IoT use cases involve devices that not only have…

Cryptography and Security · Computer Science 2019-01-24 Nikos Fotiou , Vasilios A. Siris , George C. Polyzos

Internet of Things (IoT) is an emerging technology that has the promising power to change our future. Due to the market pressure, IoT systems may be released without sufficient testing. However, it is no longer acceptable to release IoT…

Computers and Society · Computer Science 2019-01-31 Bestoun S. Ahmed , Miroslav Bures , Karel Frajtak , Tomas Cerny