skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: Ghost calls from operational 4G call systems: IMS vulnerability, call DoS attack, and countermeasure
Award ID(s):
1815636 1814551
PAR ID:
10356375
Author(s) / Creator(s):
; ; ; ; ; ;
Date Published:
Journal Name:
MobiCom '20: Proceedings of the 26th Annual International Conference on Mobile Computing and Networking
Page Range / eLocation ID:
1 to 14
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. (, American Scientist)
  2. (, Proceedings of the ACM on Programming Languages)
    Call-By-Push-Value has famously subsumed both call-by-name and call-by-value by decomposing programs along the axis of values versus computations. Here, we introduce Call-By-Unboxed-Value which further decomposes programs along an orthogonal axis separating atomic versus complex. As the name suggests, these two dimensions make it possible to express the representations of values as boxed or unboxed, so that functions pass unboxed values as inputs and outputs. More importantly, Call-By-Unboxed-Value allows for an unrestricted mixture of polymorphism and unboxed types, giving a foundation for studying compilation techniques for polymorphism based on representation irrelevance. In this regard, we use Call-By-Unboxed-Value to formalize representation polymorphism independently of types; for the first time compiling untyped representation-polymorphic code, while nonetheless preserving types all the way to the machine. 
    more » « less
  3. ; ; ; (, ACM)
  4. ; ; ; (, ACM SIGCSE Bulletin)
    A call for papers and a description of the planning for the ACM CompEd 2023 conference to be held in Hyderabad, India in December 2023. 
    more » « less
  5. ; ; ; (, Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis)
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email