%PDF-1.5
%
1 0 obj
<<
/Metadata 2 0 R
/Outlines 3 0 R
/Pages 4 0 R
/Type /Catalog
>>
endobj
5 0 obj
<<
/Author <4976616E612056756B6F7469632C2056696E63656E74205261686C692C20616E64205061756C6F20457374657665732D566572ED7373696D6F>
/CreationDate (D:20190910141405+01'00')
/Creator (LaTeX with acmart 2019/08/05 v1.63a Typesetting articles for the Association for Computing Machinery and hyperref 2018/11/30 v6.88e Hypertext links for LaTeX)
/Keywords (Formal verification, Distributed systems, Fault-tolerance, Byzantine faults, Hybrid protocols, MinBFT, Compositional reasoning, Coq, Knowledge calculus, Monad, Step-indexing)
/ModDate (D:20190910141405+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.19 \(TeX Live 2019/dev/Debian\) kpathsea version 6.3.1/dev)
/Producer (pdfTeX-1.40.19)
/Subject (- Theory of computation -> Logic and verification.)
/Title (Asphalion: Trustworthy Shielding against Byzantine Faults)
>>
endobj
2 0 obj
<<
/Length 2032
/Subtype /XML
/Type /Metadata
>>
stream
GPL Ghostscript 9.21
Formal verification, Distributed systems, Fault-tolerance, Byzantine faults, Hybrid protocols, MinBFT, Compositional reasoning, Coq, Knowledge calculus, Monad, Step-indexing
2019-10-04T22:25:13+02:00
2019-10-04T22:25:13+02:00
LaTeX with acmart 2019/08/05 v1.63a Typesetting articles for the Association for Computing Machinery and hyperref 2018/11/30 v6.88e Hypertext links for LaTeX
Asphalion: Trustworthy Shielding against Byzantine FaultsIvana Vukotic, Vincent Rahli, and Paulo Esteves-Ver�ssimo- Theory of computation -> Logic and verification.
endstream
endobj
3 0 obj
<<
/Count 38
/First 6 0 R
/Last 7 0 R
/Type /Outlines
>>
endobj
4 0 obj
<<
/Count 33
/Kids [8 0 R 9 0 R 10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R
18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R
28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R
38 0 R 39 0 R 40 0 R]
/Type /Pages
>>
endobj
6 0 obj
<<
/Dest [9 0 R /Fit]
/Next 41 0 R
/Parent 3 0 R
/Title (Abstract)
>>
endobj
7 0 obj
<<
/Dest [36 0 R /Fit]
/Parent 3 0 R
/Prev 42 0 R
/Title (References)
>>
endobj
8 0 obj
<<
/Contents 43 0 R
/Type /Page
/Resources <<
/Font <<
/F1 44 0 R
/F2 45 0 R
/F3 46 0 R
/F4 47 0 R
>>
/XObject <<
/Xf1 48 0 R
>>
>>
/Annots [49 0 R 50 0 R 51 0 R]
/Parent 4 0 R
/MediaBox [0 0 595 842]
>>
endobj
9 0 obj
<<
/Annots [52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R]
/Contents [60 0 R 61 0 R 62 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 63 0 R
/Font 64 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi0 65 0 R
>>
>>
/Type /Page
>>
endobj
10 0 obj
<<
/Annots [66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R
76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R
86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R
96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R 102 0 R 103 0 R 104 0 R 105 0 R
106 0 R 107 0 R 108 0 R 109 0 R 110 0 R 111 0 R 112 0 R 113 0 R 114 0 R 115 0 R
116 0 R 117 0 R 118 0 R 119 0 R 120 0 R 121 0 R 122 0 R 123 0 R 124 0 R 125 0 R
126 0 R 127 0 R 128 0 R 129 0 R 130 0 R 131 0 R 132 0 R 133 0 R 134 0 R 135 0 R
136 0 R 137 0 R 138 0 R 139 0 R]
/Contents [140 0 R 141 0 R 142 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 143 0 R
/Font 144 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi1 145 0 R
>>
>>
/Type /Page
>>
endobj
11 0 obj
<<
/Annots [146 0 R 147 0 R 148 0 R 149 0 R 150 0 R 151 0 R 152 0 R 153 0 R 154 0 R 155 0 R
156 0 R 157 0 R 158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R 164 0 R 165 0 R
166 0 R 167 0 R 168 0 R 169 0 R 170 0 R 171 0 R 172 0 R 173 0 R 174 0 R 175 0 R
176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R 182 0 R 183 0 R 184 0 R 185 0 R]
/Contents [186 0 R 187 0 R 188 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 189 0 R
/ExtGState 190 0 R
/Font 191 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject 192 0 R
>>
/Type /Page
>>
endobj
12 0 obj
<<
/Annots [193 0 R 194 0 R 195 0 R 196 0 R 197 0 R 198 0 R 199 0 R 200 0 R 201 0 R 202 0 R
203 0 R 204 0 R 205 0 R 206 0 R 207 0 R 208 0 R 209 0 R 210 0 R 211 0 R 212 0 R
213 0 R 214 0 R 215 0 R 216 0 R 217 0 R 218 0 R 219 0 R 220 0 R 221 0 R 222 0 R
223 0 R 224 0 R 225 0 R 226 0 R 227 0 R 228 0 R 229 0 R 230 0 R 231 0 R 232 0 R
233 0 R 234 0 R 235 0 R 236 0 R 237 0 R 238 0 R 239 0 R 240 0 R 241 0 R]
/Contents [242 0 R 243 0 R 244 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 245 0 R
/Font 246 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi3 247 0 R
>>
>>
/Type /Page
>>
endobj
13 0 obj
<<
/Annots [248 0 R 249 0 R 250 0 R 251 0 R 252 0 R 253 0 R 254 0 R 255 0 R 256 0 R 257 0 R
258 0 R 259 0 R 260 0 R 261 0 R]
/Contents [262 0 R 263 0 R 264 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 265 0 R
/Font 266 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi4 267 0 R
>>
>>
/Type /Page
>>
endobj
14 0 obj
<<
/Annots [268 0 R 269 0 R 270 0 R]
/Contents [271 0 R 272 0 R 273 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 274 0 R
/ExtGState 275 0 R
/Font 276 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject 277 0 R
>>
/Type /Page
>>
endobj
15 0 obj
<<
/Annots [278 0 R 279 0 R 280 0 R 281 0 R 282 0 R]
/Contents [283 0 R 284 0 R 285 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 286 0 R
/ExtGState 287 0 R
/Font 288 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject 289 0 R
>>
/Type /Page
>>
endobj
16 0 obj
<<
/Annots [290 0 R 291 0 R 292 0 R 293 0 R 294 0 R 295 0 R 296 0 R 297 0 R 298 0 R 299 0 R
300 0 R 301 0 R]
/Contents [302 0 R 303 0 R 304 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 305 0 R
/Font 306 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi7 307 0 R
>>
>>
/Type /Page
>>
endobj
17 0 obj
<<
/Annots [308 0 R 309 0 R 310 0 R 311 0 R 312 0 R 313 0 R 314 0 R 315 0 R 316 0 R 317 0 R
318 0 R 319 0 R 320 0 R 321 0 R 322 0 R 323 0 R 324 0 R 325 0 R 326 0 R 327 0 R
328 0 R 329 0 R 330 0 R 331 0 R 332 0 R 333 0 R]
/Contents [334 0 R 335 0 R 336 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 337 0 R
/ExtGState 338 0 R
/Font 339 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject 340 0 R
>>
/Type /Page
>>
endobj
18 0 obj
<<
/Annots [341 0 R 342 0 R 343 0 R 344 0 R 345 0 R 346 0 R 347 0 R 348 0 R 349 0 R 350 0 R
351 0 R 352 0 R 353 0 R 354 0 R 355 0 R 356 0 R 357 0 R 358 0 R 359 0 R 360 0 R]
/Contents [361 0 R 362 0 R 363 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 364 0 R
/Font 365 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi9 366 0 R
>>
>>
/Type /Page
>>
endobj
19 0 obj
<<
/Annots [367 0 R 368 0 R 369 0 R 370 0 R 371 0 R 372 0 R 373 0 R 374 0 R]
/Contents [375 0 R 376 0 R 377 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 378 0 R
/Font 379 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi10 380 0 R
>>
>>
/Type /Page
>>
endobj
20 0 obj
<<
/Annots [381 0 R 382 0 R 383 0 R 384 0 R 385 0 R 386 0 R 387 0 R 388 0 R]
/Contents [389 0 R 390 0 R 391 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 392 0 R
/ExtGState 393 0 R
/Font 394 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject 395 0 R
>>
/Type /Page
>>
endobj
21 0 obj
<<
/Annots [396 0 R 397 0 R 398 0 R 399 0 R 400 0 R 401 0 R]
/Contents [402 0 R 403 0 R 404 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 405 0 R
/Font 406 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi12 407 0 R
>>
>>
/Type /Page
>>
endobj
22 0 obj
<<
/Annots [408 0 R 409 0 R 410 0 R 411 0 R 412 0 R 413 0 R 414 0 R 415 0 R 416 0 R 417 0 R
418 0 R 419 0 R 420 0 R 421 0 R 422 0 R 423 0 R 424 0 R 425 0 R]
/Contents [426 0 R 427 0 R 428 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 429 0 R
/Font 430 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi13 431 0 R
>>
>>
/Type /Page
>>
endobj
23 0 obj
<<
/Annots [432 0 R 433 0 R 434 0 R 435 0 R 436 0 R 437 0 R 438 0 R 439 0 R 440 0 R 441 0 R
442 0 R 443 0 R]
/Contents [444 0 R 445 0 R 446 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 447 0 R
/Font 448 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi14 449 0 R
>>
>>
/Type /Page
>>
endobj
24 0 obj
<<
/Annots [450 0 R 451 0 R 452 0 R 453 0 R]
/Contents [454 0 R 455 0 R 456 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 457 0 R
/Font 458 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi15 459 0 R
>>
>>
/Type /Page
>>
endobj
25 0 obj
<<
/Annots [460 0 R 461 0 R 462 0 R 463 0 R 464 0 R 465 0 R]
/Contents [466 0 R 467 0 R 468 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 469 0 R
/Font 470 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi16 471 0 R
>>
>>
/Type /Page
>>
endobj
26 0 obj
<<
/Annots [472 0 R 473 0 R 474 0 R 475 0 R 476 0 R 477 0 R 478 0 R]
/Contents [479 0 R 480 0 R 481 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 482 0 R
/Font 483 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi17 484 0 R
>>
>>
/Type /Page
>>
endobj
27 0 obj
<<
/Annots [485 0 R 486 0 R 487 0 R 488 0 R 489 0 R 490 0 R 491 0 R 492 0 R]
/Contents [493 0 R 494 0 R 495 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 496 0 R
/Font 497 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi18 498 0 R
>>
>>
/Type /Page
>>
endobj
28 0 obj
<<
/Annots [499 0 R 500 0 R 501 0 R 502 0 R 503 0 R 504 0 R 505 0 R 506 0 R 507 0 R 508 0 R
509 0 R 510 0 R 511 0 R 512 0 R 513 0 R 514 0 R]
/Contents [515 0 R 516 0 R 517 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 518 0 R
/Font 519 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi19 520 0 R
>>
>>
/Type /Page
>>
endobj
29 0 obj
<<
/Annots [521 0 R 522 0 R 523 0 R 524 0 R 525 0 R 526 0 R 527 0 R 528 0 R 529 0 R 530 0 R
531 0 R 532 0 R 533 0 R 534 0 R 535 0 R]
/Contents [536 0 R 537 0 R 538 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 539 0 R
/Font 540 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi20 541 0 R
>>
>>
/Type /Page
>>
endobj
30 0 obj
<<
/Annots [542 0 R 543 0 R 544 0 R 545 0 R 546 0 R 547 0 R 548 0 R 549 0 R 550 0 R 551 0 R
552 0 R 553 0 R 554 0 R 555 0 R 556 0 R 557 0 R 558 0 R 559 0 R 560 0 R 561 0 R
562 0 R 563 0 R 564 0 R 565 0 R 566 0 R 567 0 R 568 0 R 569 0 R]
/Contents [570 0 R 571 0 R 572 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 573 0 R
/Font 574 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi21 575 0 R
>>
>>
/Type /Page
>>
endobj
31 0 obj
<<
/Annots [576 0 R 577 0 R 578 0 R 579 0 R 580 0 R 581 0 R 582 0 R 583 0 R]
/Contents [584 0 R 585 0 R 586 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ColorSpace 587 0 R
/ExtGState 588 0 R
/Font 589 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject 590 0 R
>>
/Type /Page
>>
endobj
32 0 obj
<<
/Annots [591 0 R 592 0 R 593 0 R 594 0 R 595 0 R 596 0 R 597 0 R 598 0 R 599 0 R 600 0 R
601 0 R 602 0 R]
/Contents [603 0 R 604 0 R 605 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 606 0 R
/Font 607 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi23 608 0 R
>>
>>
/Type /Page
>>
endobj
33 0 obj
<<
/Annots [609 0 R 610 0 R 611 0 R 612 0 R 613 0 R 614 0 R 615 0 R 616 0 R 617 0 R 618 0 R
619 0 R 620 0 R 621 0 R 622 0 R 623 0 R 624 0 R 625 0 R 626 0 R 627 0 R 628 0 R
629 0 R 630 0 R]
/Contents [631 0 R 632 0 R 633 0 R]
/Group 634 0 R
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 635 0 R
/Font 636 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject 637 0 R
>>
/Type /Page
>>
endobj
34 0 obj
<<
/Annots [638 0 R 639 0 R 640 0 R 641 0 R 642 0 R 643 0 R 644 0 R 645 0 R 646 0 R 647 0 R
648 0 R 649 0 R 650 0 R 651 0 R 652 0 R 653 0 R 654 0 R 655 0 R 656 0 R 657 0 R
658 0 R 659 0 R 660 0 R 661 0 R 662 0 R 663 0 R 664 0 R 665 0 R 666 0 R 667 0 R
668 0 R 669 0 R 670 0 R 671 0 R 672 0 R 673 0 R 674 0 R 675 0 R 676 0 R 677 0 R
678 0 R 679 0 R 680 0 R 681 0 R 682 0 R 683 0 R 684 0 R 685 0 R 686 0 R 687 0 R
688 0 R 689 0 R 690 0 R 691 0 R 692 0 R 693 0 R 694 0 R 695 0 R 696 0 R 697 0 R
698 0 R 699 0 R 700 0 R 701 0 R 702 0 R 703 0 R 704 0 R 705 0 R 706 0 R 707 0 R
708 0 R 709 0 R 710 0 R 711 0 R 712 0 R 713 0 R 714 0 R]
/Contents [715 0 R 716 0 R 717 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 718 0 R
/Font 719 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi25 720 0 R
>>
>>
/Type /Page
>>
endobj
35 0 obj
<<
/Annots [721 0 R 722 0 R 723 0 R 724 0 R 725 0 R 726 0 R 727 0 R 728 0 R 729 0 R 730 0 R
731 0 R 732 0 R 733 0 R 734 0 R 735 0 R 736 0 R 737 0 R 738 0 R 739 0 R 740 0 R
741 0 R 742 0 R 743 0 R 744 0 R 745 0 R 746 0 R 747 0 R 748 0 R 749 0 R 750 0 R
751 0 R 752 0 R 753 0 R 754 0 R 755 0 R 756 0 R 757 0 R]
/Contents [758 0 R 759 0 R 760 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 761 0 R
/Font 762 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi26 763 0 R
>>
>>
/Type /Page
>>
endobj
36 0 obj
<<
/Annots [764 0 R 765 0 R 766 0 R 767 0 R 768 0 R 769 0 R 770 0 R 771 0 R 772 0 R 773 0 R
774 0 R 775 0 R 776 0 R 777 0 R 778 0 R 779 0 R 780 0 R 781 0 R 782 0 R 783 0 R
784 0 R 785 0 R 786 0 R 787 0 R 788 0 R 789 0 R 790 0 R 791 0 R 792 0 R 793 0 R
794 0 R 795 0 R 796 0 R 797 0 R]
/Contents [798 0 R 799 0 R 800 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 801 0 R
/Font 802 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi27 803 0 R
>>
>>
/Type /Page
>>
endobj
37 0 obj
<<
/Annots [804 0 R 805 0 R 806 0 R 807 0 R 808 0 R 809 0 R 810 0 R 811 0 R 812 0 R 813 0 R
814 0 R 815 0 R 816 0 R 817 0 R 818 0 R 819 0 R 820 0 R 821 0 R 822 0 R 823 0 R
824 0 R 825 0 R 826 0 R 827 0 R 828 0 R 829 0 R 830 0 R]
/Contents [831 0 R 832 0 R 833 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 834 0 R
/Font 835 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi28 836 0 R
>>
>>
/Type /Page
>>
endobj
38 0 obj
<<
/Annots [837 0 R 838 0 R 839 0 R 840 0 R 841 0 R 842 0 R 843 0 R 844 0 R 845 0 R 846 0 R
847 0 R 848 0 R 849 0 R 850 0 R 851 0 R 852 0 R 853 0 R 854 0 R 855 0 R 856 0 R
857 0 R 858 0 R 859 0 R 860 0 R 861 0 R 862 0 R 863 0 R 864 0 R]
/Contents [865 0 R 866 0 R 867 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 868 0 R
/Font 869 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi29 870 0 R
>>
>>
/Type /Page
>>
endobj
39 0 obj
<<
/Annots [871 0 R 872 0 R 873 0 R 874 0 R 875 0 R 876 0 R 877 0 R 878 0 R 879 0 R 880 0 R
881 0 R 882 0 R 883 0 R 884 0 R 885 0 R 886 0 R 887 0 R 888 0 R 889 0 R 890 0 R
891 0 R 892 0 R 893 0 R 894 0 R 895 0 R 896 0 R 897 0 R 898 0 R 899 0 R 900 0 R
901 0 R]
/Contents [902 0 R 903 0 R 904 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 905 0 R
/Font 906 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi30 907 0 R
>>
>>
/Type /Page
>>
endobj
40 0 obj
<<
/Annots [908 0 R 909 0 R 910 0 R 911 0 R 912 0 R 913 0 R 914 0 R 915 0 R 916 0 R 917 0 R
918 0 R 919 0 R 920 0 R 921 0 R 922 0 R 923 0 R 924 0 R 925 0 R 926 0 R 927 0 R
928 0 R 929 0 R 930 0 R]
/Contents [931 0 R 932 0 R 933 0 R]
/MediaBox [0 0 486 720]
/Parent 4 0 R
/Resources <<
/ExtGState 934 0 R
/Font 935 0 R
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Xi31 936 0 R
>>
>>
/Type /Page
>>
endobj
41 0 obj
<<
/Dest [9 0 R /Fit]
/Next 937 0 R
/Parent 3 0 R
/Prev 6 0 R
/Title (1 Introduction)
>>
endobj
42 0 obj
<<
/Dest [35 0 R /Fit]
/Next 7 0 R
/Parent 3 0 R
/Prev 938 0 R
/Title (Acknowledgments)
>>
endobj
43 0 obj
<<
/Length 1694
/Filter /FlateDecode
>>
stream
xX[sF;}kδMؘ<\MqyQ@ ْpczJ]t=|%GP@]rMUXlts@=yjx^ܵ%ǩ)2\o./rv*vl[OY38wpa[^?;~RMXWY
saml,6W.ss*(*wldw֢ Om|XX´01<:=]|=U|豩]3UϪa:)rQQ*RO*&jr뾅IyO{ᚆe:WswO;ltF.fwپ*q6n3
[-g;}Xt=406,3>q>8oqA8\=5']߽ B;xs@^H9+qrj;uݝv\27KlR0Ve{>\]+uhvKJ3|41IISZ
>1Ktk}G۸n$̀NfrL(Squprm(bnfLq
oy䋻4I{zRأ'=fVCs]2~#mWCG4g@L:>/`)%X"3't|qL8eJfCI LbC7IZzJ"tj&ֹis*W"'<9rsI5;zPSJEF
PR)L~Co4Ddҭ/*}y5i
uj%K-<ġN#ʇ7Ɛ!Seq3
og"VÈ8KWKfL"d'U`3MNw') sS^R1)[ 9Ge'RXOIB&K&:8uCY2=F^& Gll
WSLz7Iya~LH="9,AJiTgT#NÀ!r&K5JV_"$[:CzBVS!_(,R]}q湏H MxDyS$A4-'gQ- X'|̐SNN|N±)$KrFR&4`٫ہJ'W
?ή{ƃl|{L; A-oe
8x;<*LhX?W!XWOͨ4bb4vpT=n"6W!GL$~i
pGYƢ5f](fh[@+Sҭ9GW]T,CKڜ@*PE(5:*ʾ
uM6-_cHU~4oKf+3
G~t#vP[@(P4V,
Ĺ 2"l}a0ghJ"j-yXg{KXYyEhEyDm
&
endstream
endobj
44 0 obj
<<
/Subtype /Type1
/Type /Font
/BaseFont /Helvetica-Bold
/Encoding /WinAnsiEncoding
>>
endobj
45 0 obj
<<
/Subtype /Type1
/Type /Font
/BaseFont /Helvetica
/Encoding /WinAnsiEncoding
>>
endobj
46 0 obj
<<
/Subtype /Type1
/Type /Font
/BaseFont /Helvetica-Oblique
/Encoding /WinAnsiEncoding
>>
endobj
47 0 obj
<<
/Subtype /Type0
/Type /Font
/BaseFont /MQYRQE+LiberationSans
/Encoding /Identity-H
/DescendantFonts [939 0 R]
/ToUnicode 940 0 R
>>
endobj
48 0 obj
<<
/Length 178
/Subtype /Form
/Filter /FlateDecode
/Type /XObject
/Matrix [1 0 0 1 0 0]
/FormType 1
/Resources <<
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
/XObject <<
/Image5 941 0 R
>>
/Font <<
/F1 942 0 R
>>
>>
/BBox [0 0 595.32 841.92]
>>
stream
xm
0F@uIzFJA*lCmŷ7gp\?\!9[_3Ji96hf]?ܒ,ŝ3"+-ʙ,k4'6R0-g0 4;̞) S!-2ߒMHS4N
endstream
endobj
49 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1145/3360564)
>>
/Subtype /Link
/C [0 0 1]
/Border [0 0 0]
/Rect [57 595 134.84 605]
>>
endobj
50 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1145/3360564)
>>
/Subtype /Link
/C [0 0 1]
/Border [0 0 0]
/Rect [57 480 198.21 490]
>>
endobj
51 0 obj
<<
/A <<
/S /URI
/URI (https://birmingham.elsevierpure.com/en/publications/3231a983-19f1-4c87-8abd-88ca879a56ad)
>>
/Subtype /Link
/C [0 0 1]
/Border [0 0 0]
/Rect [57 410 291.54 420]
>>
endobj
52 0 obj
<<
/A <<
/S /URI
/URI (http://creativecommons.org/licenses/by-nc/4.0/)
>>
/Border [0 0 0]
/C [0 0 0]
/Rect [45 95 440 125]
/Subtype /Link
/Type /Annot
>>
endobj
53 0 obj
<<
/A <<
/S /URI
/URI (https://www.acm.org/publications/policies/artifact-review-badging)
>>
/Border [0 0 0]
/C [0 0 0]
/Rect [320 645 440 705]
/Subtype /Link
/Type /Annot
>>
endobj
54 0 obj
<<
/Border [0 0 0]
/C [1 0 0]
/Dest [40 0 R /XYZ 44.828 663.217 null]
/Rect [349.672 312.516 359.937 322.968]
/Subtype /Link
/Type /Annot
>>
endobj
55 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3360564)
>>
/Border [0 0 0]
/C [0 1 1]
/Rect [384.959 312.516 441.168 322.968]
/Subtype /Link
/Type /Annot
>>
endobj
56 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3360564)
>>
/Border [0 0 0]
/C [0 1 1]
/Rect [44.832 303.162 105.689 311.565]
/Subtype /Link
/Type /Annot
>>
endobj
57 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest [38 0 R /XYZ 21.42 595.467 null]
/Rect [320.687 180.006 377.115 191.378]
/Subtype /Link
/Type /Annot
>>
endobj
58 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest [38 0 R /XYZ 21.42 595.467 null]
/Rect [377.613 180.006 398.136 191.378]
/Subtype /Link
/Type /Annot
>>
endobj
59 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3360564)
>>
/Border [0 0 0]
/C [0 1 1]
/Rect [44.832 59.76 148.435 70.217]
/Subtype /Link
/Type /Annot
>>
endobj
60 0 obj
<<
/Length 10
/Filter /FlateDecode
>>
stream
x+ |
endstream
endobj
61 0 obj
<<
/Length 5659
/Filter /FlateDecode
>>
stream
x[˖FrJ^Ѧwβ@6C-lq`*U@?xXOx܈Hr&>03KjwP)MH|!@"O\γ"K<,t;3֗=:3xr?)l,KRko7նNjR|g6&1eQ$;[amznt5j1ϪvwdFIژ+h5p%͓WOt.`~qA?3,B4W//tp