Index of /home/malb

	Name	Last modified	Size	Description
	Parent Directory		-
	AES-2-4-4-4-IASC-0.15-coldboot.lp.gz	01-Feb-2010 18:03	13K
	AES-2-4-4-4-IASC-0.30-coldboot.lp.gz	01-Feb-2010 18:03	13K
	AES-2-4-4-8-IASC-0.15-coldboot.lp.gz	01-Feb-2010 18:03	154K
	AES-2-4-4-8-IASC-0.30-coldboot.lp.gz	01-Feb-2010 18:03	154K
	AES-3-4-4-4-IASC-0.45-coldboot.mps.gz	01-Feb-2010 15:31	21K
	GetMemUsage.sh	20-Nov-2006 06:37	1.0K
	cache	01-Nov-2009 06:18	12K
	cache.c	01-Nov-2009 06:17	2.7K
	cache_sizes	01-Nov-2009 06:19	15
	coldboot/	31-Jan-2010 12:19	-
	cryptominisat-2.3.0.tar.gz	08-Jan-2010 06:37	1.0M
	cryptominisat_ext.sh	17-Dec-2009 03:17	1.4K
	cs-10.1/	10-Oct-2008 13:11	-
	density-plot-10000-eno.png	02-Nov-2009 02:22	38K
	density-plot-16384-eno.png	03-Nov-2009 03:52	38K
	density-plot-32000.png	04-Nov-2009 14:22	38K
	find_pairs.tgz	28-Aug-2009 06:11	10K
	find_pairs/	02-Sep-2009 04:49	-
	foo-eno.png	30-Oct-2009 04:36	39K
	foo.png	31-Oct-2009 05:15	42K
	graphics/	12-Dec-2008 04:47	-
	gurobi.log	01-Feb-2010 18:09	200K
	heuristic-10.png	17-Jul-2009 08:44	16K
	heuristic.patch	17-Jul-2009 07:26	2.7K
	heuristic.png	17-Jul-2009 08:32	16K
	html.tar.gz	04-Nov-2009 03:49	99K
	ipa_smw.tar.gz	19-Jan-2007 06:49	135K
	m4ri-20091101.tar.gz	04-Nov-2009 03:42	1.1M
	m4ri-scripts/	01-Nov-2009 16:04	-
	m4ri-website/	09-Apr-2009 03:38	-
	m4ri_heuristic.patch	17-Jul-2009 06:08	2.2K
	minisat/	08-Dec-2006 11:41	-
	out.lp	01-Feb-2010 09:59	7.7K
	out.mps	01-Feb-2010 09:59	8.7K
	out2.mps	01-Feb-2010 10:20	9.2K
	present-sbox-universal-gb.txt	26-Feb-2009 14:31	1.6M
	present.lp	31-Jan-2010 13:52	472K
	present.mps	31-Jan-2010 13:50	527K
	sage-4.3.1.tar	20-Jan-2010 16:18	264M
	scratch_geom/	01-Feb-2010 15:59	-
	scratch_sage/	01-Feb-2010 15:59	-
	spkgs/	26-Jan-2010 07:07	-
	t2/	02-Nov-2009 06:28	-
	talks/	05-Jan-2010 07:35	-
	thesis-1.0.pdf	18-Dec-2006 06:32	2.1M
	thesis-code.tar.bz2	14-Feb-2007 11:06	38K
	thesis.pdf	18-Dec-2006 06:32	2.1M
	ziboptsuite-1.2.0.tgz	01-Feb-2010 15:56	3.2M