summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Christoph Fuerst [Fri, 2 Feb 2018 07:48:53 +0000 (08:48 +0100)]
Added intrdocution
Christoph Fuerst [Sun, 28 Jan 2018 15:39:23 +0000 (16:39 +0100)]
Added information about RISCAL
Christoph Fuerst [Sun, 14 Jan 2018 10:14:45 +0000 (11:14 +0100)]
Added section on RISCAL, formulated algorithms and Theorems
Christoph Fuerst [Sun, 14 Jan 2018 10:14:21 +0000 (11:14 +0100)]
Added section on RISCAL, formulated algorithms and Theorems
Christoph Fuerst [Thu, 26 Oct 2017 07:02:37 +0000 (09:02 +0200)]
Abstract reworked
Christoph Fuerst [Sun, 4 Jun 2017 08:17:13 +0000 (10:17 +0200)]
generated report
Christoph Fuerst [Sun, 4 Jun 2017 08:14:35 +0000 (10:14 +0200)]
corrected wrong statement about sets
Christoph Fuerst [Mon, 22 May 2017 19:32:24 +0000 (21:32 +0200)]
added details for diffie hellmann
Christoph Fuerst [Sun, 21 May 2017 18:45:01 +0000 (20:45 +0200)]
added invariants
Christoph Fuerst [Sun, 21 May 2017 18:44:27 +0000 (20:44 +0200)]
Edited report
Christoph Fuerst [Sun, 21 May 2017 16:05:10 +0000 (18:05 +0200)]
edited report
Christoph Fuerst [Sat, 20 May 2017 07:03:51 +0000 (09:03 +0200)]
Edited Report
Christoph Fuerst [Fri, 19 May 2017 20:08:54 +0000 (22:08 +0200)]
Edited report
Christoph Fuerst [Fri, 19 May 2017 16:28:36 +0000 (18:28 +0200)]
Incorporated last review of Wolfgang
Christoph Fuerst [Mon, 15 May 2017 18:47:37 +0000 (20:47 +0200)]
Added p>1
Christoph Fuerst [Mon, 15 May 2017 18:46:32 +0000 (20:46 +0200)]
Added assertions for discrete_log
Christoph Fuerst [Sun, 14 May 2017 08:14:43 +0000 (10:14 +0200)]
Added specifications of loop result
Christoph Fuerst [Sun, 14 May 2017 08:01:27 +0000 (10:01 +0200)]
Added PowerMod
Christoph Fuerst [Sun, 7 May 2017 08:27:55 +0000 (10:27 +0200)]
Assertion of result
Christoph Fuerst [Sun, 30 Apr 2017 16:25:24 +0000 (18:25 +0200)]
corrected invariant of sieve
Christoph Fuerst [Fri, 28 Apr 2017 12:49:00 +0000 (14:49 +0200)]
Added loop invariants
Christoph Fuerst [Fri, 28 Apr 2017 11:56:20 +0000 (13:56 +0200)]
formulated invariant for sieveOfErathostenes
Christoph Fuerst [Thu, 20 Apr 2017 15:34:44 +0000 (17:34 +0200)]
corrected wrong last invariant in sieveSet
Christoph Fuerst [Thu, 20 Apr 2017 15:31:05 +0000 (17:31 +0200)]
Update after second Review Wolfgang
Christoph Fuerst [Thu, 20 Apr 2017 14:39:39 +0000 (16:39 +0200)]
Update after second review Wolfgang
Christoph Fuerst [Wed, 19 Apr 2017 20:07:01 +0000 (22:07 +0200)]
Updates after Review Wolfgang
Christoph Fuerst [Wed, 19 Apr 2017 19:24:41 +0000 (21:24 +0200)]
Update after Review Wolfgang
Christoph Fuerst [Fri, 14 Apr 2017 17:23:50 +0000 (19:23 +0200)]
initial revision of Steins algorithm
Christoph Fuerst [Fri, 14 Apr 2017 17:03:54 +0000 (19:03 +0200)]
Readability, no functional changes
Christoph Fuerst [Fri, 14 Apr 2017 16:36:05 +0000 (18:36 +0200)]
optimized algorithm
Christoph Fuerst [Tue, 11 Apr 2017 19:59:06 +0000 (21:59 +0200)]
Added sieve of erathostenes
Christoph Fuerst [Tue, 11 Apr 2017 18:39:22 +0000 (20:39 +0200)]
Implemented Set-Based View on Sieve Of Erathostenes
Christoph Fuerst [Mon, 10 Apr 2017 17:34:06 +0000 (19:34 +0200)]
Finally corrected DiscreteLog-Algorithm
Christoph Fuerst [Sun, 9 Apr 2017 07:02:13 +0000 (09:02 +0200)]
Finalized formalization of discrete_log
Christoph Fuerst [Sat, 8 Apr 2017 17:39:03 +0000 (19:39 +0200)]
b is actually a prime
Christoph Fuerst [Sat, 8 Apr 2017 17:19:11 +0000 (19:19 +0200)]
Corrected and finalized verification of Baby-Step Giant Step
Christoph Fuerst [Thu, 6 Apr 2017 19:57:14 +0000 (21:57 +0200)]
Corrected datatype
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