VWAnalyzer-Reference-Cited by-同舟云学术

VWAnalyzer

Published:2022-05-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Lee Hyunwoo¹,Karim Imtiaz¹,Li Ninghui¹,Bertino Elisa¹

Affiliation:

1. Purdue University, West Lafayette, IN, USA

Funder

National Science Foundation (NSF)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3488932.3517425

Reference38 articles.

1. 3GPP TS 23.003. 2013. Numbering addressing and identification Release 17. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx'specificationId=729. (Accessed on 07/14/2021). 3GPP TS 23.003. 2013. Numbering addressing and identification Release 17. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx'specificationId=729. (Accessed on 07/14/2021).

2. 3GPP TS 23.402. 2019. Architecture enhancements for non-3GPP accesses Release 16. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx'specificationId=850. (Accessed on 07/21/2021). 3GPP TS 23.402. 2019. Architecture enhancements for non-3GPP accesses Release 16. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx'specificationId=850. (Accessed on 07/21/2021).

3. 3GPP TS 24.301. 2019. Non-Access-Stratum (NAS) protocol for Evolved Packet System (EPS); Stage 3. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx'specificationId=1072. (Accessed on 03/06/2022). 3GPP TS 24.301. 2019. Non-Access-Stratum (NAS) protocol for Evolved Packet System (EPS); Stage 3. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx'specificationId=1072. (Accessed on 03/06/2022).

4. 3GPP TS 33.402. 2020. Security aspects of non-3GPP accesses Release 16. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx'specificationId=2297. (Accessed on 07/17/2021). 3GPP TS 33.402. 2020. Security aspects of non-3GPP accesses Release 16. https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx'specificationId=2297. (Accessed on 07/17/2021).

5. 3 GPP TS 36.523--1. 2021. Evolved Universal Terrestrial Radio Access (E-UTRA) and Evolved Packet Core (EPC) ; User Equipment (UE) conformance specification; Part 1: Protocol conformance specification Release 16. https://www.etsi.org/deliver/etsi_ts/136500_136599/13652301/16.08.00_60/ts_13652301v160800p.pdf. (Accessed on 07/20/2021). 3GPP TS 36.523--1. 2021. Evolved Universal Terrestrial Radio Access (E-UTRA) and Evolved Packet Core (EPC); User Equipment (UE) conformance specification; Part 1: Protocol conformance specification Release 16. https://www.etsi.org/deliver/etsi_ts/136500_136599/13652301/16.08.00_60/ts_13652301v160800p.pdf. (Accessed on 07/20/2021).

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07

2. Dependency-Graph Enabled Formal Analysis for 5G AKA Protocols: Assumption Propagation and Verification;ICC 2024 - IEEE International Conference on Communications;2024-06-09

3. Why E.T. Can’t Phone Home: A Global View on IP-based Geoblocking at VoWiFi;Proceedings of the 22nd Annual International Conference on Mobile Systems, Applications and Services;2024-06-03

4. Performance analysis: Securing SIP on multi-threaded/multi-core proxy server using public keys on Diffie–Hellman (DH) in single and multi-server queuing scenarios;PLOS ONE;2024-01-25

5. Investigating the Effectiveness of Internet Key Exchange (IKE) Protocol in Wireless Network Security;2023 3rd International Conference on Smart Generation Computing, Communication and Networking (SMART GENCON);2023-12-29