TC: Small: Secrecy-Preserving Reasoning: Foundations, Algorithms, and Software ProjectAbstract: Category: GrantsTags: PI: Giora Slutzki