Tautologies from Pseudo-Random Generators

2001 ◽  
Vol 7 (2) ◽  
pp. 197-212 ◽  
Author(s):  
Jan Krajíček
Keyword(s):  
Random Number ◽  
Random Number Generator ◽  
Bounded Arithmetic ◽  
Number Generator ◽  
Pseudo Random Number ◽  
Frege Systems ◽  
Random Generators ◽  
Pseudo Random Number Generator

AbstractWe consider tautologies formed from a pseudo-random number generator, defined in Krajíček [11] and in Alekhnovich et al. [2]. We explain a strategy of proving their hardness for Extended Frege systems via a conjecture about bounded arithmetic formulated in Krajíček [11]. Further we give a purely finitary statement, in the form of a hardness condition imposed on a function, equivalent to the conjecture.

Fuzzy Based Pseudo Random Number Generator used for Wireless Networks

2013 ◽  
Vol 16 (2) ◽  
pp. 210-216 ◽  
Author(s):  
Sattar B. Sadkhan ◽  
◽  
Sawsan K. Thamer ◽  
Najwan A. Hassan ◽  
◽  
...  
Keyword(s):  
Wireless Networks ◽  
Random Number ◽  
Random Number Generator ◽  
Number Generator ◽  
Pseudo Random Number ◽  
Pseudo Random Number Generator

scholarly journals A Hardware Pseudo-Random Number Generator Using Stochastic Computing and Logistic Map

Micromachines ◽  
2020 ◽  
Vol 12 (1) ◽  
pp. 31
Author(s):  
Junxiu Liu ◽  
Zhewei Liang ◽  
Yuling Luo ◽  
Lvchen Cao ◽  
Shunsheng Zhang ◽  
...  
Keyword(s):  
Random Number ◽  
Chaotic Map ◽  
Logistic Map ◽  
Random Number Generator ◽  
Alternative Methods ◽  
Random Numbers ◽  
Number Generator ◽  
Stochastic Computing ◽  
Pseudo Random Number ◽  
Pseudo Random Number Generator

Recent research showed that the chaotic maps are considered as alternative methods for generating pseudo-random numbers, and various approaches have been proposed for the corresponding hardware implementations. In this work, an efficient hardware pseudo-random number generator (PRNG) is proposed, where the one-dimensional logistic map is optimised by using the perturbation operation which effectively reduces the degradation of digital chaos. By employing stochastic computing, a hardware PRNG is designed with relatively low hardware utilisation. The proposed hardware PRNG is implemented by using a Field Programmable Gate Array device. Results show that the chaotic map achieves good security performance by using the perturbation operations and the generated pseudo-random numbers pass the TestU01 test and the NIST SP 800-22 test. Most importantly, it also saves 89% of hardware resources compared to conventional approaches.

scholarly journals Magniber v2 Ransomware Decryption: Exploiting the Vulnerability of a Self-Developed Pseudo Random Number Generator

Electronics ◽  
2020 ◽  
Vol 10 (1) ◽  
pp. 16
Author(s):  
Sehoon Lee ◽  
Myungseo Park ◽  
Jongsung Kim
Keyword(s):  
Random Number ◽  
Random Number Generator ◽  
Number Generator ◽  
Pseudo Random Number ◽  
Operation Process ◽  
User Data ◽  
Encryption Algorithms ◽  
Recovery Result ◽  
Pseudo Random Number Generator ◽  
Randomness Tests

With the rapid increase in computer storage capabilities, user data has become increasingly important. Although user data can be maintained by various protection techniques, its safety has been threatened by the advent of ransomware, defined as malware that encrypts user data, such as documents, photographs and videos, and demands money to victims in exchange for data recovery. Ransomware-infected files can be recovered only by obtaining the encryption key used to encrypt the files. However, the encryption key is derived using a Pseudo Random Number Generator (PRNG) and is recoverable only by the attacker. For this reason, the encryption keys of malware are known to be difficult to obtain. In this paper, we analyzed Magniber v2, which has exerted a large impact in the Asian region. We revealed the operation process of Magniber v2 including PRNG and file encryption algorithms. In our analysis, we found a vulnerability in the PRNG of Magniber v2 developed by the attacker. We exploited this vulnerability to successfully recover the encryption keys, which was by verified the result in padding verification and statistical randomness tests. To our knowledge, we report the first recovery result of Magniber v2-infected files.

scholarly journals Design of a Hybrid Programmable 2-D Cellular Automata Based Pseudo Random Number Generator

2020 ◽  
Vol 8 (6) ◽  
pp. 5741-5748
Keyword(s):  
Cellular Automata ◽  
Random Number ◽  
Hamming Distance ◽  
Random Number Generator ◽  
Number Generator ◽  
Two Dimensional ◽  
Pseudo Random Number ◽  
Rule Set ◽  
Initial Seed ◽  
Pseudo Random Number Generator

This paper proposes a hybrid programmable two-dimensional Cellular Automata (CA) based pseudo-random number generator which includes a newly designed rule set. The properties and evolution of one and two dimensional CA are revisited. The various metrics for evaluating CA as a Pseudo-Random Number Generator (PRNG) are discussed. It is proved that the randomness is high irrespective of the initial seed by applying this newly designed rule set. The PRNG is tested against a popular statistical test called Diehard test suite and the results show that the PRNG is highly random. The chaotic measures like entropy, hamming distance and cycle length have been measured

Pseudo-random number generation using a 3-state cellular automaton

2017 ◽  
Vol 28 (06) ◽  
pp. 1750078 ◽  
Author(s):  
Kamalika Bhattacharjee ◽  
Dipanjyoti Paul ◽  
Sukanta Das
Keyword(s):  
Cellular Automaton ◽  
Random Number ◽  
Random Number Generator ◽  
Random Number Generation ◽  
Number Generator ◽  
Number Generation ◽  
Pseudo Random Number ◽  
Empirical Tests ◽  
Pseudo Random Number Generator

This paper investigates the potentiality of pseudo-random number generation of a 3-neighborhood 3-state cellular automaton (CA) under periodic boundary condition. Theoretical and empirical tests are performed on the numbers, generated by the CA, to observe the quality of it as pseudo-random number generator (PRNG). We analyze the strength and weakness of the proposed PRNG and conclude that the selected CA is a good random number generator.

Sign in / Sign up

Export Citation Format

Share Document