English
Related papers

Related papers: TLGLock: A New Approach in Logic Locking Using Key…

200 papers

The runtime system of dynamic languages such as Prolog or Lisp and their derivatives contain a symbol table, in Prolog often called the atom table. A simple dynamically resizing hash-table used to be an adequate way to implement this table.…

Programming Languages · Computer Science 2016-08-04 Jan Wielemaker , Keri Harris

Solving safety-critical control problem has widely adopted the Control Barrier Function (CBF) method. However, the existence of a CBF is only a sufficient condition for system safety. The recently proposed Taylor-Lagrange Control (TLC)…

Systems and Control · Electrical Eng. & Systems 2026-02-24 Wei Xiao , Christos Cassandras , Anni Li

This paper presents a stochastic logic time delay reservoir design. The reservoir is analyzed using a number of metrics, such as kernel quality, generalization rank, performance on simple benchmarks, and is also compared to a deterministic…

Machine Learning · Statistics 2017-02-15 Cory Merkel

To reduce the cost of ICs and to meet the market's demand, a considerable portion of manufacturing supply chain, including silicon fabrication, packaging and testing may be pushed offshore. Utilizing a global IC manufacturing supply chain,…

Cryptography and Security · Computer Science 2019-05-16 Kimia Zamiri Azar , Hadi Mardani Kamali , Houman Homayoun , Avesta Sasan

Now a day reversible logic is an attractive research area due to its low power consumption in the area of VLSI circuit design. The reversible logic gate is utilized to optimize power consumption by a feature of retrieving input logic from…

Hardware Architecture · Computer Science 2015-09-15 Neeraj Kumar Misra , Mukesh Kumar Kushwaha , Subodh Wairya , Amit Kumar

Knowledge graphs (KGs) are increasingly integrated with large language models (LLMs) to provide structured, verifiable reasoning. A core operation in this integration is multi-hop retrieval, yet existing systems struggle to balance…

Computation and Language · Computer Science 2026-04-22 He Cheng , Yifu Wu , Saksham Khatwani , Maya Kruse , Dmitriy Dligach , Timothy A. Miller , Majid Afshar , Yanjun Gao

Any secured system can be modeled as a capability-based access control system in which each user is given a set of secret keys of the resources he is granted access to. In some large systems with resource-constrained devices, such as sensor…

Cryptography and Security · Computer Science 2021-09-21 Aldar C-F. Chan

Diffusion large language models promise faster generation by refining many token positions in parallel, but this parallelism introduces a hidden control problem: which proposed tokens should be transferred into the partially decoded…

Computation and Language · Computer Science 2026-05-26 Bohang Sun , Max Zhu , Francesco Caso , Jindong Gu , Junchi Yu , Philip Torr , Pietro Liò , Jialin Yu

Irreversible logic circuits dissipate heat for every bit of information that is lost. Information is lost when the input vector cannot be recovered from its corresponding output vector. Reversible logic circuit naturally takes care of…

Hardware Architecture · Computer Science 2010-08-20 Md. Saiful Islam , Muhammad Mahbubur Rahman , Zerina Begum , Mohd. Zulfiquar Hafiz

This paper proposes smaRTLy: a new optimization technique for multiplexers in Register-Transfer Level (RTL) logic synthesis. Multiplexer trees are very common in RTL designs, and traditional tools like Yosys optimize them by traversing the…

Hardware Architecture · Computer Science 2025-10-21 Chengxi Li , Yang Sun , Lei Chen , Yiwen Wang , Mingxuan Yuan , Evangeline F. Y. Young

Memory and computation remain core bottlenecks in long-horizon LLM inference due to the quadratic cost of self-attention and the ever-growing key-value (KV) cache. Existing strategies for memory-bounded inference, such as quantization,…

Machine Learning · Computer Science 2026-03-03 Ngoc Bui , Shubham Sharma , Simran Lamba , Saumitra Mishra , Rex Ying

Reversible logic is gaining interest of many researchers due to its low power dissipating characteristic. In this paper we proposed a new approach for designing online testable reversible circuits. The resultant testable reversible circuit…

Emerging Technologies · Computer Science 2013-12-31 Md. Selim Al Mamun , Pronab Kumar Mondal , Uzzal Kumar Prodhan

The application of large language models to code generation has evolved from one-shot generation to iterative refinement, yet the evolution of security throughout iteration remains insufficiently understood. Through comparative experiments…

Cryptography and Security · Computer Science 2026-03-10 Yi Chen , Yun Bian , Haiquan Wang , Shihao Li , Zhe Cui

As 6G networks evolve, spectrum assets require flexible, dynamic, and efficient utilization, motivating blockchain based spectrum securitization. Existing approaches based on ERC404 style hybrid token models rely on frequent minting and…

Information Retrieval · Computer Science 2026-01-23 Zhixian Zhou , Bin Chen , Zhe Peng , Zhiming Liang , Ruijun Wu , Chen Sun , Shuo Wang

Recent reasoning-based safety guardrails for Large Reasoning Models (LRMs), such as deliberative alignment, have shown strong defense against jailbreak attacks. By leveraging LRMs' reasoning ability, these guardrails help the models to…

Cryptography and Security · Computer Science 2025-10-24 Shuo Chen , Zhen Han , Haokun Chen , Bailan He , Shengyun Si , Jingpei Wu , Philip Torr , Volker Tresp , Jindong Gu

With the emergence of 5G low latency applications, such as haptics and V2X, low complexity and low latency security mechanisms are sought. Promising lightweight mechanisms include physical unclonable functions (PUF) and secret key…

Cryptography and Security · Computer Science 2020-03-27 Miroslav Mitev , Arsenia Chorti , Martin Reed , Leila Musavian

Transversal gates are the simplest form of fault-tolerant gates and are relatively easy to implement in practice. Yet designing codes that support useful transversal operations -- especially non-Clifford or addressable gates -- remains…

Quantum Physics · Physics 2026-03-05 ChunJun Cao , Brad Lackey

Wireless key generation holds significant promise for establishing cryptographic keys in Next-Gen Internet of Vehicles (IoV) systems. However, existing approaches often face inefficiencies and performance limitations caused by frequent…

Networking and Internet Architecture · Computer Science 2025-02-25 Huanqi Yang , Weitao Xu

Semiconductor supply chain is increasingly getting exposed to variety of security attacks such as Trojan insertion, cloning, counterfeiting, reverse engineering (RE), piracy of Intellectual Property (IP) or Integrated Circuit (IC) and…

Cryptography and Security · Computer Science 2015-12-08 Anirudh Iyengar , Swaroop Ghosh

Tool-augmented Large Language Model (LLM) agents have demonstrated impressive capabilities in automating complex, multi-step real-world tasks, yet remain vulnerable to indirect prompt injection. Adversaries exploit this weakness by…

Cryptography and Security · Computer Science 2026-05-12 Wei Zhao , Zhe Li , Peixin Zhang , Jun Sun