Index of /people/jcm/papers

[ICO]NameLast modifiedSizeDescription

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