Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ILC-TR-738.pdf | 2024-03-20 03:17 | 307K | ||
TR-724-05.pdf | 2024-03-20 03:17 | 315K | ||
android-esorics12.pdf | 2024-03-20 03:17 | 458K | ||
android-esorics2013.pdf | 2024-03-20 03:17 | 552K | ||
android-perm-tr.pdf | 2024-03-20 03:17 | 665K | ||
android-pi-calculus-..> | 2024-03-20 03:17 | 665K | ||
audit-ccs11.pdf | 2024-03-20 03:17 | 377K | ||
audit-cylab-tr.pdf | 2024-03-20 03:17 | 679K | ||
aura-audit-tr.pdf | 2024-03-20 03:17 | 569K | ||
aura-csf08.pdf | 2024-03-20 03:17 | 496K | ||
aura-flow-plas.pdf | 2024-03-20 03:17 | 231K | ||
aura-flow-tr.pdf | 2024-03-20 03:17 | 302K | ||
aura-icfp-submission..> | 2024-03-20 03:17 | 184K | ||
aura-icfp.pdf | 2024-03-20 03:17 | 266K | ||
aura-tr.pdf | 2024-03-20 03:17 | 220K | ||
bibtex_js.js | 2024-03-20 03:17 | 119K | ||
chromium-taint-ndss2..> | 2024-03-20 03:17 | 724K | ||
codaspy-2014.pdf | 2024-03-20 03:17 | 375K | ||
compifc-eurosp22.pdf | 2024-03-20 03:17 | 708K | ||
compositional-ifc-tr..> | 2024-03-20 03:17 | 1.1M | ||
contract-esop18.pdf | 2024-03-20 03:17 | 412K | ||
contract_gpce.pdf | 2024-03-20 03:17 | 181K | ||
counterfactual-plas1..> | 2024-03-20 03:17 | 930K | ||
counterfactual-tr.pdf | 2024-03-20 03:17 | 809K | ||
crash-type-esop23.pdf | 2024-03-20 03:17 | 924K | ||
crash-type-tr.pdf | 2024-03-20 03:17 | 1.9M | ||
crypt-equiv-ccs2015.pdf | 2024-03-20 03:17 | 361K | ||
csf2010-constraints.pdf | 2024-03-20 03:17 | 236K | ||
curricle-pldi23.pdf | 2024-03-20 03:17 | 673K | ||
curricle-tr.pdf | 2024-03-20 03:17 | 2.8M | ||
esop04.pdf | 2024-03-20 03:17 | 210K | ||
flownotation-esorics..> | 2024-03-20 03:17 | 801K | ||
flownotation-tr.pdf | 2024-03-20 03:17 | 1.1M | ||
fsr_jrnl.pdf | 2024-03-20 03:17 | 676K | ||
fvn-hotnets.pdf | 2024-03-20 03:17 | 617K | ||
fvn_hotnets.pdf | 2024-03-20 03:17 | 617K | ||
glio-lics20.pdf | 2024-03-20 03:17 | 607K | ||
gradual-typing-csf21..> | 2024-03-20 03:17 | 531K | ||
gradual-typing-csf21..> | 2024-03-20 03:17 | 431K | ||
ground-truth-feast20..> | 2024-03-20 03:17 | 1.0M | ||
hierarchical-storage..> | 2024-03-20 03:17 | 190K | ||
hippa-sacmat13.pdf | 2024-03-20 03:17 | 540K | ||
ibis-oopsla19.pdf | 2024-03-20 03:17 | 1.1M | ||
ifc-android-soap14.pdf | 2024-03-20 03:17 | 410K | ||
ifc-ccs23.pdf | 2024-03-20 03:17 | 778K | ||
ifttt-info-flows-www..> | 2024-03-20 03:17 | 525K | ||
ifttt-soups20.pdf | 2024-03-20 03:17 | 568K | ||
ilc.pdf | 2024-03-20 03:17 | 231K | ||
ilc_esop.pdf | 2024-03-20 03:17 | 196K | ||
incremental-ppdp.pdf | 2024-03-20 03:17 | 173K | ||
intermittent-formal-..> | 2024-03-20 03:17 | 1.1M | ||
iosk-sp21.pdf | 2024-03-20 03:17 | 705K | ||
knowledge-csf18.pdf | 2024-03-20 03:17 | 265K | ||
lambda-eek.pdf | 2024-03-20 03:17 | 411K | ||
lambdaEq.pdf | 2024-03-20 03:17 | 414K | ||
lics-short.pdf | 2024-03-20 03:17 | 74K | ||
maude-bgp-tr.pdf | 2024-03-20 03:17 | 262K | ||
maude-bgp.pdf | 2024-03-20 03:17 | 229K | ||
modal-proofs-as-prog..> | 2024-03-20 03:17 | 355K | ||
ndlog-semantics-jrnl..> | 2024-03-20 03:17 | 257K | ||
ndlog-ver-ppdp2015.pdf | 2024-03-20 03:17 | 966K | ||
ndlogsemans-tr.pdf | 2024-03-20 03:17 | 196K | ||
ndss2018-taint-track..> | 2024-03-20 03:17 | 247K | ||
netter-vmcai21.pdf | 2024-03-20 03:17 | 344K | ||
nodemedic-eurosp23.pdf | 2024-03-20 03:17 | 2.5M | ||
npm-permissions-icse..> | 2024-03-20 03:17 | 227K | ||
nsdi20spring_yuan_pr..> | 2024-03-20 03:17 | 850K | ||
ocelot-pldi21.pdf | 2024-03-20 03:17 | 811K | ||
omnicrawl-pets2022.pdf | 2024-03-20 03:17 | 2.3M | ||
opt-ccs2014.pdf | 2024-03-20 03:17 | 333K | ||
opt-sigcomm2014.pdf | 2024-03-20 03:17 | 256K | ||
pads-padl.pdf | 2024-03-20 03:17 | 180K | ||
pads-ppdp.pdf | 2024-03-20 03:17 | 186K | ||
pads-tr.pdf | 2024-03-20 03:17 | 180K | ||
papers.bib | 2024-03-20 03:17 | 38K | ||
popl10-lambda-eek.pdf | 2024-03-20 03:17 | 315K | ||
precis-cav2014.pdf | 2024-03-20 03:17 | 1.0M | ||
precis-tr2014.pdf | 2024-03-20 03:17 | 2.2M | ||
privacy-iciss11.pdf | 2024-03-20 03:17 | 419K | ||
privacy-wpes.pdf | 2024-03-20 03:17 | 380K | ||
provenance-18.pdf | 2024-03-20 03:17 | 471K | ||
provenance-sigmod-tr..> | 2024-03-20 03:17 | 1.8M | ||
provenance-sigmod17.pdf | 2024-03-20 03:17 | 1.5M | ||
psn-submission.pdf | 2024-03-20 03:17 | 269K | ||
psnCor-lam.pdf | 2024-03-20 03:17 | 107K | ||
reduction-wripe12.pdf | 2024-03-20 03:17 | 385K | ||
sandlog-forte2014.pdf | 2024-03-20 03:17 | 411K | ||
sandlog-tr2014.pdf | 2024-03-20 03:17 | 515K | ||
scheduling-nsdi18.pdf | 2024-03-20 03:17 | 1.1M | ||
securelogging-tr2014..> | 2024-03-20 03:17 | 529K | ||
securelogging-trust2..> | 2024-03-20 03:17 | 349K | ||
sendlog-fcs13.pdf | 2024-03-20 03:17 | 64K | ||
session-blame-popl16..> | 2024-03-20 03:17 | 545K | ||
session-blame-tr2015..> | 2024-03-20 03:17 | 657K | ||
session-ifc-lics21.pdf | 2024-03-20 03:17 | 960K | ||
session-journal22.pdf | 2024-03-20 03:17 | 595K | ||
sessiontype-monitori..> | 2024-03-20 03:17 | 658K | ||
shapes-TR.pdf | 2024-03-20 03:17 | 255K | ||
shapes.pdf | 2024-03-20 03:17 | 227K | ||
smc-nsdi20.pdf | 2024-03-20 03:17 | 850K | ||
sme-declassify-tr201..> | 2024-03-20 03:17 | 482K | ||
sp2010-preprint.pdf | 2024-03-20 03:17 | 280K | ||
space06.pdf | 2024-03-20 03:17 | 229K | ||
stack-lics05.pdf | 2024-03-20 03:17 | 191K | ||
syrust-pldi21.pdf | 2024-03-20 03:17 | 628K | ||
systemM-csf2015.pdf | 2024-03-20 03:17 | 428K | ||
systemM-tr2015.pdf | 2024-03-20 03:17 | 535K | ||
taglierino-short-fmc..> | 2024-03-20 03:17 | 196K | ||
tee-csf23-tr.pdf | 2024-03-20 03:17 | 1.5M | ||
tee-csf23.pdf | 2024-03-20 03:17 | 1.3M | ||
thesis-jia.pdf | 2024-03-20 03:17 | 1.5M | ||
time-ni-post17.pdf | 2024-03-20 03:17 | 9.5M | ||
tracking-domains-www..> | 2024-03-20 03:17 | 2.7M | ||
uberspark-sec16.pdf | 2024-03-20 03:17 | 466K | ||
wpes10-hipaa-glba.pdf | 2024-03-20 03:17 | 450K | ||
www2021-dom-xss-dnn.pdf | 2024-03-20 03:17 | 2.0M | ||
xdomain-sacmat.pdf | 2024-03-20 03:17 | 223K | ||
xdomain-tr.pdf | 2024-03-20 03:17 | 522K | ||
xmhf-oakland13.pdf | 2024-03-20 03:17 | 336K | ||