:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Marcus, Michiel, Westers, Frank, Nijsten, Anne
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2507.21731
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Obfuscation of Arbitrary Quantum Circuits
by: Huang, Miryam Mi-Ying, et al.
Published: (2026)

AuthOr: Lower Cost Authenticity-Oriented Garbling for Arbitrary Boolean Circuits
by: Biçer, Osman, et al.
Published: (2025)

Binary Diff Summarization using Large Language Models
by: Udeshi, Meet, et al.
Published: (2025)

Modelling the Impact of Quantum Circuit Imperfections on Networks and Computer Applications
by: Glisic, Savo
Published: (2024)

WAIT: Protecting the Integrity of Web Applications with Binary-Equivalent Transparency
by: Meißner, Echo, et al.
Published: (2021)

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
by: Wang, Ruoxi, et al.
Published: (2025)

Imperio: Language-Guided Backdoor Attacks for Arbitrary Model Control
by: Chow, Ka-Ho, et al.
Published: (2024)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
by: He, Ningyu, et al.
Published: (2024)

A Pragmatic Comparison of Cryptographic Computation Technologies for Machine Learning
by: Taubert, Marcus, et al.
Published: (2026)

MalwarePT: A Binary-Level Foundation Model for Malware Analysis
by: Vasan, Saastha, et al.
Published: (2026)

Simulation-Secure Functional Encryption in the Bounded Storage Model
by: Barhoush, Mohammed, et al.
Published: (2023)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
by: Giampietro, Sofia, et al.
Published: (2026)

Proofs of Useful Work from Arbitrary Matrix Multiplication
by: Komargodski, Ilan, et al.
Published: (2025)

Arbitrary-Threshold Fully Homomorphic Encryption with Lower Complexity
by: Chang, Yijia, et al.
Published: (2025)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
by: Lindner, Andreas, et al.
Published: (2023)

Analysis of Input-Output Mappings in Coinjoin Transactions with Arbitrary Values
by: Gavenda, Jiri, et al.
Published: (2025)

Enhanced Privacy Bound for Shuffle Model with Personalized Privacy
by: Liu, Yixuan, et al.
Published: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
by: Tempel, Sören, et al.
Published: (2024)

Automated Quantum Circuit Generation for Computing Inverse Hash Functions
by: Henderson, Elena R., et al.
Published: (2024)

Mutual Information Bounds in the Shuffle Model
by: Su, Pengcheng, et al.
Published: (2025)

Watermarking of Quantum Circuits
by: Roy, Rupshali, et al.
Published: (2024)

RandOhm: Mitigating Impedance Side-channel Attacks using Randomized Circuit Configurations
by: Monfared, Saleh Khalaj, et al.
Published: (2024)

Cryptanalysis of a Lattice-Based PIR Scheme for Arbitrary Database Sizes
by: Lage, Svenja
Published: (2025)

Tyche: Collateral-Free Coalition-Resistant Multiparty Lotteries with Arbitrary Payouts
by: Kniep, Quentin, et al.
Published: (2024)

Attestable Builds: Compiling Verifiable Binaries on Untrusted Systems using Trusted Execution Environments
by: Hugenroth, Daniel, et al.
Published: (2025)

Defining Atomicity (and Integrity) for Snapshots of Storage in Forensic Computing
by: Ottmann, Jenny, et al.
Published: (2025)

Analyzing PDFs like Binaries: Adversarially Robust PDF Malware Analysis via Intermediate Representation and Language Model
by: Liu, Side, et al.
Published: (2025)

PeAR: A Static Binary Rewriting Framework for Binary-Only Fuzzing
by: Charles, Alvin, et al.
Published: (2026)

Unelicitable Backdoors in Language Models via Cryptographic Transformer Circuits
by: Draguns, Andis, et al.
Published: (2024)

Symbolic Quantitative Information Flow for Probabilistic Programs
by: Schröer, Philipp, et al.
Published: (2024)

Divide and Conquer based Symbolic Vulnerability Detection
by: Scherb, Christopher, et al.
Published: (2024)

AGNNCert: Defending Graph Neural Networks against Arbitrary Perturbations with Deterministic Certification
by: Li, Jiate, et al.
Published: (2025)

Masking Gaussian Elimination at Arbitrary Order, with Application to Multivariate- and Code-Based PQC
by: Norga, Quinten, et al.
Published: (2024)

Forensics of Transpiled Quantum Circuits
by: Roy, Rupshali, et al.
Published: (2024)

Horizontal SCA Attacks on Binary kP Algorithms using Chevallier-Mames Atomic Blocks
by: Matungamire, Gerald Isheanesu, et al.
Published: (2026)

Powerful Primitives in the Bounded Quantum Storage Model
by: Barhoush, Mohammed, et al.
Published: (2023)

Computationally Bounded Robust Compilation and Universally Composable Security
by: Künnemann, Robert, et al.
Published: (2024)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
by: Shafiuzzaman, Md, et al.
Published: (2024)

How to Copy-Protect Malleable-Puncturable Cryptographic Functionalities Under Arbitrary Challenge Distributions
by: Çakan, Alper, et al.
Published: (2025)

Symbolic Parallel Composition for Multi-language Protocol Verification
by: Nasrabadi, Faezeh, et al.
Published: (2025)