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