Text this: Software Security -- Theories and Systems