English
Related papers

Related papers: The syzygy distinguisher

200 papers

We study quantum anomaly detection with density estimation and multivariate Gaussian distribution. Both algorithms are constructed using the standard gate-based model of quantum computing. Compared with the corresponding classical…

Quantum Physics · Physics 2019-06-26 Jin-Ming Liang , Shu-Qian Shen , Ming Li , Lei Li

Encryption-based attacks have introduced significant challenges for detection mechanisms that rely on predefined signatures, heuristic indicators, or static rule-based classifications. Probabilistic Latent Encryption Mapping presents an…

Cryptography and Security · Computer Science 2025-03-26 Mohammad Eisa , Quentin Yardley , Rafael Witherspoon , Harriet Pendlebury , Clement Rutherford

While contemporary deep learning malware detectors define a dominant defense paradigm, their sophistication also exposes them to novel structural evasion attacks, a limitation we attribute to their inherent inability to express epistemic…

Cryptography and Security · Computer Science 2026-05-12 ElMouatez Billah Karbab

Random classical linear codes are widely believed to be hard to decode. While slightly sub-exponential time algorithms exist when the coding rate vanishes sufficiently rapidly, all known algorithms at constant rate require exponential time.…

In 2012, Diem introduced a new figure of merit for cryptographic sequences called expansion complexity. In this paper, we slightly modify this notion to obtain the so-called irreducible-expansion complexity which is more suitable for…

Number Theory · Mathematics 2017-02-20 Gómez-Pérez , László Mérai , Harald Niederreiter

We give a decoding algorithm for a class of error-correcting codes, which can be used in the DHH-cryptosystem, which is a candidate for post-quantum cryptography, since it is of McEliece type. Furthermore, we implement the encryption and…

Cryptography and Security · Computer Science 2023-03-20 Carolin Hannusch , Giuseppe Filippone

The recently proposed Fast Fourier Transform (FFT)-based accountant for evaluating $(\varepsilon,\delta)$-differential privacy guarantees using the privacy loss distribution formalism has been shown to give tighter bounds than commonly used…

Cryptography and Security · Computer Science 2021-06-22 Antti Koskela , Antti Honkela

Soft-decision decoding is NP-hard problem of great interest to developers of communication system. We present an efficient soft-decision decoding of linear block codes based on compact genetic algorithm (cGA) and compare its performance…

Information Theory · Computer Science 2012-11-26 Ahmed Azouaoui , Ahlam Berkani , Mostafa Belkasmi

Quantum error correction (QEC) codes are traditionally defined and searched for without specifying the manner in which its syndrome extraction circuits are executed using elementary gates and measurements. We show how morphing circuits…

Quantum Physics · Physics 2026-04-22 Mackenzie H. Shaw , Barbara M. Terhal

This paper introduces a novel cryptographic approach based on the continuous logarithm in the complex circle, designed to address the challenges posed by quantum computing. By leveraging its multi-valued and spectral properties, this…

Cryptography and Security · Computer Science 2025-01-22 Jaafar Gaber

In this paper we present a variant of the McEliece cryptosystem that possesses several interesting properties, including a reduction of the public key for a given security level. In contrast to the classical McEliece cryptosystems, where…

Information Theory · Computer Science 2023-12-12 Paulo Almeida , Miguel Beltrá , Diego Napp , Cláudia Sebastião

We present the very first robust Bayesian Online Changepoint Detection algorithm through General Bayesian Inference (GBI) with $\beta$-divergences. The resulting inference procedure is doubly robust for both the parameter and the…

Machine Learning · Statistics 2018-11-28 Jeremias Knoblauch , Jack Jewson , Theodoros Damoulas

This paper presents a new refutation procedure for multimodular systems of integer constraints that commonly arise when verifying cryptographic protocols. These systems, involving polynomial equalities and disequalities modulo different…

Logic in Computer Science · Computer Science 2025-05-22 Elizaveta Pertseva , Alex Ozdemir , Shankara Pailoor , Alp Bassa , Sorawee Porncharoenwase , Işil Dillig , Clark Barrett

In this paper, we will present a new key exchange cryptosystem based on linear algebra, which take less operations but weaker in security than Diffie-Hellman's one.

Cryptography and Security · Computer Science 2008-01-20 An-Ping Li

Difference sets are basic combinatorial structures that have applications in signal processing, coding theory, and cryptography. We consider the problem of identifying a shifted version of the characteristic function of a (known) difference…

Quantum Physics · Physics 2016-08-09 Martin Roetteler

A fault injection framework for the decryption algorithm of the Niederreiter public-key cryptosystem using binary irreducible Goppa codes and classical decoding techniques is described. In particular, we obtain low-degree polynomial…

Information Theory · Computer Science 2023-06-22 Julian Danner , Martin Kreuzer

In this work we revisit classical systems of integers inside the real normed division algebras from the point of view of finite norm shells and root systems. Building on the icosian framework of Moody--Patera and on the integral root-system…

Rings and Algebras · Mathematics 2026-05-15 Daniele Corradetti

We evaluate the hedging performance of a high-order compact finite difference scheme from [4] for option pricing in Bates model. We compare the scheme's hedging performance to standard finite difference methods in different examples. We…

Computational Finance · Quantitative Finance 2017-10-17 Bertram Düring , Alexander Pitkin

A detection system, modeled in a graph, is composed of "detectors" positioned at a subset of vertices in order to uniquely locate an ``intruder" at any vertex. \emph{Identifying codes} use detectors that can sense the presence or absence of…

Combinatorics · Mathematics 2021-12-06 Devin C. Jean , Suk J. Seo

A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over an infinite time horizon. We present a…

Logic in Computer Science · Computer Science 2022-09-21 Qiuye Wang , Mingshuai Chen , Bai Xue , Naijun Zhan , Joost-Pieter Katoen
‹ Prev 1 3 4 5 6 7 10 Next ›