Papers Cryptanalysis
“Cryptanalysis” 태그가 달린 논문 37편 · 필터 해제
Recovering AES Keys with a Deep Cold Boot Attack
Cold boot attacks inspect the corrupted random access memory soon after the power has been shut down. While most of the bits have been corrupted, many bits, at random locations, have not. Since the keys in many encryptio…
CryptanalysisSchedulingA Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
Boolean Skolem function synthesis concerns synthesizing outputs as Boolean functions of inputs such that a relational specification between inputs and outputs is satisfied. This problem, also known as Boolean functional …
CryptanalysisFormVariational Quantum Cloning: Improving Practicality for Quantum Cryptanalysis
Cryptanalysis on standard quantum cryptographic systems generally involves finding optimal adversarial attack strategies on the underlying protocols. The core principle of modelling quantum attacks in many cases reduces …
Adversarial AttackCryptanalysisQuantum Machine LearningShallow Encoder Deep Decoder (SEDD) Networks for Image Encryption and Decryption
This paper explores a new framework for lossy image encryption and decryption using a simple shallow encoder neural network E for encryption, and a complex deep decoder neural network D for decryption. E is kept simple s…
CryptanalysisDecoderRand-OFDM: A Secured Wireless Signal
Wireless communication has been a broadcast system since its inception, which violates security and privacy issues at the physical layer between the intended transmit and receive pairs. As we move towards advanced spectr…
CryptanalysisA Cryptanalysis of Two Cancelable Biometric Schemes based on Index-of-Max Hashing
Cancelable biometric schemes generate secure biometric templates by combining user specific tokens and biometric data. The main objective is to create irreversible, unlinkable, and revocable templates, with high accuracy…
CryptanalysisImproving Attacks on Round-Reduced Speck32/64 Using Deep Learning
This paper has four main contributions.1 First, we calculate the predicted difference distribution of Speck32/64 with one specific input difference under the Markov assumption completely for up to eight rounds and verify…
Bayesian OptimizationCryptanalysisDeep LearningKnown-plaintext attack and ciphertext-only attack for encrypted single-pixel imaging
In many previous works, a single-pixel imaging (SPI) system is constructed as an optical image encryption system. Unauthorized users are not able to reconstruct the plaintext image from the ciphertext intensity sequence …
CryptanalysisMachine Learning Cryptanalysis of a Quantum Random Number Generator
Random number generators (RNGs) that are crucial for cryptographic applications have been the subject of adversarial attacks. These attacks exploit environmental information to predict generated random numbers that are s…
BenchmarkingBIG-bench Machine LearningCryptanalysisTranslation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
In the present paper, we propose a technology for translating algorithmic descriptions of discrete functions to SAT. The proposed technology is aimed at applications in algebraic cryptanalysis. We describe how cryptanaly…
CryptanalysisTranslationOn Cryptographic Attacks Using Backdoors for SAT
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number of practical applications of SAT can on…
CryptanalysisLearning the Enigma with Recurrent Neural Networks
Recurrent neural networks (RNNs) represent the state of the art in translation, image captioning, and speech recognition. They are also capable of learning algorithmic tasks such as long addition, copying, and sorting fr…
Cryptanalysisspeech-recognitionTranslationEncoding Cryptographic Functions to SAT Using Transalg System
In this paper we propose the technology for constructing propositional encodings of discrete functions. It is aimed at solving inversion problems of considered functions using state-of-the-art SAT solvers. We implemented…
CryptanalysisDistributed ComputingContravening Esotery: Cryptanalysis of Knapsack Cipher using Genetic Algorithms
Cryptanalysis of knapsack cipher is a fascinating problem which has eluded the computing fraternity for decades. However, in most of the cases either the time complexity of the proposed algorithm is colossal or an insuff…
CryptanalysisA Critical Reassessment of Evolutionary Algorithms on the cryptanalysis of the simplified data encryption standard algorithm
In this paper we analyze the cryptanalysis of the simplified data encryption standard algorithm using meta-heuristics and in particular genetic algorithms. The classic fitness function when using such an algorithm is to …
CryptanalysisEvolutionary AlgorithmsIntelligent Systems for Information Security
This thesis aims to use intelligent systems to extend and improve performance and security of cryptographic techniques. Genetic algorithms framework for cryptanalysis problem is addressed. A novel extension to the differ…
CryptanalysisSchedulingOn estimating total time to solve SAT in distributed computing environments: Application to the SAT@home project
This paper proposes a method to estimate the total time required to solve SAT in distributed environments via partitioning approach. It is based on the observation that for some simple forms of problem partitioning one c…
CryptanalysisDistributed Computing