trustworthy
laot-pub
Anonymous
EDS

Trustworthy software systems: systems that come with provable security, safety and reliability guarantees.