summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Christoph Fuerst [Thu, 6 Apr 2017 19:46:06 +0000 (21:46 +0200)]
Added calculation for m
Christoph Fuerst [Thu, 6 Apr 2017 19:32:04 +0000 (21:32 +0200)]
Further Pre-Conditions for Discrete Logarithm
Christoph Fuerst [Thu, 6 Apr 2017 19:23:45 +0000 (21:23 +0200)]
Working version of Discrete Logarithm
Christoph Fuerst [Thu, 6 Apr 2017 16:22:22 +0000 (18:22 +0200)]
Formalization of DiscreteLog
Christoph Fuerst [Wed, 5 Apr 2017 19:50:44 +0000 (21:50 +0200)]
First revision of discrete-log, added Prime check
Christoph Fuerst [Mon, 3 Apr 2017 19:21:46 +0000 (21:21 +0200)]
Added source-listings, cleaned up discrete_log
Christoph Fuerst [Mon, 3 Apr 2017 19:01:40 +0000 (21:01 +0200)]
Divided sources into several files
Christoph Fuerst [Mon, 3 Apr 2017 18:46:28 +0000 (20:46 +0200)]
Corrected wrong invariant of LeftToRight, Updated Report, Implemented Algorithm for Discrete Log
Christoph Fuerst [Sun, 2 Apr 2017 18:56:39 +0000 (20:56 +0200)]
Added reasoning for z
Christoph Fuerst [Sun, 2 Apr 2017 18:37:32 +0000 (20:37 +0200)]
Divided into seperate files
Christoph Fuerst [Sun, 2 Apr 2017 10:13:36 +0000 (12:13 +0200)]
Described Integer Square Root
Christoph Fuerst [Fri, 31 Mar 2017 17:20:40 +0000 (19:20 +0200)]
Added cases
Christoph Fuerst [Fri, 31 Mar 2017 17:13:44 +0000 (19:13 +0200)]
Added contents on Left-To-Right Exponentation
Christoph Fuerst [Thu, 30 Mar 2017 15:15:59 +0000 (17:15 +0200)]
Described Left to Right Exponentation
Christoph Fuerst [Tue, 28 Mar 2017 19:23:01 +0000 (21:23 +0200)]
Diffie Hellmann Algorithm
Christoph Fuerst [Tue, 28 Mar 2017 19:13:22 +0000 (21:13 +0200)]
Content on RSA
Christoph Fuerst [Mon, 27 Mar 2017 17:50:56 +0000 (19:50 +0200)]
Implemented Tonellis Algorithm
Christoph Fuerst [Sun, 26 Mar 2017 19:13:27 +0000 (21:13 +0200)]
Contents on Report
Christoph Fuerst [Sun, 26 Mar 2017 18:22:33 +0000 (20:22 +0200)]
Added menu dialog
Christoph Fuerst [Sun, 26 Mar 2017 10:24:57 +0000 (12:24 +0200)]
Added contents on Jacobi/Legendre Symbol
Christoph Fuerst [Sun, 26 Mar 2017 10:02:01 +0000 (12:02 +0200)]
Initial version of Fermat factorization
Christoph Fuerst [Sun, 26 Mar 2017 09:18:08 +0000 (11:18 +0200)]
Added algorithm Fermat factorization
Christoph Fuerst [Sat, 25 Mar 2017 21:44:04 +0000 (22:44 +0100)]
Added chapter on elementary number theory
Christoph Fuerst [Sat, 25 Mar 2017 21:17:36 +0000 (22:17 +0100)]
finished mathematical introduction on finite fields
Christoph Fuerst [Sat, 25 Mar 2017 09:44:07 +0000 (10:44 +0100)]
Structure, first contents on mathematics
Christoph Fuerst [Sat, 25 Mar 2017 09:23:19 +0000 (10:23 +0100)]
Initial revision of report
Christoph Fuerst [Sat, 25 Mar 2017 08:58:48 +0000 (09:58 +0100)]
Algorithm for prime number factorization (according to Knuth)
Christoph Fuerst [Thu, 23 Mar 2017 20:06:33 +0000 (21:06 +0100)]
Validity of Lemma 11 in krypto1.pdf
Christoph Fuerst [Thu, 23 Mar 2017 19:28:58 +0000 (20:28 +0100)]
Initial introduction of Legendre Symbol
Christoph Fuerst [Thu, 23 Mar 2017 19:18:11 +0000 (20:18 +0100)]
Corrected Loop invariant of quadratic residue
Christoph Fuerst [Wed, 22 Mar 2017 17:26:21 +0000 (18:26 +0100)]
Tried to formulate loop invariant for quadraticresidue - NOT YET WORKING
Wolfgang Schreiner [Wed, 22 Mar 2017 15:15:28 +0000 (16:15 +0100)]
typo
Christoph Fuerst [Tue, 21 Mar 2017 19:17:38 +0000 (20:17 +0100)]
modified loop invariant for primes
Christoph Fuerst [Tue, 21 Mar 2017 19:14:58 +0000 (20:14 +0100)]
Added trial division algorithm for primes
Christoph Fuerst [Tue, 21 Mar 2017 18:49:11 +0000 (19:49 +0100)]
Removed main
Christoph Fuerst [Tue, 21 Mar 2017 18:46:09 +0000 (19:46 +0100)]
Added definition of quadratic residue. TODO: It is defined for primes only, consider in definition. Define Postcondition
Christoph Fuerst [Tue, 21 Mar 2017 18:14:01 +0000 (19:14 +0100)]
Initial revision
projects / cfuerst / formal-numbers.git / log