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.
Build complex read/write security logic without your head exploding or silly bugs. Check the system is correct afterwards by computer.
Interacting state machines are well worn programming abstraction used in the telecommunications industry
Firesafe is merely syntactic sugar on Firebase security rules. You can transition onto Firesafe gently.
Database integrity can be automatically verified. Close off all opportunity of data exploitation by enumerating every state of the database
Only me and github at the moment. I am looking for more people to join!
Dr. of Robotics, cofounder of Edinburgh Hacklab, an unholy harbinger of logic, probability and hardware
Technical documentation is on the wiki
If your data and operations are business critical, we can verify your Firebase system to ensure it works to specification.