Verifying Web Browser Extensions' Compliance with Private-Browsing Mode.
Benjamin S. LernerLiam ElbertyNeal PooleShriram KrishnamurthiPublished in: ESORICS (2013)
Keyphrases
- web browser
- web pages
- website
- web applications
- web server
- web content
- user interface
- web directories
- multimedia
- visual interface
- user interaction
- model checking
- entry points
- client server architecture
- web browsing
- information retrieval
- privacy preserving
- multi agent
- metadata
- database
- third party
- digital libraries
- java applets