ATVA 2025
Mon 27 - Fri 31 October 2025 Bengaluru, India

This program is tentative and subject to change.

Mon 27 Oct 2025 12:00 - 12:30 at R102 - NIER 2

The privacy of a person leveraging a navigation service may be compromised due to the threats involved in sharing location information. However, at the same time, sharing location information is essential for taking advantage of location-based services. In this talk we present a novel Mixed Integer Linear Programming based framework that, given the navigation requirement of a user with the requirement of staying at some private locations for some time, synthesizes an optimal trajectory satisfying the navigation requirement of the user, along with another trajectory that satisfies the privacy requirement of the user while ensuring the maximum overlap with the optimal navigation trajectory. While the first trajectory is used for navigation, the second trajectory is used to transmit the locations of the user to the location-based service providers to exploit location-based service as much as possible without compromising the privacy of the user. We implement our algorithm to develop an Android application and create a modified version of Android OS for such privacy-preserving navigation and evaluate its efficacy through thorough experimentation on several city maps. Experimental results establish that our approach has the potential to pave the way for mobile users to utilize location-based services without being concerned about their location privacy.

This program is tentative and subject to change.

Mon 27 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30
NIER 2NIER at R102
11:00
30m
Talk
Property Grouping and Context-Aware Runtime Enforcement
NIER
Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA
11:30
30m
Talk
Compositional Probabilistic Model Checking with String Diagrams of MDPs 
NIER
Ichiro Hasuo National Institute of Informatics, Japan
12:00
30m
Talk
PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements
NIER
Inzemamul Haque Indian Institute of Technology Kanpur, Pankaj Siwan , Indranil Saha IIT Kanpur
Hide past events