Web browsers are vulnerable to side-channel attacks, which usually play an important, first-step role in jump-starting a chain of attacks. For example, a web-level precise clock can help adversaries to break operating system level memory protection mechanisms, such as address-space layout randomization (ASLR). Browser fingerprinting, a variation of web side channels, can be used to obtain users' private information for launching social engineering attacks. In addition, web side-channel attacks alone can also reveal private information, such as illnesses and medications of patients and the number of social network users' friends. The project is to design, implement and evaluate a novel defense architecture integrating atomic determinism, a brand-new concept of determinism tailored-made for web browsers, to provably prevent web side-channel attacks, thus protecting web users' security and privacy.

The key insight of atomic determinism is that a web browser can be considered as a composition of several atomic units, called reference frames (RFs), an abstract concept borrowed from physics. The atomic determinism of web browsers defines that each RF contains only one clock and at most one observer, e.g., a Turing-complete program controlled by the adversary. From the viewpoint of the observer, the clock in the RF ticks deterministically, i.e., being the same in every runtime; by contrast, from the viewpoint of an oracle, e.g., a user of the browser, the clock in the RF ticks normally without performance slowdown. The project adopts two tactics to incorporate atomic determinism into web browsers, i.e., designing a browser add-on and modifying a modern web browser. The former, which translates existing programs and overwrites existing function definitions, facilitates the general web users in short-term; the latter, which fundamentally changes the browser architecture, facilitates users with special needs and can be integrated into a mainstream browser in a longer term. The greatest impact of this project is novel, effective approaches, systems, and technologies to improving the security and privacy of browsers, benefiting web users from both the academia and the general public. The principal investigator (PI) also involves undergraduates, women, K-12 students and minorities in the project.

This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

Agency
National Science Foundation (NSF)
Institute
Division of Computer and Network Systems (CNS)
Type
Standard Grant (Standard)
Application #
1812870
Program Officer
Sol Greenspan
Project Start
Project End
Budget Start
2018-09-01
Budget End
2018-10-31
Support Year
Fiscal Year
2018
Total Cost
$500,000
Indirect Cost
Name
Lehigh University
Department
Type
DUNS #
City
Bethlehem
State
PA
Country
United States
Zip Code
18015