== Instruction for Virtual Machine Image == You would need to use the latest version (3/20/2014) Virtualbox to import the downloaded .ova file. After booting the virtual machine, you can log into the machine under ucsd/quark to use quark, and you'll be able to execute Quark either by a) clicking the shortcut on the taskbar on the left b) opening a terminal and cd ~/vcr and ./quark.sh ====================================================================== Quark: A Secure Web Browser with A Verified Kernel Build a verified replacement kernel for Google Chromium to ensure that it is completely impervious to certain classes of attack. == Overview == Each tab of Quark opens for a user-provided security domain, and the contents from the security domain if protected from other web sites. A security domain is given in a form of "domain suffix". When a tab opens on a.com, the tab can navigate to any web sites on *.a.com, and the contents from *.a.com are protected from other tabs. When a tab navigates to a website on a domain that doesn't match with the tab's domain suffix (e.g., a.com navigates to b.com), a new tab is created and serves the newly opened web page. == Instruction == From the user's perspective, Quark consists of two different windows : a) secured address bar component (terminal window showing tab domains) b) output component that shows rendered web pages. When the browser starts, a new tab is automatically created and asks for the security domain for the tab. For example, the user can type "google.com" to visit sites on *.gooogle.com. The function keys to control the web browser itself are entered in the address bar component. The user can use one of the function keys : F11 : create a new tab F1-F10 : switch tab (F1 is mapped to the 1st tab, F2 is to the 2nd, etc.) Please don't forget to hold "fn" key on mac to send correct function keys to the virtual machine. Renderer actions such as clicking a button and typing in a web page can be done on the output window. Currently Quark supports scrolling only by the down/up arrow buttons.