Distributed Crypto SAT Solving - Revision history

Msoos: Better wording

2009-09-11T14:13:51Z

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 ==

2009-09-11T14:10:56Z

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 ==

2009-09-09T19:46:35Z

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.

2009-09-09T09:50:26Z

Participants

2009-08-18T10:17:08Z

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)

2009-08-11T13:03:13Z

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)

2009-07-22T14:02:41Z

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)

2009-07-15T10:28:45Z

Participants

2009-07-14T14:09:23Z

Participants

2009-07-14T13:39:11Z

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 ==