Articles from arxiv.org

Articles from arxiv.org

Counterfeit Chip Detection using Scattering Parameter Analysis (arxiv.org)
2023-3-12

Capstone: A Capability-based Foundation for Trustless Secure Memory Access (arxiv.org)
2023-2-28

Coinductive guide to inductive transformer heads (arxiv.org)
2023-2-24

The Usability of Advanced Type Systems: Rust as a Case Study (arxiv.org)
2023-2-23 Rust

Poisoning Web-Scale Training Datasets is Practical (arxiv.org)
2023-2-22

C-rusted: The Advantages of Rust, in C, without the Disadvantages (arxiv.org)
2023-2-19 Rust

CBMC: The C Bounded Model Checker (arxiv.org)
2023-2-14

Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence (arxiv.org)
2023-2-10 Python

Toolformer: Language Models Can Teach Themselves to Use Tools (arxiv.org)
2023-2-10

An Attack on The Speculative Vectorization: Leakage from Higher Dimensional Speculation (arxiv.org)
2023-2-4

SPECWANDS: An Efficient Priority-based Scheduler Against Speculation Contention Attacks (arxiv.org)
2023-2-4

SSO-MONITOR: Fully-Automatic Large-Scale Landscape, Security, & Privacy Analyses of SSO in the Wild (arxiv.org)
2023-2-4 InfoSec SSO

Protecting Cache States Against Both Speculative Execution Attacks and Side-channel Attacks (arxiv.org)
2023-2-4 Cache

Stack-Aware Hyperproperties (arxiv.org)
2023-2-2

Icicle: A Re-Designed Emulator for Grey-Box Firmware Fuzzing (arxiv.org)
2023-2-2 Firmware

A survey of Digital Manufacturing Hardware and Software Trojans (arxiv.org)
2023-1-27 Manufacturing

Breaking Bad: Quantifying the Addiction of Web Elements to JavaScript (arxiv.org)
2023-1-27 JavaScript

On the Algebraic Properties of Flame Graphs (arxiv.org)
2023-1-25

Myths and Legends in High-Performance Computing (arxiv.org)
2023-1-22

Duet: Creating Harmony between Processors and Embedded FPGAs (arxiv.org)
2023-1-21

[2301.05097] Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages (arxiv.org)
2023-1-18 JavaScript

Tracr: Compiled Transformers as a Laboratory for Interpretability (arxiv.org)
2023-1-15

HiClass: a Python library for local hierarchical classification compatible with scikit-learn (arxiv.org)
2023-1-5 Python scikit-learn

Modular Formal Verification of Rust Programs with Unsafe Blocks (arxiv.org)
2023-1-2 Rust

Economic impacts of AI-augmented R&D (arxiv.org)
2023-1-2

Do Users Write More Insecure Code with AI Assistants? (arxiv.org)
2022-12-28 AI

Large Language Models are Zero-Shot Reasoners (arxiv.org)
2022-12-23

Introduction to Homotopy Type Theory (arxiv.org)
2022-12-22

Generic Tagging for RISC-V Binaries (arxiv.org)
2022-12-15

Integrating Unikernel Optimizations in a General Purpose OS (arxiv.org)
2022-12-14

Previous Page Next Page