{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:57:37Z","timestamp":1773154657632,"version":"3.50.1"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T00:00:00Z","timestamp":1730073600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T00:00:00Z","timestamp":1730073600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,28]]},"DOI":"10.1109\/icnp61940.2024.10858518","type":"proceedings-article","created":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T18:29:45Z","timestamp":1738693785000},"page":"1-11","source":"Crossref","is-referenced-by-count":2,"title":["STARVERI: Efficient and Accurate Verification for Risk-Avoidance Routing in Leo Satellite Networks"],"prefix":"10.1109","author":[{"given":"Chenwei","family":"Gu","sequence":"first","affiliation":[{"name":"Institute for Network Sciences and Cyberspace, Tsinghua University,Beijing,China,100084"}]},{"given":"Qian","family":"Wu","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences and Cyberspace, Tsinghua University,Beijing,China,100084"}]},{"given":"Zeqi","family":"Lai","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences and Cyberspace, Tsinghua University,Beijing,China,100084"}]},{"given":"Hewu","family":"Li","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences and Cyberspace, Tsinghua University,Beijing,China,100084"}]},{"given":"Jihao","family":"Li","sequence":"additional","affiliation":[{"name":"Zhongguancun Laboratory,Beijiing,China"}]},{"given":"Weisen","family":"Liu","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences and Cyberspace, Tsinghua University,Beijing,China,100084"}]},{"given":"Qi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Zhongguancun Laboratory,Beijiing,China"}]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences and Cyberspace, Tsinghua University,Beijing,China,100084"}]},{"given":"Yuanjie","family":"Li","sequence":"additional","affiliation":[{"name":"Institute for Network Sciences and Cyberspace, Tsinghua University,Beijing,China,100084"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Traffic from elon musk\u2019s starlink satellites tripled this year, says new report","author":"NEWS","year":"2023"},{"key":"ref2","article-title":"Starlink constellation","year":"2024"},{"key":"ref3","article-title":"Project kuiper","year":"2024"},{"key":"ref4","article-title":"SpaceX FCC update. SPACEX NON-GEOSTATIONARY SATELLITE SYSTEM","year":"2024"},{"key":"ref5","article-title":"Kuiper Systems LLC. Application of Kuiper Systems LLC for Authority to Launch and Operate a Non-Geostationary Satellite Orbit System in Ka-band Frequencies","year":"2024"},{"key":"ref6","article-title":"Starlink statistics","author":"Page","year":"2024"},{"key":"ref7","article-title":"Spacex\u2019s starlink internet service reaches milestone","author":"Mogg","year":"2024"},{"key":"ref9","article-title":"Russian hackers hijack satellite to steal data from thousands of hacked computers","year":"2015"},{"key":"ref10","article-title":"Russian satellite internet downed via attackers claiming ties to wagner group","author":"Staff","year":"2023"},{"key":"ref11","article-title":"Space race: Defenses emerge as satellite-focused cyberattacks ramp up","author":"Lemos","year":"2023"},{"key":"ref12","article-title":"Want to pwn a satellite? turns out it\u2019s surprisingly easy","author":"Thomson","year":"2023"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2079296.2079326"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626323"},{"key":"ref15","first-page":"541","article-title":"EPIC: Every packet is checked in the data plane of a Path-Aware internet","volume-title":"29th USENIX Security Symposium","author":"Legner"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787509"},{"key":"ref17","first-page":"343","article-title":"DeTor: Provably avoiding geographic regions in tor","volume-title":"26th USENIX Security Symposium","author":"Li"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23402"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1592568.1592605"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3286062.3286075"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3636534.3649362"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3624354.3630586"},{"key":"ref23","first-page":"1309","article-title":"StarryNet: Empowering researchers to evaluate futuristic integrated space and terrestrial networks","volume-title":"20th USENIX Symposium on Networked Systems Design and Implementation","author":"Lai"},{"key":"ref24","article-title":"Satellite map","year":"2024"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM48880.2022.9796886"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IWQoS.2018.8624169"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2022.3222610"},{"key":"ref28","article-title":"Space exploration technologies corp","year":"2024"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP49622.2020.9259355"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67080-5"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2008.2007949"},{"key":"ref32","article-title":"Low latency schedule-driven handovers","author":"Patents","year":"2024"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68279-0_8"},{"key":"ref34","article-title":"Hashlib - Secure hashes and message digests","year":"2024"},{"key":"ref35","article-title":"The netfilter.org project","author":"Webmasters","year":"2024"},{"key":"ref36","article-title":"Starlink availability map","year":"2024"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38082-2_2"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1594977.1592583"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3365609.3365859"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC51323.2021.9498778"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282408"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1851182.1851218"},{"key":"ref43","first-page":"113","article-title":"Ensuring connectivity via data plane mechanisms","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation","author":"Liu"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM53939.2023.10229104"}],"event":{"name":"2024 IEEE 32nd International Conference on Network Protocols (ICNP)","location":"Charleroi, Belgium","start":{"date-parts":[[2024,10,28]]},"end":{"date-parts":[[2024,10,31]]}},"container-title":["2024 IEEE 32nd International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10858485\/10858498\/10858518.pdf?arnumber=10858518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T06:02:48Z","timestamp":1738735368000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10858518\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,28]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/icnp61940.2024.10858518","relation":{},"subject":[],"published":{"date-parts":[[2024,10,28]]}}}