isola on
play

Isola-on A Slice Abstrac-on for So4ware Defined Networks - PowerPoint PPT Presentation

Dec 10, 2022 •762 likes •1.81k views

Splendid Isola-on A Slice Abstrac-on for So4ware Defined Networks Cole Schlesinger HotSDN A u g . 2 0 1 2 Joint work with: Ste phe n G utz A l e c

  1. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ slices. ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ – Security ¡ – Modularity ¡ • A ¡ compiler ¡ that ¡ ≅ ¡ Slice ¡Compiler ¡ enforces ¡isola-on. ¡ • A ¡ verifier ¡ that ¡ guarantees: ¡ NetCore ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ – isola-on, ¡and ¡ – seman-c ¡ N O X , ¡ N e W l e , ¡ F l o o d l i g h t , ¡ e t c . ¡ equivalence. ¡ 38 ¡

  2. Thank ¡ you! ¡ Read ¡the ¡paper: ¡ frene-c-­‑lang.org/papers ¡ Get ¡ the ¡ code : ¡ github.com/frene-c-­‑lang/netcore ¡ See ¡the ¡ demo : ¡ Find ¡me ¡a4er ¡the ¡talk! ¡ We ¡wish ¡to ¡thank ¡Shrutarshi ¡Basu, ¡Arjun ¡Guha, ¡Josh ¡Reich, ¡Mark ¡ReitblaL, ¡Jennifer ¡Rexford, ¡and ¡David ¡ Walker ¡for ¡many ¡helpful ¡comments ¡and ¡sugges-ons. ¡ ¡ 3 9 ¡

  3. THE ¡ END ¡ 40 ¡

  4. Re-­‑imagining ¡the ¡fundamentals ¡of ¡network ¡ implementa-on ¡from ¡a ¡programming ¡languages ¡point ¡of ¡ view: ¡ ¡ • How ¡does ¡one ¡ read ¡the ¡state ¡of ¡the ¡network? ¡ • How ¡does ¡one ¡ write ¡the ¡state ¡of ¡the ¡network? ¡ • How ¡does ¡one ¡ define ¡a ¡new ¡(virtual) ¡network? ¡ • How ¡does ¡one ¡ compose ¡two ¡network ¡programs? ¡ Frene-c ¡is ¡a ¡new ¡programming ¡language ¡we ¡are ¡crea-ng ¡ to ¡explore ¡these ¡ques-ons ¡and ¡more ¡

  5. One ¡program ¡to ¡ rule ¡them ¡ ¡ all ¡… ¡ T h e ¡ S D N ¡ C o n t r o l l e r ¡ 42 ¡

  6. NetCore: ¡Program ¡Composi-on ¡ Repeater ¡ Monitor ¡ PaWern ¡ AcZon ¡ PaWern ¡ AcZon ¡ inPort ¡= ¡2 ¡ Forward ¡1 ¡ tpSrc ¡= ¡22 ¡ Drop ¡ inPort ¡= ¡1 ¡ Forward ¡2 ¡ tpSrc ¡= ¡80 ¡ Drop ¡ 43 ¡

  7. NetCore: ¡Program ¡Composi-on ¡ Repeater ¡ Monitor ¡ PaWern ¡ AcZon ¡ PaWern ¡ AcZon ¡ inPort ¡= ¡2 ¡ Forward ¡1 ¡ tpSrc ¡= ¡22 ¡ Drop ¡ inPort ¡= ¡1 ¡ Forward ¡2 ¡ tpSrc ¡= ¡80 ¡ Drop ¡ Net C o re ¡ Repeater ¡ Monitor ¡ 44 ¡

  8. VLAN-­‑based ¡Isola-on ¡ Slice ¡Compiler ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ 45 ¡

  9. VLAN-­‑based ¡Isola-on ¡ Slice ¡Compiler ¡ VLAN=2 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ VLAN=1 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ 46 ¡

  10. VLAN-­‑based ¡Isola-on ¡ Slice ¡Compiler ¡ VLAN=2 ¡ S 2 ¡ S 3 ¡ VLAN=1 ¡ S 2 ¡ S 3 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ 47 ¡

  11. Data ¡Center ¡Isola-on ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ Topology ¡ 48 ¡

  12. Controller ¡1 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ Client ¡1 ¡ 49 ¡

  13. Controller ¡2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ Client ¡2 ¡ 50 ¡

  14. + ¡ Controller ¡1 ¡ Controller ¡2 ¡ Client ¡1 ¡ A 1 ¡ A 2 ¡ Client ¡2 ¡ Overlap ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ Client ¡1 ¡+ ¡Client ¡2 ¡ 51 ¡

  15. + ¡ Controller ¡1 ¡ Controller ¡2 ¡ Client ¡1 ¡ A 1 ¡ A 2 ¡ Client ¡2 ¡ Overlap ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ Client ¡2 ¡ injects ¡packets ¡into ¡Client ¡1’s ¡sec-on ¡of ¡the ¡network! ¡ 52 ¡

  16. + ¡ Controller ¡1 ¡ Controller ¡2 ¡ Client ¡1 ¡ A 1 ¡ A 2 ¡ Client ¡2 ¡ Overlap ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ Client ¡2 ¡ intercepts ¡packets ¡from ¡Client ¡1’s ¡sec-on ¡of ¡the ¡network! ¡ 53 ¡

  17. | ¡ Controller ¡1 ¡ Controller ¡2 ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ Client ¡1 ¡ Client ¡2 ¡ 54 ¡

  18. Controller ¡1 ¡ Controller ¡2 ¡ Hypervisor ¡ PORT == 80 PORT == 80 A 1 ¡ A 1 ¡ A 2 ¡ A 2 ¡ PORT != 80 PORT != 80 R 1 ¡ R 2 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 55 ¡

  19. Isola-on ¡as ¡Modularity ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ Mul--­‑part ¡ Controller ¡Program ¡ 56 ¡

  20. Isola-on ¡as ¡Modularity ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ ARP ¡ 57 ¡

  21. Isola-on ¡as ¡Modularity ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ ARP ¡ LLDP ¡ 58 ¡

  22. Isola-on ¡as ¡Modularity ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ ARP ¡ LLDP ¡ NAT ¡ 59 ¡

  23. Isola-on ¡as ¡Modularity ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ ARP ¡ LLDP ¡ NAT ¡ IP ¡RouZng ¡ 60 ¡

  24. Read-­‑only ¡Slices ¡ A ¡ B ¡ • Network ¡monitoring ¡ • Usage-­‑based ¡billing ¡ 61 ¡

  25. Precise ¡Seman-cs ¡ 62 ¡

  26. Contribu-ons ¡ 63 ¡

  27. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ 64 ¡

  28. Slices ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ 65 ¡

  29. Slices ¡ A 1 ¡ A 1 ¡ A 2 ¡ A 2 ¡ R 1 ¡ R 1 ¡ R 2 ¡ R 2 ¡ R 3 ¡ 66 ¡

  30. Slices ¡ A 1 ¡ A 1 ¡ A 2 ¡ A 2 ¡ R 1 ¡ R 1 ¡ R 2 ¡ R 2 ¡ R 3 ¡ 67 ¡

  31. Slices ¡ A 1 ¡ A 1 ¡ A 2 ¡ A 2 ¡ R 1 ¡ R 1 ¡ R 2 ¡ R 2 ¡ R 3 ¡ 68 ¡

  32. Programming ¡with ¡Slices ¡ Ethernet ¡type: ¡ 0x0806 ¡ 69 ¡

  33. Programming ¡with ¡Slices ¡ Ethernet ¡type: ¡ 0x0806 ¡ Ethernet ¡type: ¡ 0x0800 ¡ 70 ¡

  34. Programming ¡with ¡Slices ¡ Ethernet ¡type: ¡ 0x0806 ¡ Ethernet ¡type: ¡ 0x0800 ¡ 71 ¡

  35. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ • A ¡ compiler ¡ that ¡ enforces ¡isola-on. ¡ Slice ¡Compiler ¡ 72 ¡

  36. VLAN-­‑based ¡Isola-on ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ 73 ¡

  37. VLAN-­‑based ¡Isola-on ¡ VLAN=2 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ VLAN=1 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ 74 ¡

  38. VLAN-­‑based ¡Isola-on ¡ VLAN=2 ¡ S 2 ¡ S 3 ¡ VLAN=1 ¡ S 2 ¡ S 3 ¡ S 1 ¡ S 2 ¡ S 3 ¡ S 4 ¡ 75 ¡

  39. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ • A ¡ compiler ¡ that ¡ enforces ¡isola-on. ¡ Slice ¡Compiler ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ 76 ¡

  40. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ • A ¡ compiler ¡ that ¡ enforces ¡isola-on. ¡ Slice ¡Compiler ¡ NetCore ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ 77 ¡

  41. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ • A ¡ compiler ¡ that ¡ enforces ¡isola-on. ¡ Slice ¡Compiler ¡ NetCore ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ N O X , ¡ N e W l e , ¡ F l o o d l i g h t , ¡ e t c . ¡ 78 ¡

  42. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ • A ¡ compiler ¡ that ¡ enforces ¡isola-on. ¡ Slice ¡Compiler ¡ • A ¡ verifier ¡ that ¡ guarantees: ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ 79 ¡

  43. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ • A ¡ compiler ¡ that ¡ enforces ¡isola-on. ¡ Slice ¡Compiler ¡ • A ¡ verifier ¡ that ¡ guarantees: ¡ – isola-on ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ 80 ¡

  44. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ • A ¡ compiler ¡ that ¡ enforces ¡isola-on. ¡ ≅ ¡ Slice ¡Compiler ¡ • A ¡ verifier ¡ that ¡ guarantees: ¡ – isola-on, ¡and ¡ B ¡ – seman-c ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ equivalence. ¡ 81 ¡

  45. Verifying ¡the ¡Results ¡ NetCore ¡ Encoded ¡using ¡ B ¡ SMT ¡(Z3) ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ Encoded ¡using ¡ model ¡checking ¡ (NuSMV) ¡ 82 ¡

  46. Contribu-ons ¡ • A ¡ new ¡language ¡ for ¡ B ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ slices. ¡ • A ¡ compiler ¡ that ¡ enforces ¡isola-on. ¡ ≅ ¡ Slice ¡Compiler ¡ • A ¡ verifier ¡ that ¡ guarantees: ¡ – isola-on, ¡and ¡ B ¡ – seman-c ¡ A 1 ¡ A 2 ¡ A 3 ¡ A 4 ¡ equivalence. ¡ 83 ¡

  47. Thank ¡ you! ¡ Read ¡the ¡paper: ¡ frene-c-­‑lang.org/papers ¡ Get ¡ the ¡ code : ¡ github.com/frene-c-­‑lang/netcore ¡ 8 4 ¡

  48. 85 ¡

  49. Integrity ¡ 1 Slice ¡2 ¡cannot ¡ inject ¡packets ¡into ¡Slice ¡1. ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 86 ¡

  50. Integrity ¡ 1 Slice ¡2 ¡cannot ¡ inject ¡packets ¡into ¡Slice ¡1. ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 87 ¡

  51. Integrity ¡ 1 Slice ¡2 ¡cannot ¡inject ¡packets ¡into ¡Slice ¡1. ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 88 ¡

  52. Integrity ¡ 1 Slice ¡2 ¡cannot ¡inject ¡packets ¡into ¡Slice ¡1. ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 89 ¡

  53. Confiden-ality ¡ Slice ¡2 ¡cannot ¡siphon ¡packets ¡from ¡Slice ¡1. ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 90 ¡

  54. Confiden-ality ¡ Slice ¡2 ¡cannot ¡siphon ¡packets ¡from ¡Slice ¡1. ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 91 ¡

  55. Confiden-ality ¡ Slice ¡2 ¡cannot ¡siphon ¡packets ¡from ¡Slice ¡1. ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 92 ¡

  56. Confiden-ality ¡ Slice ¡2 ¡cannot ¡siphon ¡packets ¡from ¡Slice ¡1. ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 3 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ H 22 ¡ H 31 ¡ H 32 ¡ 93 ¡

  57. Establishing ¡Isola-on ¡ • Confiden-ality ¡and ¡integrity ¡are ¡global, ¡end-­‑ to-­‑end ¡proper-es. ¡ • But ¡we ¡can ¡establish ¡isola-on ¡by ¡enforcing ¡ simple, ¡local ¡proper-es. ¡ 94 ¡

  58. Implementa-on ¡ • VLAN-­‑based ¡implementa-on. ¡ 95 ¡

  59. Verifica-on ¡ • SAT ¡encoding ¡(with ¡Z3) ¡ • Separate: ¡ given ¡two ¡compiled ¡slices, ¡ guarantee ¡that ¡they ¡are ¡separate. ¡ • SemanZcs-­‑preserving: ¡given ¡a ¡source ¡slice ¡+ ¡ program ¡and ¡a ¡compiled ¡program, ¡verify ¡that ¡ they ¡are ¡seman-cally ¡equivalent. ¡ 96 ¡

  60. Read ¡the ¡paper: ¡ hLp://www.cs.princeton.edu/~cschlesi ¡ ¡ Download ¡the ¡code: ¡ hLps://github.com/frene-c-­‑lang/netcore ¡ 97 ¡

  61. 98 ¡

  62. Isola-on ¡as ¡Modularity ¡ • Queries/network ¡monitoring. ¡ • ARP ¡ 99 ¡

  63. Controller ¡1 ¡ Controller ¡2 ¡ A 1 ¡ A 2 ¡ A 1 ¡ A 2 ¡ R 1 ¡ R 2 ¡ R 2 ¡ R 3 ¡ H 11 ¡ H 12 ¡ H 21 ¡ H 22 ¡ H 31 ¡ H 32 ¡ PORT ¡== ¡80 ¡ PORT ¡!= ¡80 ¡ 100 ¡

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Subdiffusive behaviour generated by some non-hyperbolic (but ergodic) systems Stefano Isola

Subdiffusive behaviour generated by some non-hyperbolic (but ergodic) systems Stefano Isola

Subdiffusive behaviour generated by some non-hyperbolic (but ergodic) systems Stefano Isola Universit di Camerino stefano.isola@unicam.it https://unicam.it/ stefano.isola/index.html/ Prelude Prelude Symmetric random" walk on Z

1.66k views • 151 slides
ERIM: S Secure, E , Efficient i in-pr proce cess ss Iso Isola latio tion n with ith

ERIM: S Secure, E , Efficient i in-pr proce cess ss Iso Isola latio tion n with ith

ERIM: S Secure, E , Efficient i in-pr proce cess ss Iso Isola latio tion n with ith Memory y Protectio tion n Keys s Anjo Vahldiek-Oberwagner , Eslam Elnikety, Nuno O. Duarte, Michael Sammler, Peter Druschel, Deepak Garg

714 views • 56 slides
MO MOLECULAR ECULAR DE DEFE FECTS CTS IN FAMILIAL ILIAL AND D ISOLA OLATED TED CASES ES

MO MOLECULAR ECULAR DE DEFE FECTS CTS IN FAMILIAL ILIAL AND D ISOLA OLATED TED CASES ES

PARKINSONS DISEASE IN TURKISH PATIENTS: MO MOLECULAR ECULAR DE DEFE FECTS CTS IN FAMILIAL ILIAL AND D ISOLA OLATED TED CASES ES Caroline Pirkevi PhD Thesis Presentation 09.04.2009 Outline Introduction Recessive PD in

759 views • 58 slides
A Comparativ ive Study of Base Is Isola lation Devic ices in in Lig ight Rail il Transit

A Comparativ ive Study of Base Is Isola lation Devic ices in in Lig ight Rail il Transit

A Comparativ ive Study of Base Is Isola lation Devic ices in in Lig ight Rail il Transit Structure featured wit ith Lead Rubber Bearin ing and Fric iction Pendulum System By: Santi Nuraini, ST Dr. Asdam Tambusay, ST Prof. Priyo

707 views • 16 slides
T RAINING SCHOOL Isola tion a nd ide ntific a tion of g ra pe vine fung a l trunk pa thog e ns

T RAINING SCHOOL Isola tion a nd ide ntific a tion of g ra pe vine fung a l trunk pa thog e ns

01/10/2016 T RAINING SCHOOL Isola tion a nd ide ntific a tion of g ra pe vine fung a l trunk pa thog e ns COST ACTI ON FA 1 3 0 3 VALENCI A, June 1 3 th - 1 7 th, 2 0 1 6 L OCALORGANIZE R Dr. Jose p Arme ng ol Instituto Ag

281 views • 7 slides
California Consumer Privacy Act Countdown to Compliance Anthony M. Isola

California Consumer Privacy Act Countdown to Compliance Anthony M. Isola

California Consumer Privacy Act Countdown to Compliance Anthony M. Isola aisola@fisherphillips.com (415) 490-9018 www.fisherphillips.com fisherphillips.com Topics How the Law Came Into Effect Who Must Comply With the Law How

595 views • 43 slides
Colorful Image Colorization Richard Zhang, Phillip Isola, Alexei A. Efros Presenters: Aditya

Colorful Image Colorization Richard Zhang, Phillip Isola, Alexei A. Efros Presenters: Aditya

Colorful Image Colorization Richard Zhang, Phillip Isola, Alexei A. Efros Presenters: Aditya Sankar and Bindita Chaudhuri Introduction Fully automatic approach (self-supervised deep learning algorithm) Aim: estimate the 2 unknown

706 views • 16 slides
What makes an image memorable? P. Isola, J. Xiao, A. Torralba, A. Oliva. CVPR 2011 Islam Beltagy

What makes an image memorable? P. Isola, J. Xiao, A. Torralba, A. Oliva. CVPR 2011 Islam Beltagy

What makes an image memorable? P. Isola, J. Xiao, A. Torralba, A. Oliva. CVPR 2011 Islam Beltagy Experiment https://picasaweb.google. com/101392440470561716618/CS395TVi sualRecognition LabelMe Images database and annotation tool

698 views • 35 slides
Generative Adversarial Networks Phillip Isola 9.520 10/17/18 Image classification Classifier

Generative Adversarial Networks Phillip Isola 9.520 10/17/18 Image classification Classifier

z N ( ~ 0 , 1) Generative Adversarial Networks Phillip Isola 9.520 10/17/18 Image classification Classifier Fish image X label Y Image generation Generator Fish label Y image X <latexit

1.3k views • 106 slides
Iridovirus Taxonomy Diverse group of Nucleocytoplasmic Large dsDNA

Iridovirus Taxonomy Diverse group of Nucleocytoplasmic Large dsDNA

4/6/16 Isola+on of Common Midwife Toad Virus and a Recombinant Frog Virus 3 in North American Bullfrogs ( Lithobates catesbeianus ) Sieara Claytor

346 views • 6 slides
94-775 Last Lecture: Wrap-up of Deep Learning and 94-775 nearly all slides by George Chen (CMU)

94-775 Last Lecture: Wrap-up of Deep Learning and 94-775 nearly all slides by George Chen (CMU)

94-775 Last Lecture: Wrap-up of Deep Learning and 94-775 nearly all slides by George Chen (CMU) 1 slide by Phillip Isola (OpenAI, UC Berkeley) Quiz Mean: 68.7 Standard deviation: 19.5 Max: 99 Some Comments This is the first

733 views • 58 slides
Bibliografia Achilli V., Pietrobon M., Salemi G., (2004), Trasformazioni territoriali e MAP

Bibliografia Achilli V., Pietrobon M., Salemi G., (2004), Trasformazioni territoriali e MAP

Bibliografia Achilli V., Pietrobon M., Salemi G., (2004), Trasformazioni territoriali e MAP algebra. n.4, 2004. http://geomatica.como.polimi.it/workbooks/ Aime A., Ascari S., Bonfatti F., Monari P. (2001), ISOLA project environmental information

671 views • 9 slides
Dual-Stage Gas Proportional Scintillation Counter New Developments A.F.V. Cortez, C.A.N.

Dual-Stage Gas Proportional Scintillation Counter New Developments A.F.V. Cortez, C.A.N.

Dual-Stage Gas Proportional Scintillation Counter New Developments A.F.V. Cortez, C.A.N. Conde, S.J.C. do Carmo, F.I.G.M. Borges Contact: andre.cortez@coimbra.lip.pt Pisa Meeting on Advanced Detectors 2018, May 27- June 2, 2018 - Isola

294 views • 27 slides
Generalization via Modularity Deepak Chris Trevor Phillip Alyosha Pathak* Lu* Darrell

Generalization via Modularity Deepak Chris Trevor Phillip Alyosha Pathak* Lu* Darrell

Learning to Control Self-Assembling Morphologies Generalization via Modularity Deepak Chris Trevor Phillip Alyosha Pathak* Lu* Darrell Isola Efros * equal contribution NeurIPS 2019 How do we train a robot? Multiple tasks

685 views • 49 slides
The chemical origin of SEY at technical surfaces Rosanna Larciprete CNR-Istituto dei Sistemi

The chemical origin of SEY at technical surfaces Rosanna Larciprete CNR-Istituto dei Sistemi

The chemical origin of SEY at technical surfaces Rosanna Larciprete CNR-Istituto dei Sistemi Complessi, Roma, Italy and INFN-LFN, Frascati (RM), Italy ECLOUD'12 La Biodola, Isola d'Elba 7 June 2012 S econdary E lectron Y ield universal curve

759 views • 26 slides
Generalization via Modularity Deepak Chris Trevor Phillip Alyosha Pathak* Lu* Darrell

Generalization via Modularity Deepak Chris Trevor Phillip Alyosha Pathak* Lu* Darrell

Learning to Control Self-Assembling Morphologies Generalization via Modularity Deepak Chris Trevor Phillip Alyosha Pathak* Lu* Darrell Isola Efros * equal contribution How do we train a robot? Multiple tasks Expert

706 views • 51 slides
National Energy Research Scientific Computing Center (NERSC) Highly Scalable Networking

National Energy Research Scientific Computing Center (NERSC) Highly Scalable Networking

National Energy Research Scientific Computing Center (NERSC) Highly Scalable Networking Configuration Management For Highly Scalable Systems Nicholas P. Cardo NERSC Center Division, LBNL CUG 2008, Helsinki N ATIONAL E NERGY R ESEARCH S

877 views • 14 slides
The AMS-IX switching platform APRICOT KYOTO February 2005 Henk Steenman Topics The

The AMS-IX switching platform APRICOT KYOTO February 2005 Henk Steenman Topics The

The AMS-IX switching platform APRICOT KYOTO February 2005 Henk Steenman Topics The parameters defining the AMS-IX switching platform The Ethernet switching platform Maintaining port hygiene Photonic switching

402 views • 14 slides
Radio transients in the starburst galaxy Arp 220 Lund 2015-02-09 Eskil Varenius, John Conway,

Radio transients in the starburst galaxy Arp 220 Lund 2015-02-09 Eskil Varenius, John Conway,

Radio transients in the starburst galaxy Arp 220 Lund 2015-02-09 Eskil Varenius, John Conway, Ivan Mart-Vidal, Fabien Batejat, Miguel Perez-Torres et. al Chalmers / Onsala Space Observatory Outline Arp 220 and the L-D relation

561 views • 17 slides
Generating Efficient Execution Plans for Vertically Partitioned XML Databases Patrick Kling, M.

Generating Efficient Execution Plans for Vertically Partitioned XML Databases Patrick Kling, M.

Generating Efficient Execution Plans for Vertically Partitioned XML Databases Patrick Kling, M. Tamer Ozsu, and Khuzaima Daudjee University of Waterloo David R. Cheriton School of Computer Science VLDB 2011 1 The Problem Centralized

1.05k views • 72 slides
ykpang@beyondsecurity.com Fuzz Testing for Embedded Device Security Assurance (EDSA) ISASecure

ykpang@beyondsecurity.com Fuzz Testing for Embedded Device Security Assurance (EDSA) ISASecure

Empowering Security Teams ykpang@beyondsecurity.com Fuzz Testing for Embedded Device Security Assurance (EDSA) ISASecure EDSA Certification Communication/Network Robustness Testing (CRT) CRT examines the capability of the device to

859 views • 33 slides
The nftables tutorial Patrick McHardy Pablo Neira Ayuso <kaber@trash.net>

The nftables tutorial Patrick McHardy Pablo Neira Ayuso <kaber@trash.net>

The nftables tutorial Patrick McHardy Pablo Neira Ayuso <kaber@trash.net> <pablo@netfilter.org> Netdev 0.1 February 2015 Ottawa, Canada Proceedings of netdev 0.1, Feb 14-17, 2015, Ottawa, On, Canada What is

499 views • 17 slides
History and HTML 2 History of the World in Just 5 Slides, Part 1 ARPANET Implemented in

History and HTML 2 History of the World in Just 5 Slides, Part 1 ARPANET Implemented in

IT350 Web and Internet Programming History and HTML 2 History of the World in Just 5 Slides, Part 1 ARPANET Implemented in late 1960s by ARPA (Advanced Research Projects Agency of DOD) Networked computer systems of a dozen

335 views • 8 slides
The Role of DARPA Ed Lazowska History of Computing Autumn 2006 1 Overview of Tire Tracks

The Role of DARPA Ed Lazowska History of Computing Autumn 2006 1 Overview of Tire Tracks

The Role of DARPA Ed Lazowska History of Computing Autumn 2006 1 Overview of Tire Tracks Diagram Shows 19 $1B (or larger) sub-sectors of IT Shows university research (federal funding), industry research (industry or federal

1.02k views • 33 slides

More recommend