![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| 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 | |
| Bigman-Mitchell-LWMOOCS-2020.pdf | 29-Jul-2020 09:02 | 95K | |
| 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 | |
| EDULEARN24_1454.pdf | 12-Sep-2024 16:38 | 215K | |
| 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 | |
| Post-Pandemic CS Pedagogy (DRAFT Aug 2021).pdf | 30-Aug-2021 18:08 | 626K | |
| 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 | |
| Mitchell Global MOOC Conference 2020.mp4 | 02-Dec-2020 21:03 | 80M | |