Thanks for checking us out :) We had an audit done by quarkslab a few years back, and another one coming up this year since we’re currently implementing verified relations (signed SDPs). I’ll edit my comment with a link when I get back to work next week.