![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 4pages.pdf | 1998-04-23 14:00 | 39K | |
| 4pages.ps | 1998-04-23 14:00 | 40K | |
| ApplicationsOfESC.ppt | 2001-07-22 14:00 | 1.3M | |
| Houdini.ppt | 2001-03-09 13:00 | 1.3M | |
| Leino-MBVI2001.ppt | 2001-04-01 14:00 | 472K | |
| LeinoDagstuhl2000.ppt | 2000-09-22 14:00 | 3.8M | |
| escjava-larch-ugm-fm99.ppt | 1999-10-11 14:00 | 4.0M | |
| krml63.ppt | 2001-04-05 14:00 | 695K | |
| krml65.pdf | 1997-04-13 14:00 | 245K | |
| krml65.ps | 1997-04-13 14:00 | 286K | |
| krml70.pdf | 1998-04-23 14:00 | 84K | |
| krml70.ps | 1998-04-23 14:00 | 166K | |
| krml83-oopsla98.pdf | 1999-01-05 13:00 | 127K | |
| krml83-oopsla98.ps | 1998-11-10 13:00 | 244K | |
| krml96.ps | 2001-01-25 13:00 | 261K | |
| krml97.ps | 2000-08-15 14:00 | 148K | |
| krml100.ps | 2001-01-25 13:00 | 640K | |
| krml102.ps | 2001-01-25 13:00 | 313K | |
| krml106.ps | 2001-08-21 14:00 | 208K | |
| mpc.pdf | 1998-07-20 14:00 | 136K | |
| mpc.ps | 1998-07-20 14:00 | 169K | |
| njc-final.ps | 1999-02-16 13:00 | 603K | |
| rustan2398.pdf | 1998-02-02 13:00 | 138K | |
| rustan2398.ps | 1998-02-02 13:00 | 127K | |
| scp-joshi-leino-security-article.pdf | 2000-08-24 14:00 | 132K | |
| tapsoft.pdf | 1997-04-22 14:00 | 187K | |
| tapsoft.ps | 1997-04-22 14:00 | 151K | |