English
Related papers

Related papers: HAL -- An Open-Source Framework for Gate-Level Net…

200 papers

Offensive security is one of the state of the art measures to protect enterprises and organizations. Penetration testing, broadly called pentesting, is a branch of offensive security designed to find, rate and exploit these vulnerabilities,…

Cryptography and Security · Computer Science 2024-06-13 Jacobo Casado de Gracia , Alfonso Sánchez-Macián

We present the first stable release of Halotools (v0.2), a community-driven Python package designed to build and test models of the galaxy-halo connection. Halotools provides a modular platform for creating mock universes of galaxies…

We classify and review current approaches to software infrastructure for research, development and delivery of NLP systems. The task is motivated by a discussion of current trends in the field of NLP and Language Engineering. We describe a…

cmp-lg · Computer Science 2008-02-03 Hamish Cunningham , Kevin Humphreys , Robert Gaizauskas , Yorick Wilks

In this technical report, we present HW2VEC [11], an open-source graph learning tool for hardware security, and its implementation details (Figure 1). HW2VEC provides toolboxes for graph representation extraction in the form of Data Flow…

Cryptography and Security · Computer Science 2021-08-03 Yasamin Moghaddas , Tommy Nguyen , Shih-Yuan Yu , Rozhin Yasaei , Mohammad Abdullah Al Faruque

SLAM technology has recently seen many successes and attracted the attention of high-technological companies. However, how to unify the interface of existing or emerging algorithms, and effectively perform benchmark about the speed,…

Computer Vision and Pattern Recognition · Computer Science 2019-02-22 Yong Zhao , Shibiao Xu , Shuhui Bu , Hongkai Jiang , Pengcheng Han

This paper proposes a framework called Watts for implementing, comparing, and recombining open-ended learning (OEL) algorithms. Motivated by modularity and algorithmic flexibility, Watts atomizes the components of OEL systems to promote the…

Artificial Intelligence · Computer Science 2022-04-29 Aaron Dharna , Charlie Summers , Rohin Dasari , Julian Togelius , Amy K. Hoover

Attacks based on side-channel analysis (SCA) pose a severe security threat to modern computing platforms, further exacerbated on IoT devices by their pervasiveness and handling of private and critical data. Designing SCA-resistant computing…

Cryptography and Security · Computer Science 2025-03-18 Davide Zoni , Andrea Galimberti , Davide Galli

Static analysis tools come in many forms andconfigurations, allowing them to handle various tasks in a (secure) development process: code style linting, bug/vulnerability detection, verification, etc., and adapt to the specific requirements…

HAL 9000 is an Intrusion Tolerant Systems (ITSs) Risk Manager, which assesses configuration risks against potential intrusions. It utilizes gathered threat knowledge and remains operational, even in the absence of updated information. Based…

Cryptography and Security · Computer Science 2025-03-24 Tadeu Freitas , Carlos Novo , Joao Soares , Ines Dutra , Manuel E. Correia , Behnam Shariati , Rolando Martins

The performance of deep learning models in remote sensing (RS) strongly depends on the availability of high-quality labeled data. However, collecting large-scale annotations is costly and time-consuming, while vast amounts of unlabeled…

Computer Vision and Pattern Recognition · Computer Science 2025-12-02 Wei Huang , Zhitong Xiong , Chenying Liu , Xiao Xiang Zhu

KernelHaven is an open infrastructure for Software Product Line (SPL) analysis. It is intended both as a production-quality analysis tool set as well as a research support tool, e.g., to support researchers in systematically exploring…

Software Engineering · Computer Science 2021-10-20 Christian Kröher , Sascha El-Sharkawy , Klaus Schmid

Developing an operating system (OS) for low-end embedded devices requires continuous adaptation to new hardware architectures and components, while serviceability of features needs to be assured for each individual platform under tight…

Systems and Control · Electrical Eng. & Systems 2022-07-21 Kevin Weiss , Michel Rottleuthner , Thomas C. Schmidt , Matthias Wählisch

Different software tools have been developed with the purpose of performing offline evaluations of recommender systems. However, the results obtained with these tools may be not directly comparable because of subtle differences in the…

Information Retrieval · Computer Science 2018-10-12 Diego Monti , Giuseppe Rizzo , Maurizio Morisio

NetHack is known as the frontier of reinforcement learning research where learning-based methods still need to catch up to rule-based solutions. One of the promising directions for a breakthrough is using pre-collected datasets similar to…

Machine Learning · Computer Science 2023-10-30 Vladislav Kurenkov , Alexander Nikulin , Denis Tarasov , Sergey Kolesnikov

Binary program analysis represents a fundamental pillar of modern system security. Fine-grained methodologies like dynamic taint analysis still suffer from deployment complexity and performance overhead despite significant progress.…

Software Engineering · Computer Science 2026-02-04 Zhangbo Long , Letian Sha , Jiaye Pan , Haiping Huang , Dongpeng Xu , Yifei Huang , Fu Xiao

FPGA-based accelerators are becoming more popular for deep neural network due to the ability to scale performance with increasing degree of specialization with dataflow architectures or custom data types. To reduce the barrier for software…

Hardware Architecture · Computer Science 2022-04-12 Syed Asad Alam , David Gregg , Giulio Gambardella , Thomas Preusser , Michaela Blott

SOL is an open-source library for scalable online learning algorithms, and is particularly suitable for learning with high-dimensional data. The library provides a family of regular and sparse online learning algorithms for large-scale…

Machine Learning · Computer Science 2016-10-31 Yue Wu , Steven C. H. Hoi , Chenghao Liu , Jing Lu , Doyen Sahoo , Nenghai Yu

To address the 'memory wall' problem in NN hardware acceleration, we introduce HALO-CAT, a software-hardware co-design optimized for Hidden Neural Network (HNN) processing. HALO-CAT integrates Layer-Penetrative Tiling (LPT) for algorithmic…

Hardware Architecture · Computer Science 2023-12-12 Yung-Chin Chen , Shimpei Ando , Daichi Fujiki , Shinya Takamaeda-Yamazaki , Kentaro Yoshioka

This article provides a comprehensive systematic literature review of academic studies, industrial applications, and real-world deployments from 2018 to 2025, providing a practical guide and detailed overview of modern Retrieval-Augmented…

Information Retrieval · Computer Science 2026-01-12 Dean Wampler , Dave Nielson , Alireza Seddighi

This full research paper focuses on skill acquisition in Hardware Reverse Engineering (HRE) - an important field of cyber security. HRE is a prevalent technique routinely employed by security engineers (i) to detect malicious hardware…

Cryptography and Security · Computer Science 2021-05-31 Carina Wiesen , Steffen Becker , Nils Albartus Christof Paar , Nikol Rummel