Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-24 Thread Vsevolod Stakhov
On 24/11/2016 13:05, Hans Petter Selasky wrote: > On 11/24/16 13:13, Vsevolod Stakhov wrote: >> On 23/11/2016 16:27, Ed Schouten wrote: >>> Hi Hans, >>> >>> 2016-11-23 15:27 GMT+01:00 Hans Petter Selasky <h...@selasky.org>: >>>> I've mad

Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-24 Thread Vsevolod Stakhov
Loveland algorithm: > https://en.wikipedia.org/wiki/DPLL_algorithm > -- Vsevolod Stakhov ___ freebsd-current@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"

Re: CFR: AES-GCM and OpenCrypto work review

2014-11-08 Thread Vsevolod Stakhov
], for further speed optimizations? [1] - https://eprint.iacr.org/2013/157.pdf -- Vsevolod Stakhov ___ freebsd-current@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to freebsd-current

Re: CFR: AES-GCM and OpenCrypto work review

2014-11-08 Thread Vsevolod Stakhov
On 08/11/14 20:45, John-Mark Gurney wrote: Vsevolod Stakhov wrote this message on Sat, Nov 08, 2014 at 18:55 +: On 08/11/14 04:23, John-Mark Gurney wrote: Hello, Over the last few months, I've been working on a project to add support for AES-GCM and AES-CTR modes to our OpenCrypto

Re: ssh None cipher

2014-11-03 Thread Vsevolod Stakhov
On 03/11/14 17:59, Freddie Cash wrote: On Sat, Oct 18, 2014 at 12:32 PM, Allan Jude allanj...@freebsd.org wrote: On 2014-10-18 13:21, Freddie Cash wrote: On Oct 18, 2014 3:54 AM, Mark Martinec mark.martinec+free...@ijs.si wrote: If the purpose of having a none cipher is to have a fast file