English
Related papers

Related papers: AKER: A Design and Verification Framework for Safe…

200 papers

PCBs are the core components for the devices ranging from the consumer electronics to military applications. Due to the accessibility of the PCBs, they are vulnerable to the attacks such as probing, eavesdropping, and reverse engineering.…

Cryptography and Security · Computer Science 2019-04-23 Zimu Guo , Xiaolin Xu , Mark M. Tehranipoor , Domenic Forte

The globalization of the semiconductor industry has introduced security challenges to Integrated Circuits (ICs), particularly those related to the threat of Hardware Trojans (HTs) - malicious logic that can be introduced during IC…

Cryptography and Security · Computer Science 2024-08-29 Mohammad Eslami , Tara Ghasempouri , Samuel Pagliarini

In the context of prediction-as-a-service, concerns about the privacy of the data and the model have been brought up and tackled via secure inference protocols. These protocols are built up by using single or multiple cryptographic tools…

Cryptography and Security · Computer Science 2024-04-26 Shuangyi Chen , Ashish Khisti

Security verification of communication protocols in industrial and safety-critical systems is challenging because implementations are often proprietary, accessible only as black boxes, and too complex for manual modeling. As a result,…

Cryptography and Security · Computer Science 2026-03-02 Stefan Marksteiner , Mikael Sjödin , Marjan Sirjani

In this work, we review existing cryptocurrency wallet solutions with regard to authentication methods and factors from the user's point of view. In particular, we distinguish between authentication factors that are verified against the…

Cryptography and Security · Computer Science 2024-02-28 Ivan Homoliak , Martin Perešíni

The fast-growing Internet traffic is increasingly becoming content-based and driven by mobile users, with users more interested in data rather than its source. This has precipitated the need for an information-centric Internet architecture.…

Networking and Internet Architecture · Computer Science 2016-03-14 S. Misra , R. Tourani , F. Natividad , T. Mick , N. Majd , H. Huang

The modern integrated circuit ecosystem is increasingly reliant on third-party intellectual property integration, which introduces security risks, including hardware Trojans and security vulnerabilities. Addressing the resulting trust…

Cryptography and Security · Computer Science 2026-04-13 Sirui Shen , Zunchen Huang , Chenglu Jin

We introduce the Android Security Framework (ASF), a generic, extensible security framework for Android that enables the development and integration of a wide spectrum of security models in form of code-based security modules. The design of…

Cryptography and Security · Computer Science 2014-04-08 Michael Backes , Sven Bugiel , Sebastian Gerling , Philipp von Styp-Rekowsky

Globalization in the semiconductor industry enables fabless design houses to reduce their costs, save time, and make use of newer technologies. However, the offshoring of Integrated Circuit (IC) fabrication has negative sides, including…

Cryptography and Security · Computer Science 2023-01-31 Mohammad Eslami , Tara Ghasempouri , Samuel Pagliarini

Over the years, access control systems have become more and more sophisticated and several security measures have been employed to combat the menace of insecurity of lives and property. This is done by preventing unauthorized entrance into…

Other Computer Science · Computer Science 2012-12-27 Sadeque Reza Khan

The Session Initiation Protocol (SIP) has become the most predominant protocol for Voice over Internet Protocol (VoIP) signaling. Security of SIP is an important consideration for VoIP communication as the traffic is transmitted over the…

Cryptography and Security · Computer Science 2010-02-08 Abdullah Al Hasib , Abdullah Azfar , Md. Sarwar Morshed

Because FPGAs outperform traditional processing cores like CPUs and GPUs in terms of performance per watt and flexibility, they are being used more and more in cloud and data center applications. There are growing worries about the security…

Cryptography and Security · Computer Science 2022-09-26 Muhammed Kawser Ahmed , Sujan Kumar Saha , Christophe Bobda

Registers are primary storage elements in System-on-chip~(SoC) designs and play an important role in maintaining state information and processing data in digital systems. With respect to the ISO26262 standard, these registers require high…

Formal Languages and Automata Theory · Computer Science 2025-05-26 Shuhang Zhang , Bryan Olmos

Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near future. Despite tremendous advances within this context,…

As multi-robot systems continue to advance and become integral to various applications, managing conflicts and ensuring secure access control are critical challenges that need to be addressed. Access control is essential in multi-robot…

Robotics · Computer Science 2023-09-01 Salma Salimi , Farhad Keramat , Tomi Westerlund , Jorge Peña Queralta

Heterogeneous parallel error detection is an approach to achieving fault-tolerant processors, leveraging multiple power-efficient cores to re-execute software originally run on a high-performance core. Yet, its complex components, gathering…

Hardware Architecture · Computer Science 2025-04-03 Zhe Jiang , Minli Liao , Sam Ainsworth , Dean You , Timothy Jones

Permissions are highly sensitive in Internet-of-Things (IoT) applications, as IoT devices collect our personal data and control the safety of our environment. Rather than simply granting permissions, further constraints shall be imposed on…

Cryptography and Security · Computer Science 2018-04-03 Lakshya Tandon , Philip W. L. Fong , Reihaneh Safavi-Naini

With the wide use of Automatic Speech Recognition (ASR) in applications such as human machine interaction, simultaneous interpretation, audio transcription, etc., its security protection becomes increasingly important. Although recent…

Cryptography and Security · Computer Science 2021-08-02 Yuxuan Chen , Jiangshan Zhang , Xuejing Yuan , Shengzhi Zhang , Kai Chen , Xiaofeng Wang , Shanqing Guo

The proliferation of consumer IoT products in our daily lives has raised the need for secure device authentication and access control. Unfortunately, these resource-constrained devices typically use token-based authentication, which is…

Cryptography and Security · Computer Science 2024-03-25 Yue Xiao , Yi He , Xiaoli Zhang , Qian Wang , Renjie Xie , Kun Sun , Ke Xu , Qi Li

Todays industrial control systems consist of tightly coupled components allowing adversaries to exploit security attack surfaces from the information technology side, and, thus, also get access to automation devices residing at the…

Software Engineering · Computer Science 2023-06-26 Mukund Bhole , Wolfgang Kastner , Thilo Sauter