This paper introduces a new paradigm for the construction of reversible transforms that map integers to integers. Transform matrices with integer entries are first considered, and the modulo ...

Abstract: Satisfiability Modulo Theory (SMT) generalizes the propositional satisfiability problem (SAT) by extending support for various first-order background theories. In this paper, we focus on the ...

Abstract: This paper proposes a watermarking method that hides an integer in an image by modifying the sum of the quantized discrete cosine transformed coefficients. Because modulo arithmetic-based ...