Fisatec (Extended Version)