Distributed Crypto SAT Solving - Revision history

Msoos: Better wording

Msoos — Fri, 11 Sep 2009 14:13:51 GMT

Better wording

←Older revision		Revision as of 14:13, 11 September 2009
Line 14:		Line 14:

	== Slides & other material ==		== Slides & other material ==
-	[[Image:Distributed.pdf]]	+	The slides of the talk are available here: [[Image:Distributed.pdf]]

	== Workshop Organisers ==		== Workshop Organisers ==

Msoos — Fri, 11 Sep 2009 14:10:56 GMT

Added slides

←Older revision		Revision as of 14:10, 11 September 2009
Line 13:		Line 13:
	Difficult cryptographic routines such as those used in WPA (wireless internet access), SSL (bank transactions), etc. need much more computing power than older ciphers. This means SAT solvers must be designed to work in a distributed environment, and work similar to SETI@Home or Folding@Home.		Difficult cryptographic routines such as those used in WPA (wireless internet access), SSL (bank transactions), etc. need much more computing power than older ciphers. This means SAT solvers must be designed to work in a distributed environment, and work similar to SETI@Home or Folding@Home.

-	== ~~Date~~ ==	+	== Slides & other material ==
-	~~September 10~~	+	[[Image:Distributed.pdf]]

	== Workshop Organisers ==		== Workshop Organisers ==

Msoos — Wed, 09 Sep 2009 19:46:35 GMT

Added timing

←Older revision		Revision as of 19:46, 9 September 2009
Line 2:		Line 2:
	{{Workshop		{{Workshop
	\|title=Distributed Crypto SAT Solving		\|title=Distributed Crypto SAT Solving
-	\|when=Jeudi 10 Septembre 2009	+	\|when=Jeudi 10 Septembre 2009 - 20:00 - 22:00
	\|where=/tmp/lab		\|where=/tmp/lab
	\|intro=In this workshop we will take a distributed SAT solver design that works similar to SETI@Home[http://setiathome.berkeley.edu] and hack it until it works faster, gives better results. The results will be public and the solver downloadable, along with the server to enable anyone to crack much-hyped but useless crypto-systems using collaborative effort.		\|intro=In this workshop we will take a distributed SAT solver design that works similar to SETI@Home[http://setiathome.berkeley.edu] and hack it until it works faster, gives better results. The results will be public and the solver downloadable, along with the server to enable anyone to crack much-hyped but useless crypto-systems using collaborative effort.

Ptr here — Wed, 09 Sep 2009 09:50:26 GMT

Participants

Lekernel — Tue, 18 Aug 2009 10:17:08 GMT

Participants

←Older revision		Revision as of 10:17, 18 August 2009
Line 21:		Line 21:
	== Participants ==		== Participants ==
	* Phil (/tmp/lab)		* Phil (/tmp/lab)
-	* lekernel (/tmp/lab) (if I can be in Paris)	+	* <s>lekernel (/tmp/lab) (if I can be in Paris)</s> speaking at FPGAworld
	* Nico (/tmp/lab)		* Nico (/tmp/lab)
	* Jm (/tmp/lab)		* Jm (/tmp/lab)

Pieddemamouth — Tue, 11 Aug 2009 13:03:13 GMT

Participants

←Older revision		Revision as of 13:03, 11 August 2009
Line 23:		Line 23:
	* lekernel (/tmp/lab) (if I can be in Paris)		* lekernel (/tmp/lab) (if I can be in Paris)
	* Nico (/tmp/lab)		* Nico (/tmp/lab)
		+	* Jm (/tmp/lab)

Phil — Wed, 22 Jul 2009 14:02:41 GMT

Participants

←Older revision		Revision as of 14:02, 22 July 2009
Line 20:		Line 20:

	== Participants ==		== Participants ==
-	* Phil	+	* Phil (/tmp/lab)
-	* lekernel (if I can be in Paris)	+	* lekernel (/tmp/lab) (if I can be in Paris)
-	* Nico	+	* Nico (/tmp/lab)

Nico — Wed, 15 Jul 2009 10:28:45 GMT

Participants

Lekernel — Tue, 14 Jul 2009 14:09:23 GMT

Participants

Msoos — Tue, 14 Jul 2009 13:39:11 GMT

Added example picture

←Older revision		Revision as of 13:39, 14 July 2009
Line 1:		Line 1:
-	In this workshop we will take a distributed SAT solver design that works similar to SETI@Home[http://setiathome.berkeley.edu] and hack it until it works faster, gives better results. The results will be public and the solver downloadable, along with the server to enable anyone to crack much-hyped but useless crypto-systems using collaborative effort.	+	[[Image:Distributed sat solver.png\|300px\|right]]
		+	{{Workshop
		+	\|title=Distributed Crypto SAT Solving
		+	\|when=Jeudi 10 Septembre 2009
		+	\|where=/tmp/lab
		+	\|intro=In this workshop we will take a distributed SAT solver design that works similar to SETI@Home[http://setiathome.berkeley.edu] and hack it until it works faster, gives better results. The results will be public and the solver downloadable, along with the server to enable anyone to crack much-hyped but useless crypto-systems using collaborative effort.
		+	\|by=[[User:msoos\|Mate Soos]]
		+	}}

	== SAT solvers and cryptography ==		== SAT solvers and cryptography ==