• Firesafe

  • Secure Your Data

  • Sleep well

A tool for building bug free Firebases


Overview

What does it do?

Firesafe generates security rules for a Firebase. You can express complex protocols as transitions on state machines, and grant read/write access at the transition level.

  • Firesafe

Features

What do you gain?

Build complex read/write security logic without your head exploding or silly bugs. Check the system is correct afterwards by computer.

Firesafe
State Machines

Interacting state machines are well worn programming abstraction used in the telecommunications industry

Firesafe
Easy to use

Firesafe is merely syntactic sugar on Firebase security rules. You can transition onto Firesafe gently.

Firesafe
Bullet Proof

Database integrity can be automatically verified. Close off all opportunity of data exploitation by enumerating every state of the database

About

Get Involved

Only me and github at the moment. I am looking for more people to join!

  • Tom Larkworthy
    Overlord

    Dr. of Robotics, cofounder of Edinburgh Hacklab, an unholy harbinger of logic, probability and hardware

  • Open Source
    Firesafe language is open source and available on Github

    Technical documentation is on the wiki

Examples

Verified Use Cases

  • Firesafe
    Item Trading
    Formally checked

    Sending an item from one user, to another, with ACID semantics. No Dupes, No losses, even under network partition.

Contact

Verify-as-a-service

If your data and operations are business critical, we can verify your Firebase system to ensure it works to specification.

Enquire about anything
Contact Us
skype username: t_larkworthy
tomlarkworthy@gmail.com
UTC / GMT 0


Get notified
Firesafe