A non-technical solution is to post a privacy seal atweb sites who comply with private browsing. Userscan avoid non-compliant sites when browsing pri-vately.
Security is usually deﬁned using twoparameters: the attacker’s capabilities and the attacker’sgoals. A local private browsing attacker has the follow-ing capabilities:
The attacker does nothing until the user leaves pri-vate browsing mode at which point the attacker getscomplete control of the machine. This capturesthe fact that the attacker is limited to after-the-factforensics.In this paper we focus on persistent state violations,such as those stored on disk; we ignore private stateleft in memory. Thus, we assume that before theattacker takes over the local machine all volatilememory is cleared (though data on disk, includingthe hibernation ﬁle, is fair game). Our reason for ig-noring volatile memory is that erasing all of it whenexiting private browsing can be quite difﬁcult and,indeed, no browser does it. We leave it as futurework to prevent privacy violations resulting fromvolatile memory.
While active, the attacker cannot communicate withnetworkelementsthatcontaininformationabouttheuser’s activities while in private mode (e.g. websites the user visited, caching proxies, etc.). Thiscaptures the fact that we are studying the implemen-tation of browser-side privacy modes, not server-side privacy.Given these capabilities, the attacker’s goal is as fol-lows: for a set
of HTTP requests of the attacker’schoosing, determine if the browser issued any of thoserequestswhileinprivatebrowsingmode. Moreprecisely,the attacker is asked to distinguish a private browsingsession where the browser makes one of the requests in
from a private browsing session where the browserdoes not. If the local attacker cannot achieve this goalthen we say that the browser’s implementation of privatebrowsing is secure. This will be our working deﬁnitionthroughout the paper. Note that since an HTTP requestcontains the name of the domain visited this deﬁnitionimplies that the attacker cannot tell if the user visited aparticular site (to see why set
to be the set of all pos-sible HTTP requests to the site in question). Moreover,even if by some auxiliary information the attacker knowsthat the user visited a particular site, the deﬁnition im-plies that the attacker cannot tell what the user did at thesite.An alternate deﬁnition, which is much harder toachieve, requires that the browser hide whether privatemode was used at all. We will not consider this strongergoal in the paper. Similarly, we do not formalize proper-ties of private browsing in case the user never exits pri-vate browsing mode.
Browser vendors face a number of chal-lenges in securing private browsing against a local at-tacker. One set of problems is due to the underlying op-erating system. We give two examples:First, when connecting to a remote site the browsermust resolve the site’s DNS name. Operating systemsoften cache DNS resolutions in a local DNS cache. Alocal attacker can examine the DNS cache and the TTLvalues to learn if and when the user visited a particularsite. Thus, to properly implement private browsing, thebrowser will need to ensure that all DNS queries whilein private mode do not affect the system’s DNS cache:no entries should be added or removed. A more aggres-sive solution, supported in Windows 2000 and later, is toﬂush the entire DNS resolver cache when exiting privatebrowsing. None of the mainstream browsers currentlyaddress this issue.Second, the operating system can swap memory pagestotheswappartitionondiskwhichcanleavetracesoftheuser’s activity. To test this out we performed the follow-ing experiment on Ubuntu 9.10 running Firefox 3.5.9:1. We rebooted the machine to clear RAM and setupand mounted a swap ﬁle (zeroed out).2. Next, we started Firefox, switched to private brows-ing mode, browsed some websites and exited pri-vate mode but kept Firefox running.3. Once the browser was in public mode, we ran amemory leak program a few times to force memorypages to be swapped out. We then ran
on the swap ﬁle and searched for speciﬁc wordsand content of the webpages visited while in privatemode.The experiment showed that the swap ﬁle containedsome URLs of visited websites, links embedded in thosepages and sometimes even the text from a page – enoughinformation to learn about the user’s activity in privatebrowsing.This experiment shows that a full implementation of private browsing will need to prevent browser memorypages from being swapped out. None of the mainstreambrowsers currently do this.
At ﬁrst glance it may seem that secu-rity against a local attacker can be achieved using virtualmachine snapshots. The browser runs on top of a vir-tual machine monitor (VMM) that takes a snapshot of the