中文
相关论文

相关论文: AKER: A Design and Verification Framework for Safe…

200 篇论文

The advancement of manufacturing technologies has enabled the integration of more intellectual property (IP) cores on the same system-on-chip (SoC). Scalable and high throughput on-chip communication architecture has become a vital…

密码学与安全 · 计算机科学 2023-09-29 Hansika Weerasena , Prabhat Mishra

Assertions are widely used for functional validation as well as coverage analysis for both software and hardware designs. Assertions enable runtime error detection as well as faster localization of errors. While there is a vast literature…

系统与控制 · 电气工程与系统科学 2020-01-22 Yangdi Lyu , Prabhat Mishra

The increasing demand for electronics is driving shorter development cycles for application-specific integrated circuits (ASICs). To meet these constraints, hardware designers emphasize reusability and modularity of IP blocks, leveraging…

硬件体系结构 · 计算机科学 2025-02-05 Risto Pejašinović , Alessandro Caratelli , Anvesh Nookala , Benoît Walter Denkinger , Marco Andorno

This paper investigates a critical access control issue in the Internet of Things (IoT). In particular, we propose a smart contract-based framework, which consists of multiple access control contracts (ACCs), one judge contract (JC) and one…

密码学与安全 · 计算机科学 2018-02-14 Yuanyu Zhang , Shoji Kasahara , Yulong Shen , Xiaohong Jiang , Jianxiong Wan

The hardware computing landscape is changing. What used to be distributed systems can now be found on a chip with highly configurable, diverse, specialized and general purpose units. Such Systems-on-a-Chip (SoC) are used to control today's…

密码学与安全 · 计算机科学 2023-07-06 Ali Shoker , Paulo Esteves Verissimo , Marcus Völp

In order to protect the security of network data, a high speed chip module for encrypting and decrypting of network data packet is designed. The chip module is oriented for internet information security SOC (System on Chip) design. During…

硬件体系结构 · 计算机科学 2014-01-27 Yixin Liu , Haipeng Zhang , Tao Feng

Users are demanding increased data security. As a result, security is rapidly becoming a first-order design constraint in next generation computing systems. Researchers and practitioners are exploring various security technologies to meet…

密码学与安全 · 计算机科学 2021-05-04 Deeksha Dangwal , Meghan Cowan , Armin Alaghi , Vincent T. Lee , Brandon Reagen , Caroline Trippel

The Authentication and Authorization for Constrained Environments (ACE) framework provides fine-grained access control in the Internet of Things, where devices are resource-constrained and with limited connectivity. The ACE framework…

密码学与安全 · 计算机科学 2018-08-15 Santiago Aragon , Marco Tiloca , Max Maass , Matthias Hollick , Shahid Raza

Ensuring security for highly dynamic peer-to-peer (P2P) networks has always been a challenge, especially for services like online transactions and smart devices. These networks experience high churn rates, making it difficult to maintain…

密码学与安全 · 计算机科学 2024-12-06 Saurav Ghosh , Reshmi Mitra , Indranil Roy , Bidyut Gupta

Modern heterogeneous System-on-Chip (SoC) devices integrate advanced components into a single package, offering powerful capabilities while also introducing significant complexity. To manage these sophisticated devices, firmware and…

硬件体系结构 · 计算机科学 2025-10-21 Marvin Fuchs , Lukas Scheller , Timo Muscheid , Oliver Sander , Luis E. Ardila-Perez

The increasing prevalence of software vulnerabilities necessitates automated vulnerability repair (AVR) techniques. This Systematization of Knowledge (SoK) provides a comprehensive overview of the AVR landscape, encompassing both synthetic…

密码学与安全 · 计算机科学 2025-02-03 Ying Li , Faysal hossain shezan , Bomin wei , Gang Wang , Yuan Tian

Secure and trustworthy execution in heterogeneous SoCs is a major priority in the modern computing system. Security of SoCs mainly addresses two broad layers of trust issues: 1. Protection against hardware security threats(Side-channel, IP…

密码学与安全 · 计算机科学 2022-09-28 Muhammed Kawser Ahmed , Sujan Kumar Saha , Christophe Bobda

The prevalence of Internet of Things (IoTs) allows heterogeneous embedded smart devices to collaboratively provide intelligent services with or without human intervention. While leveraging the large-scale IoT-based applications like Smart…

网络与互联网体系结构 · 计算机科学 2018-05-03 Ronghua Xu , Yu Chen , Erik Blasch , Genshe Chen

Linux Containers, such as those managed by Docker, are an increasingly popular way to package and deploy complex applications. However, the fundamental security primitive of network access control for a distributed microservice deployment…

网络与互联网体系结构 · 计算机科学 2019-03-06 Cornelius Diekmann , Johannes Naab , Andreas Korsten , Georg Carle

The purpose of this study is to evaluate the possibility of implementing an attack on ALPC connection in the Windows operating system through the kernel without closing the connection covertly from programs and the operating system and to…

密码学与安全 · 计算机科学 2024-01-04 Anastasiia Kropova , Igor Korkin

The current zero trust model adopted in System-on-Chip (SoC) design is vulnerable to various malicious entities, and modern SoC designs must incorporate various security policies to protect sensitive assets from unauthorized access. These…

密码学与安全 · 计算机科学 2023-08-08 Sudipta Paria , Swarup Bhunia

As RISC-V adoption accelerates, domains such as automotive, the Internet of Things (IoT), and industrial control are attracting growing attention. These domains are subject to stringent Size, Weight, Power, and Cost (SWaP-C) constraints,…

Wi-Fi Channel State Information (CSI) has been repeatedly proposed as a biometric modality, often with reports of high accuracy and operational feasibility. However, the field lacks a consolidated understanding of its security properties,…

Single-event upset (SEU) fault tolerance for systems-on-chip (SoCs) in radiation-heavy environments is often addressed by architectural fault-tolerance approaches protecting individual SoC components (e.g., cores, memories) in isolation.…

硬件体系结构 · 计算机科学 2026-03-30 Michael Rogenmoser , Philippe Sauter , Chen Wu , Angelo Garofalo , Luca Benini

OpenACC is a high-level directive-based parallel programming model that can manage the sophistication of heterogeneity in architectures and abstract it from the users. The portability of the model across CPUs and accelerators has gained the…

软件工程 · 计算机科学 2022-08-30 A. M. Jarmusch , A. Liu , C. Munley , D. Horta , V. Ravichandran , J. Denny , S. Chandrasekaran
‹ 上一页 1 2 3 10 下一页 ›