Index of /people/jcm/papers

	Name	Last modified	Size	Description
	Parent Directory		-
	op-records-summary.dvi	11-Aug-2001 16:46	28K
	spyblock.pdf	16-Dec-2007 22:34	35K
	modules-subtypes-popl91.dvi.Z	11-Aug-2001 16:46	41K
	objects-lics93.dvi.Z	11-Aug-2001 16:46	48K
	fbound.dvi	11-Aug-2001 16:46	49K
	expressiveness.dvi.Z	11-Aug-2001 16:46	50K
	LMS-entcs-96.dvi	11-Aug-2001 16:46	52K
	per-models-popl92.dvi.Z	11-Aug-2001 16:46	56K
	objects-popl90.dvi.Z	11-Aug-2001 16:46	62K
	barth-mitchell-rosenstein-2004.pdf	16-Dec-2007 22:08	69K
	objects-njc.dvi.Z	11-Aug-2001 16:46	69K
	fct-95.dvi	11-Aug-2001 16:46	76K
	complexity-type-inf.dvi.Z	11-Aug-2001 16:46	81K
	LMS-ip.dvi	11-Aug-2001 16:46	81K
	LMS-bsl-96.dvi	11-Aug-2001 16:46	87K
	subtype-popl95.dvi	11-Aug-2001 16:46	88K
	subtype-inf-popl92.dvi.Z	11-Aug-2001 16:46	91K
	equiv-data-rep.dvi	11-Aug-2001 16:46	94K
	rapide-modules-94.dvi	11-Aug-2001 16:46	96K
	lie-oakland2003.pdf	09-Mar-2003 20:15	100K
	wits-2002.ps	14-Feb-2002 13:35	101K
	weak-poly.dvi	11-Aug-2001 16:46	104K
	sameorigin.pdf	16-Dec-2007 22:40	109K
	rt_discex03.pdf	04-Nov-2003 12:32	122K
	fair-ndss00.ps	11-Aug-2001 16:46	124K
	pwdhash.pdf	16-Dec-2007 22:47	125K
	xom-asplos.pdf	25-Jan-2001 14:37	143K
	c.dvi	11-Aug-2001 16:46	146K
	DC-003_chander.ps	12-Sep-2002 17:26	154K
	icalp-96.ps	11-Aug-2001 16:46	161K
	rddm-wits-486.pdf	17-Dec-2007 21:33	163K
	sepl-wren-09.pdf	09-Mar-2010 19:02	165K
	analysis_oakland03.pdf	09-Mar-2003 20:00	168K
	SecurityRisk_in_LI_Networks.pdf	09-Mar-2010 19:02	169K
	cardelli-mitch-op-91.pdf	23-Apr-2004 21:47	169K
	ddmrs-tcc06.pdf	17-Dec-2007 22:29	175K
	focs-98.ps	11-Aug-2001 16:46	183K
	afree-fc00.ps	11-Aug-2001 16:46	183K
	NDSS05.pdf	16-Jun-2005 22:35	186K
	cmss-concoptim.pdf	23-Apr-2004 17:00	188K
	barth-mitchell-lldrm-2006.pdf	16-Dec-2007 22:10	192K
	hipaa_formalization.pdf	09-Mar-2010 19:02	193K
	rddm-asian06.pdf	17-Dec-2007 21:22	197K
	ddmw-csfw06.pdf	17-Dec-2007 21:37	199K
	jateg-mitch.dvi	11-Aug-2001 16:46	201K
	hsddm-ccs05.pdf	17-Dec-2007 22:03	204K
	chander-dean-jcs-04.pdf	03-Feb-2003 21:01	205K
	barth-datta-mitchell-sundaram-2007.pdf	30-Apr-2007 16:47	207K
	classes-objects-adt.ps	11-Aug-2001 16:46	208K
	CCM-icalp2001.ps	12-Sep-2002 17:08	210K
	java-param-types.ps	11-Aug-2001 16:46	211K
	barth-datta-mitchell-nissenbaum-2006.pdf	16-Dec-2007 21:58	217K
	dkmr-tcc05.pdf	17-Dec-2007 22:20	217K
	li-mitch-padl-03.pdf	05-Nov-2002 16:04	218K
	weak-poly.ps	11-Aug-2001 16:46	219K
	fm-99.ps	11-Aug-2001 16:46	226K
	sem_spki_j.pdf	16-Dec-2007 22:13	227K
	barth-mitchell-2005.pdf	16-Dec-2007 22:07	229K
	ddmst-icalp05.pdf	17-Dec-2007 22:05	232K
	sem_spki.ps	08-Apr-2003 16:21	233K
	ssl-usenix.ps	11-Aug-2001 16:46	236K
	jvm-oopsla-98.ps	11-Aug-2001 16:46	239K
	secrecy-pcl-mbdf.pdf	29-Nov-2007 13:22	239K
	rt_ieeesp02.ps	02-Mar-2002 12:57	240K
	simple-sub.ps	11-Aug-2001 16:46	240K
	GPSK Analysis.pdf	09-Mar-2010 19:02	243K
	aplas08-camera-ready.pdf	09-Mar-2010 19:02	245K
	csfw01a.ps	06-Dec-2001 21:11	247K
	esorics09-camera-ready.pdf	03-Jul-2009 18:08	253K
	rddm-esorics07.pdf	17-Dec-2007 21:17	254K
	objects-njc.ps	11-Aug-2001 16:46	263K
	csfw01b.ps	06-Dec-2001 21:18	267K
	MulticastTrans.pdf	03-Feb-2003 11:21	269K
	bddmt-csfw05.pdf	17-Dec-2007 22:06	272K
	spoofguard-ndss.pdf	24-Nov-2003 11:01	281K
	dkmrs-wits04.ps	03-Mar-2004 18:47	288K
	03-jar.pdf	24-Nov-2003 20:26	293K
	bddmt-tcs06.pdf	17-Dec-2007 22:01	293K
	tapos.ps	11-Aug-2001 16:46	293K
	csfw00.ps	11-Aug-2001 16:46	294K
	rdm-tgc-07.pdf	06-Oct-2007 23:05	300K
	ddmp-entcs-83015.pdf	03-May-2004 16:17	307K
	fp09-he.pdf	05-Oct-2004 12:05	307K
	analysis_j.pdf	16-Dec-2007 22:15	310K
	stinson-mitchell-woot-08.pdf	09-Mar-2010 19:02	314K
	isss02.pdf	23-Apr-2004 17:26	318K
	ppc-fossacs.pdf	17-Oct-2003 13:57	319K
	mfps-99.ps	11-Aug-2001 16:46	324K
	ddmp-csfw03.ps	24-Apr-2004 14:18	325K
	sp10-camera-ready.pdf	09-Mar-2010 14:40	326K
	JCS205.pdf	15-Dec-2003 17:24	328K
	strat-full-version.pdf	09-Mar-2010 14:56	332K
	ddmp-csfw-03.ps	07-Apr-2003 13:50	333K
	isss02jcs.pdf	17-Dec-2007 23:19	335K
	w2sp09-online.pdf	18-Jun-2009 08:30	341K
	mfps-entcs-01.pdf	12-Sep-2002 17:15	355K
	mms-seccomp.pdf	23-Apr-2004 17:06	356K
	ddmp-fmse03.ps	23-Apr-2004 17:21	359K
	proceedings-fc2010.pdf	09-Mar-2010 14:35	367K
	sp10-techrep.pdf	09-Mar-2010 14:40	385K
	java-bytecode-mod.ps	11-Aug-2001 16:46	386K
	disc.pdf	12-Sep-2002 17:01	388K
	acm-security-98.ps	11-Aug-2001 16:46	390K
	ddmr-pcl06.pdf	17-Dec-2007 21:20	390K
	lms-opt-lin-tcs.ps	11-Aug-2001 16:46	393K
	msr-submitted-02-07.pdf	14-Jul-2002 21:33	394K
	dnssec_ndss10.pdf	04-Mar-2010 23:10	399K
	browsermodel-csf-2010.pdf	02-May-2010 14:49	413K
	CCS01_115.ps	06-Mar-2002 22:47	421K
	pci_oakland10.pdf	09-Mar-2010 14:31	427K
	ddmp-jcs03.ps	24-Apr-2004 14:19	471K
	csf09-techrep.pdf	09-Mar-2010 19:02	483K
	ecoop-99.ps	11-Aug-2001 16:46	548K
	ProbProcessCalc.pdf	13-Apr-2004 17:29	548K
	msr-submit-08-05.ps	12-Sep-2002 22:28	559K
	tcs-contract-sign.ps	09-Jun-2001 03:46	573K
	ddmp-csfw04.ps	24-Apr-2004 14:18	576K
	msr-jcs.ps	15-Dec-2003 17:34	579K
	fscc-extended.pdf	14-Feb-2012 17:06	583K
	jvm-type-oopsla99.ps	11-Aug-2001 16:46	596K
	kf-tapos-98.ps	11-Aug-2001 16:46	638K
	ppc-2004-long.pdf	17-Dec-2007 22:35	638K
	botswat.pdf	30-Apr-2007 16:47	713K
	objinit-toplas.ps	11-Aug-2001 16:46	749K
	hoots2.ps.gz	11-Aug-2001 16:46	965K
	ProbProcessCalc.ps	12-Sep-2002 17:55	965K
	hoang-mitch-popl-95.pdf	23-Apr-2004 16:26	1.0M
	bruce-mitch-popl-92.pdf	23-Apr-2004 16:22	1.2M
	harper-mm-90.pdf	23-Apr-2004 16:34	1.2M
	markt-98.ps	11-Aug-2001 16:46	1.2M
	lincoln-mitch-92.pdf	23-Apr-2004 16:30	1.2M
	blogspam_CCSW09.pdf	18-Dec-2009 15:12	1.3M
	csfw-99.ps	11-Aug-2001 16:46	1.4M
	raid_2008.pdf	09-Mar-2010 18:37	1.4M
	webseclab.pdf	26-Jun-2010 08:49	1.5M
	hoots.ps	11-Aug-2001 16:46	1.5M
	captcha-study-oakland10.pdf	09-Mar-2010 14:30	2.4M
	mitch-plotkin-88.pdf	23-Apr-2004 16:16	2.4M
	harper-mitch-TOPLAS-93.pdf	23-Apr-2004 16:13	2.6M
	murphi-protocols.ps	11-Aug-2001 16:46	2.7M
	frames-barth-jackson-mitchell-cacm.pdf	09-Mar-2010 14:34	2.8M
	ccs2008-barth.pdf	23-May-2009 23:19	3.0M
	frames-barth-jackson-mitchell.pdf	09-Mar-2010 14:36	3.5M