Index of /user/liminjia/research/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]xmhf-oakland13.pdf 2021-01-16 22:54 336K 
[   ]xdomain-tr.pdf 2021-01-16 22:54 522K 
[   ]xdomain-sacmat.pdf 2021-01-16 22:54 223K 
[   ]thesis-jia.pdf 2021-01-16 22:54 1.5M 
[   ]systemM-tr2015.pdf 2021-01-16 22:54 535K 
[   ]systemM-csf2015.pdf 2021-01-16 22:54 428K 
[   ]stack-lics05.pdf 2021-01-16 22:54 191K 
[   ]space06.pdf 2021-01-16 22:54 229K 
[   ]sp2010-preprint.pdf 2021-01-16 22:54 280K 
[   ]sme-declassify-tr201..>2021-01-16 22:54 482K 
[   ]shapes.pdf 2021-01-16 22:54 227K 
[   ]shapes-TR.pdf 2021-01-16 22:54 255K 
[   ]sessiontype-monitori..>2021-01-16 22:54 658K 
[   ]session-blame-tr2015..>2021-01-16 22:54 657K 
[   ]sendlog-fcs13.pdf 2021-01-16 22:54 64K 
[   ]securelogging-trust2..>2021-01-16 22:54 349K 
[   ]securelogging-tr2014..>2021-01-16 22:54 529K 
[   ]sandlog-tr2014.pdf 2021-01-16 22:54 515K 
[   ]sandlog-forte2014.pdf 2021-01-16 22:54 411K 
[   ]psnCor-lam.pdf 2021-01-16 22:54 107K 
[   ]psn-submission.pdf 2021-01-16 22:54 269K 
[   ]privacy-wpes.pdf 2021-01-16 22:54 380K 
[   ]precis-tr2014.pdf 2021-01-16 22:54 2.2M 
[   ]precis-cav2014.pdf 2021-01-16 22:54 1.0M 
[   ]popl10-lambda-eek.pdf 2021-01-16 22:54 315K 
[   ]pads-tr.pdf 2021-01-16 22:54 180K 
[   ]pads-ppdp.pdf 2021-01-16 22:54 186K 
[   ]pads-padl.pdf 2021-01-16 22:54 180K 
[   ]opt-sigcomm2014.pdf 2021-01-16 22:54 256K 
[   ]opt-ccs2014.pdf 2021-01-16 22:54 333K 
[   ]netter-vmcai21.pdf 2021-01-16 22:54 344K 
[   ]ndss2018-taint-track..>2021-01-16 22:54 247K 
[   ]ndlogsemans-tr.pdf 2021-01-16 22:54 196K 
[   ]ndlog-ver-ppdp2015.pdf 2021-01-16 22:54 966K 
[   ]ndlog-semantics-jrnl..>2021-01-16 22:54 257K 
[   ]modal-proofs-as-prog..>2021-01-16 22:54 355K 
[   ]maude-bgp.pdf 2021-01-16 22:54 229K 
[   ]maude-bgp-tr.pdf 2021-01-16 22:54 262K 
[   ]lics-short.pdf 2021-01-16 22:54 74K 
[   ]lambdaEq.pdf 2021-01-16 22:54 414K 
[   ]lambda-eek.pdf 2021-01-16 22:54 411K 
[   ]incremental-ppdp.pdf 2021-01-16 22:54 173K 
[   ]ilc_esop.pdf 2021-01-16 22:54 196K 
[   ]ilc.pdf 2021-01-16 22:54 231K 
[   ]ifttt-soups20.pdf 2021-01-16 22:54 568K 
[   ]ifttt-info-flows-www..>2021-01-16 22:54 525K 
[   ]hierarchical-storage..>2021-01-16 22:54 190K 
[   ]glio-lics20.pdf 2021-01-16 22:54 607K 
[   ]fvn-hotnets.pdf 2021-01-16 22:54 617K 
[   ]fsr_jrnl.pdf 2021-01-16 22:54 676K 
[   ]esop04.pdf 2021-01-16 22:54 210K 
[   ]csf2010-constraints.pdf2021-01-16 22:54 236K 
[   ]crypt-equiv-ccs2015.pdf2021-01-16 22:54 361K 
[   ]contract_gpce.pdf 2021-01-16 22:54 181K 
[   ]contract-esop18.pdf 2021-01-16 22:54 412K 
[   ]codaspy-2014.pdf 2021-01-16 22:54 375K 
[   ]chromium-taint-ndss2..>2021-01-16 22:54 724K 
[   ]aura-tr.pdf 2021-01-16 22:54 220K 
[   ]aura-icfp.pdf 2021-01-16 22:54 187K 
[   ]aura-icfp-submission..>2021-01-16 22:54 184K 
[   ]aura-flow-tr.pdf 2021-01-16 22:54 302K 
[   ]aura-flow-plas.pdf 2021-01-16 22:54 231K 
[   ]aura-csf08.pdf 2021-01-16 22:54 496K 
[   ]aura-audit-tr.pdf 2021-01-16 22:54 569K 
[   ]audit-cylab-tr.pdf 2021-01-16 22:54 679K 
[   ]audit-ccs11.pdf 2021-01-16 22:54 377K 
[   ]android-pi-calculus-..>2021-01-16 22:54 665K 
[   ]android-perm-tr.pdf 2021-01-16 22:54 665K 
[   ]android-esorics2013.pdf2021-01-16 22:54 552K 
[   ]android-esorics12.pdf 2021-01-16 22:54 458K 
[   ]TR-724-05.pdf 2021-01-16 22:54 315K 
[   ]ILC-TR-738.pdf 2021-01-16 22:54 307K