Index of /~abadi/Papers

Icon  Name                    Last modified      Size  Description
[   ] 3273.ps 2005-04-19 22:43 3.7M [   ] AbadiBlanchetSCP.pdf 2005-04-19 22:54 213K [   ] AbadiBlanchetSCP04.pdf 2005-05-24 16:59 244K [   ] AbadiBlanchetSCP04.ps 2005-05-21 01:41 447K [   ] AbadiCortier-csfw.pdf 2005-04-19 23:30 193K [   ] AbadiCortier-icalp.pdf 2005-04-19 23:33 105K [   ] AbadiCortier.pdf 2006-07-03 11:29 304K [   ] AuthPaper-TOCS.ps 2001-09-14 15:11 491K [   ] BlanchetAbadiFournet..> 2007-07-16 10:41 467K [   ] Dyn.ps 2001-09-14 15:11 294K [   ] EuroSys-SingSec-Fina..> 2007-06-16 11:59 326K [   ] FPP.ps 2001-09-14 15:11 1.0M [   ] FTS-submitted.pdf 2014-06-20 16:14 405K [   ] MFPS_final.pdf 2013-08-18 19:07 304K [   ] R_lncs.ps 2001-09-14 15:11 198K [   ] TicketServer.pdf 2004-02-08 18:16 401K [   ] abadi-rmn.pdf 2003-09-06 22:04 70K [   ] abscomp.ps 2001-09-14 15:11 286K [   ] acasync.pdf 2011-11-08 10:08 432K [   ] acl_final_acm.ps 2001-09-14 15:11 466K [   ] acldcc-acm.pdf 2006-07-03 11:15 217K [   ] acldcc-entcs-with-ad..> 2007-06-16 11:45 260K [   ] acm-open.ps 2001-09-14 15:11 466K [   ] aisec10-leontjeva.pdf 2013-08-29 18:14 538K [   ] all.ps 2001-09-14 15:11 215K [   ] aplas.pdf 2012-09-17 13:49 174K [   ] at.ps 2001-09-14 15:11 261K [   ] atva.pdf 2008-01-13 09:34 162K [   ] auth-popl-preprint-c..> 2001-09-14 15:11 264K [   ] auth-popl-preprint.ps 2001-09-14 15:11 553K [   ] auth-v-web.pdf 2015-11-14 15:23 253K [   ] az1.pdf 2008-11-20 14:41 223K [   ] bcic.pdf 2005-04-19 23:31 182K [   ] bisim.ps 2001-09-14 15:11 355K [   ] bisimj.ps 2001-09-14 15:11 540K [IMG] brokerA.gif 2001-09-14 15:11 2.9K [IMG] brokerB.gif 2001-09-14 15:11 2.5K [IMG] brokerC.gif 2001-09-14 15:11 3.0K [IMG] brokerD.gif 2001-09-14 15:11 2.7K [IMG] brokerE.gif 2001-09-14 15:11 2.9K [IMG] brokerF.gif 2001-09-14 15:11 2.7K [   ] cav-security.pdf 2009-06-05 10:53 122K [   ] cfi-tissec-revised.pdf 2007-10-10 14:52 274K [   ] cfitheory_submit.pdf 2005-11-13 22:04 179K [   ] choice.pdf 2004-02-08 18:25 218K [   ] clock-verif2.pdf 2013-05-18 18:25 381K [   ] comm253-xie.pdf 2009-06-05 10:52 625K [   ] crypto2000.ps 2001-09-14 15:11 160K [   ] crypto88.ps 2001-09-14 15:11 175K [   ] csf2017.pdf 2017-08-24 20:13 121K [   ] csfw00.ps 2001-09-14 15:11 447K [   ] csfw04_whitehead_n.ps 2004-06-30 12:47 1.6M [   ] current.ps 2001-09-14 15:11 318K [IMG] custSecret.gif 2001-09-14 15:11 4.3K [   ] decsec.pdf 2008-11-20 13:01 844K [   ] decsec_icde09.pdf 2008-11-20 14:51 817K [   ] dedup.pdf 2013-06-20 10:56 195K [   ] denotational.pdf 2014-06-20 16:29 429K [   ] deseo.pdf 2011-11-08 10:05 1.0M [   ] differential.pdf 2014-10-18 01:36 570K [   ] differential_revisio..> 2015-03-10 18:18 564K [   ] ecoop.pdf 2003-08-27 14:19 45K [   ] equiv.ps 2001-09-14 15:11 494K [   ] errata.ps 2001-09-14 15:11 31K [   ] escape-too-JACM.pdf 2005-04-19 23:01 450K [   ] etaps-abadi.ps.gz.uu 2001-09-14 15:11 178K [   ] etaps-abadi.tex.gz.uu 2001-09-14 15:11 23K [   ] f18-abadi.pdf 2005-11-13 22:03 175K [   ] final_paper.pdf 2009-09-11 12:59 374K [   ] flowpopl.ps 2001-09-14 15:11 236K [   ] fmse13-chaudhuri.ps 2005-11-13 22:02 403K [   ] fosad-acllogic.pdf 2009-06-05 10:52 115K [   ] fosad-protocols.pdf 2007-06-16 11:50 133K [   ] fullabs-srcreport.ps 2001-08-10 11:05 790K [   ] fullpaper-revised.ps 2001-09-14 15:11 232K [   ] gep-ieee.ps 2001-09-14 15:11 356K [   ] history-ndss.pdf 2002-11-19 22:29 164K [   ] honeypot.pdf 2011-02-24 15:32 658K [   ] hotnets10.pdf 2010-09-30 13:51 236K [   ] ideal-main.ps 2001-09-14 15:11 253K [   ] ifip.ps 2001-09-14 15:11 169K [   ] isss02.pdf 2003-03-01 18:55 240K [   ] jc_revised.ps 2001-09-14 15:11 157K [   ] jcss_revised.ps 2001-09-14 15:11 302K [   ] jfk-tissec.pdf 2007-06-16 11:43 399K [   ] jfpformatted_mostjm.ps 2001-09-14 15:11 327K [   ] jmgrammar.ps 2001-09-14 15:11 327K [   ] jmmain.ps 2001-09-14 15:11 212K [   ] jvm-long-sr.ps 2001-08-10 11:04 1.4M [   ] jvm-short-preprint.ps 2001-09-14 15:11 167K [   ] krml60.ps 2001-08-10 11:04 1.0M [   ] lambda-sv.pdf 2002-04-17 12:51 193K [   ] lambda.ps 2002-04-18 10:30 209K [   ] lambdadp.pdf 2011-11-08 10:15 184K [   ] lamport.ps 2003-08-27 14:20 45K [   ] least-privilege-subm..> 2008-06-03 13:23 157K [   ] libraries-post.pdf 2013-05-18 17:59 300K [   ] lics2.ps 2001-09-14 15:11 205K [   ] lics2003.pdf 2003-08-27 14:08 28K [   ] lics2010-abstract-ab..> 2010-06-03 10:48 43K [   ] locks.ps 2001-09-14 15:11 377K [   ] lproofs.ps 2001-09-14 15:11 673K [   ] mailprot-short.pdf 2003-06-17 14:44 235K [   ] main-in-msg2.ps 2001-09-14 15:11 295K [   ] main.ps 2001-09-14 15:11 332K [   ] make-preprint.ps 2001-09-14 15:11 143K [   ] make.ps 2001-09-14 15:11 255K [   ] many-short-revised.pdf 2015-03-10 18:18 667K [   ] many-short.pdf 2014-10-31 13:28 447K [   ] markt.ps 2001-09-14 15:11 308K [   ] memory-final-ndss.ps 2002-11-19 22:29 195K [   ] memory-longer-acm.pdf 2005-06-28 11:14 536K [   ] memoryproceedings.ps 2001-09-14 15:11 408K [TXT] millicent.html 2001-09-14 15:11 50K [   ] modal-decons.pdf 2008-01-23 12:49 193K [   ] model.pdf 2015-05-20 08:15 324K [   ] naiad_final.pdf 2013-10-02 08:03 253K [   ] naming-csfw.ps 2001-09-14 15:11 168K [   ] naming-jcs.ps 2001-09-14 15:11 415K [   ] nasrev.pdf 2006-07-03 11:03 239K [   ] nato.ps 2001-09-14 15:11 366K [   ] ndss14.pdf 2013-12-08 13:43 1.4M [   ] ndss2012.pdf 2012-03-13 13:34 518K [   ] note.ps 2001-09-14 15:11 66K [   ] notes-fst.ps 2001-09-14 15:11 354K [   ] notes-lics.ps 2001-09-14 15:11 1.2M [   ] notes-sp.ps 2001-09-14 15:11 437K [   ] notes.ps 2001-09-14 15:11 890K [   ] notnot.ps 2001-09-14 15:11 234K [   ] oakland.ps 2001-09-14 15:11 368K [   ] obj.ps 2001-09-14 15:11 309K [   ] obsequi.pdf 2005-04-19 23:28 158K [   ] old-fashioned.ps 2001-09-14 15:11 478K [   ] p488-abadi.pdf 2002-04-17 13:09 142K [   ] paper-csf-long.pdf 2010-06-03 10:48 312K [   ] paper-fossacs.pdf 2006-07-03 11:12 237K [   ] paper-journal-append..> 2012-03-13 13:33 441K [   ] paper-long-ame-seman..> 2010-03-14 12:18 354K [   ] param.ps 2001-09-14 15:11 197K [   ] per.ps 2001-09-14 15:11 197K [   ] picomp-aplas.pdf 2007-06-16 11:59 237K [   ] pijfk.pdf 2004-02-08 18:21 166K [   ] plan-csj.ps 2002-11-19 22:57 472K [   ] planb.pdf 2012-10-29 08:55 155K [   ] podc.ps 2001-09-14 15:11 395K [   ] popl01-abadi-fournet.ps 2001-09-14 15:11 244K [   ] popl058-harris.pdf 2008-01-13 09:35 173K [   ] popl065-abadi.pdf 2008-11-20 14:40 235K [   ] popl2002.ps 2002-04-17 12:57 373K [   ] position.ps 2001-09-14 15:11 61K [   ] privauth.pdf 2002-09-18 11:53 153K [   ] privjif.pdf 2005-04-19 23:34 157K [   ] proofs.ps 2001-09-14 15:11 795K [   ] prophecy-of-undo-rev..> 2015-03-10 18:18 252K [   ] prophecy-of-undo.pdf 2014-10-18 01:36 245K [   ] pwd-revised.ps 2001-09-14 15:11 152K [DIR] pwd-revised/ 2001-09-14 15:11 - [   ] rec.ps 2001-09-14 15:11 213K [   ] red.ps 2001-09-14 15:11 101K [IMG] reqValid.gif 2001-09-14 15:11 2.7K [   ] scpsmartest.ps 2001-09-14 15:11 210K [IMG] scripCert.gif 2001-09-14 15:11 4.3K [IMG] scripValid.gif 2001-09-14 15:11 4.8K [TXT] sdsi11.html 2001-09-14 15:11 123K [   ] searchers.pdf 2010-06-04 14:37 695K [   ] secnetlogic.pdf 2007-06-16 11:58 129K [   ] secspec.ps 2001-09-14 15:11 272K [   ] sectypfs.pdf 2006-07-03 10:58 252K [   ] separation-cc.pdf 2009-03-16 10:55 156K [   ] separationtheory-con..> 2008-08-19 17:10 197K [   ] separationtheory-lon..> 2010-03-14 12:19 280K [   ] sno.ps 2001-09-14 15:11 394K [   ] socialwatch.pdf 2013-05-18 18:06 218K [   ] souche.pdf 2012-10-29 08:56 765K [   ] spi.ps 2001-09-14 15:11 1.6M [   ] src39-appendix.ps 2001-09-14 15:11 99K [   ] src39-revised.ps 2001-09-14 15:11 325K [   ] src66-acm.ps 2001-09-14 15:11 642K [   ] srcact_revised.ps 2001-09-14 15:11 165K [   ] srcmain.ps 2001-09-14 15:11 284K [   ] sshaka-ieee.ps 2001-09-14 15:11 260K [   ] strongatomicity.pdf 2009-03-16 10:56 463K [   ] sub-206-abadi.pdf 2005-04-19 23:30 148K [   ] tapsoft.ps 2001-09-14 15:11 151K [   ] tcs-private-authenti..> 2005-04-19 23:10 425K [   ] tcs.ps 2001-09-14 15:11 315K [   ] theory-tocs.ps 2001-09-14 15:11 432K [   ] theory.pdf 2001-09-14 15:11 301K [   ] thread.pdf 2010-09-03 20:32 377K [   ] timelyflow-revision.pdf 2015-03-10 18:18 401K [   ] timelyflow.pdf 2014-10-18 01:36 397K [DIR] tunnel/ 2001-09-14 15:11 - [   ] two-views2.pdf 2009-09-11 12:58 177K [   ] types-jacm.ps 2001-09-14 15:11 519K [   ] types-sv.ps 2001-09-14 15:11 437K [   ] typing-attacker2.ps 2002-11-19 22:52 305K [   ] typing-gen3.pdf 2002-11-19 22:47 291K [   ] typing-short.ps 2001-09-14 15:11 392K [   ] ugo.pdf 2008-06-03 13:23 203K [   ] verif.pdf 2005-04-19 23:38 75K [   ] view-main.ps 2001-09-14 15:11 175K [   ] wp.pdf 2005-04-29 11:41 163K [   ] xfi.pdf 2007-01-23 20:00 123K [   ] xml-long.pdf 2007-06-16 11:35 271K [   ] zm-verif.pdf 2003-09-06 22:02 245K
Apache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443