English
Related papers

Related papers: A novel lightweight hardware-assisted static instr…

200 papers

Software analysis, debugging, and reverse engineering have a crucial impact in today's software industry. Efficient and stealthy debuggers are especially relevant for malware analysis. However, existing debugging platforms fail to address a…

The importance of preventing microarchitectural timing side channels in security-critical applications has surged in recent years. Constant-time programming has emerged as a best-practice technique for preventing the leakage of secret…

Cryptography and Security · Computer Science 2024-03-12 Lucas Deutschmann , Johannes Mueller , Mohammad Rahmani Fadiheh , Dominik Stoffel , Wolfgang Kunz

DIFT (Dynamic Information Flow Tracking) has been a hot topic for more than a decade. Unfortunately, existing hardware DIFT approaches have not been widely used neither by research community nor by hardware vendors. It is due to two major…

Cryptography and Security · Computer Science 2018-12-05 Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Arnab Kumar Biswas , Vianney Lapôtre , Guy Gogniat

We investigate sketch-like pen input as an alternative way to support execution control in interactive debugging. In our interface, programmers draw lightweight marks to set breakpoints, use symbolic strokes to control execution, and extend…

Human-Computer Interaction · Computer Science 2026-05-26 Helen Weixu Chen , Daniel Vogel

Embedded systems are ubiquitous. However, physical access of users and likewise attackers makes them often threatened by fault attacks: a single fault during the computation of a cryptographic primitive can lead to a total loss of system…

Cryptography and Security · Computer Science 2021-05-31 Max Hoffmann , Falk Schellenberg , Christof Paar

Performance monitoring is an essential function for margin measurements in live systems. Historically, system budgets have been described by the Q-factor converted from the bit error rate (BER) under binary modulation and direct detection.…

Signal Processing · Electrical Eng. & Systems 2024-01-25 Tsuyoshi Yoshida , Mikael Mazur , Jochen Schröder , Magnus Karlsson , Erik Agrell

The introduction of complex SoCs with multiple processor cores presents new development challenges, such that development support is now a decisive factor when choosing a System-on-Chip (SoC). The presented developments support strategy…

Hardware Architecture · Computer Science 2011-11-09 A. Mayer , H. Siebert , K. D. Mcdonald-Maier

The recent emergence of novel computational devices, such as adiabatic quantum computers, CMOS annealers, and optical parametric oscillators, present new opportunities for hybrid-optimization algorithms that are hardware accelerated by…

Optimization and Control · Mathematics 2019-06-20 Carleton Coffrin , Harsha Nagarajan , Russell Bent

Static Random Access Memory (SRAM) Physically Unclonable Functions (PUFs) make use of intrinsic manufacturing variations in memory cells to derive device-unique responses. Employing such hardware-rooted fingerprints for authentication, this…

Cryptography and Security · Computer Science 2026-04-20 Florian Lehn , Pascal Ahr , Hans D. Schotten

There are increasing concerns about possible malicious modifications of integrated circuits (ICs) used in critical applications. Such attacks are often referred to as hardware Trojans. While many techniques focus on hardware Trojan…

Hardware Architecture · Computer Science 2016-11-18 Tony F. Wu , Karthik Ganesan , Yunqing Alexander Hu , H. -S. Philip Wong , Simon Wong , Subhasish Mitra

Machine learning is playing an increasingly significant role in emerging mobile application domains such as AR/VR, ADAS, etc. Accordingly, hardware architects have designed customized hardware for machine learning algorithms, especially…

Machine Learning · Computer Science 2018-02-05 Yuhao Zhu , Matthew Mattina , Paul Whatmough

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

The current verification flow of complex systems uses different engines synergistically: virtual prototyping, formal verification, simulation, emulation and FPGA prototyping. However, none is able to verify a complete architecture.…

Logic in Computer Science · Computer Science 2018-02-12 Tomas Grimm , Djones Lettnin , Michael Hübner

This research highlights the rapid development of technology in the industry, particularly Industry 4.0, supported by fundamental technologies such as the Internet of Things (IoT), cloud computing, big data, and data analysis. Despite…

Cryptography and Security · Computer Science 2024-09-17 Joshua Tito Amael , Oskar Natan , Jazi Eko Istiyanto

Development of fast methods to conduct in silico experiments using computational models of cellular signaling is a promising approach toward advances in personalized medicine. However, software-based cellular network simulation has…

Molecular Networks · Quantitative Biology 2018-11-20 Kevin Gilboy , Khaled Sayed , Niteesh Sundaram , Kara Bocan , Natasa Miskov-Zivanov

The USB protocol has become ubiquitous, supporting devices from high-powered computing devices to small embedded devices and control systems. USB's greatest feature, its openness and expandability, is also its weakness, and attacks such as…

Cryptography and Security · Computer Science 2018-08-19 Grant Hernandez , Farhaan Fowze , Dave Tian , Tuba Yavuz , Kevin R. B. Butler

Code coverage is a valuable guide for testing, but in AAA games the overhead of instrumentation conflicts with strict performance requirements and can destabilize automated tests. We propose and assess a selective instrumentation approach…

Software Engineering · Computer Science 2026-01-26 Ian Gauk , Doriane Olewicki , Joshua Romoff , Cor-Paul Bezemer

Simulation-based Inference (SBI) is a widely used set of algorithms to learn the parameters of complex scientific simulation models. While primarily run on CPUs in HPC clusters, these algorithms have been shown to scale in performance when…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-30 Sourabh Kulkarni , Csaba Andras Moritz

As the Internet of Things (IoT) continues to expand, data security has become increasingly important for ensuring privacy and safety, especially given the sensitive and, sometimes, critical nature of the data handled by IoT devices. There…

Cryptography and Security · Computer Science 2023-03-15 José Ferreira , Alan Oliveira , André Souto , José Cecílio

Zero-shot hyperparameter optimization (HPO) is a simple yet effective use of transfer learning for constructing a small list of hyperparameter (HP) configurations that complement each other. That is to say, for any given dataset, at least…

Machine Learning · Statistics 2020-07-28 Fela Winkelmolen , Nikita Ivkin , H. Furkan Bozkurt , Zohar Karnin