DOI,IST REx ID,Research Group,Title of publication
10.15479/AT-ISTA-21401,21401,"GradSch,ToHe",Privacy-preserving runtime verification