Research group: R3 Center for Trustworthy Systems