WebSphinx Firefox addon

SPHINX: a password Store that Perfectly Hides from Itself (No Xaggeration)

SPHINX is a cryptographic password storage as described in https://eprint.iacr.org/2015/1099

And as presented by the Levchin Prize winner 2018 Hugo Krawczyk on Real World Crypto https://www.youtube.com/watch?v=px8hiyf81iM

What is this thing?

It allows you to have only a few (at least one) passwords that you need to remember, while at the same time provides unique 40 (ASCII) character long very random passwords (256 bit entropy). Your master password is encrypted (blinded) and sent to the password storage server which (without decrypting) combines your encrypted password with a big random number and sends this (still encrypted) back to you, where you can decrypt it (it's a kind of end-to-end encryption of passwords) and use the resulting unique, strong and very random password to register/login to various services. The resulting strong passwords make offline password cracking attempts infeasible. If say you use this with google and their password database is leaked your password will still be safe.

How is this different from my password storage which stores the passwords in an encrypted database? Most importantly using an encrypted database is not "end-to-end" encrypted. Your master password is used to decrypt the database read out the password and send it back to you. This means whoever has your database can try to crack your master password on it, or can capture your master password while you type or send it over the network. Then all your passwords are compromised. If some attacker compromises your traditional password store it's mostly game over for you. Using sphinx the attacker controlling your password store learns nothing about your master nor your individual passwords. Also even if your strong password leaks, it's unique and cannot be used to login to other sites or services.

Usage

WebSphinx tries to automatically figure out what you want to do: login, create a new account or change a password. It tries to figure this out by counting the number of password input fields that are seen on the page. If this fails then you can manually insert the password by clicking on the field where you want the password inserted and on the WebSphinx popup click on Get Password and then Insert Password.

If there is a text input field with a username already filled in, then it will try to find a password for that user to login or change, or create a password for this user if there is no such user yet associated with the current site by the password storage. If there is no user to be found in a text field, then you can enter the user in the WebSphinx popup, or you can select it from a list of users that the password storage knows about.

Installation

Websphinx consists of two parts, the frontend which is the addon. And the backend which handles everything.

You can install the addon from the firefox addon store.

The WebSphinx addon requires the installation of a native messaging host - which is terminology and it really means backend.

Windows

If you are on Windows you need winsphinx, which should take care of everything.

Linux

If you are on Linux you need to install some dependencies:

libsphinx

1. git clone https://github.com/stef/libsphinx
2. cd libsphinx/src
3. sudo apt install install python3 libsodium libsodium-dev
4. sudo PREFIX=/usr make install

pwdsphinx

you also need to install pwdsphinx, which can be done simply by:

1. sudo pip3 install pwdsphinx
2. you'll also need to install a graphical pinentry,
   • either sudo apt-get install pinentry-qt
   • or sudo apt-get install pinentry-gtk2
   • or sudo apt-get install pinentry-gnome3
   • or sudo apt-get install pinentry-fltk

(or anything equivalent to apt-get install on your OS)

And set the pinentry variant if it is not invoked with /usr/bin/pinentry in your sphinx config file in the websphinx section

Your sphinx config file can be in a couple of locations:

• globally: /etc/sphinx/config
• for your user: ~/.sphinxrc
• or also:~/.config/sphinx/config
• and always in the current directory.

To set the pinentry path, add or modify to have a section like this:

[websphinx]
pinentry=/usr/bin/pinentry-gtk-2

Native Messaging Host Manifest

Copy websphinx.json, depending on your browser to finish the installation:

• Linux/BSD
  • User only: ~/.mozilla/native-messaging-hosts/websphinx.json
  • System-wide: /usr/{lib,lib64,share}/mozilla/native-messaging-hosts/websphinx.json

You need to change %PATH% in websphinx.json so it refers to websphinx.py which came with pwdsphinx.

1. mkdir -p ~/.mozilla/native-messaging-hosts
2. curl -Lo ~/.mozilla/native-messaging-hosts/websphinx.json https://github.com/stef/websphinx-firefox/raw/master/websphinx.json

if you followed this guide, websphinx should be installed in /usr/bin and you should replace the %PATH% in ~/.mozilla/native-messaging-hosts/websphinx.json to /usr/bin so the file looks like this:

{
  "name": "websphinx",
  "description": "Host for communicating with pwdphinx",
  "path": "/usr/bin/websphinx",
  "type": "stdio",
  "allowed_extensions": [
    "sphinx@ctrlc.hu"
  ]
}

Final step

Restart your browser in which the addon is installed and enjoy.

MacOS

Try to translate the steps from Linux to your system, and possibly provide a PR so it can be added here.

Native Messaging Host Manifest

Copy websphinx.json to /Library/Application Support/Mozilla/NativeMessagingHosts/websphinx.json

You need to change %PATH% in websphinx.json so it refers to websphinx.py which came with pwdsphinx.

Credits

Icon made by Freepik from www.flaticon.com