PAPRICAS

PAPRiCaS: Programming technology foundations for Accountability, Privacy-by-design Robustness in Context-aware Systems The PAPRiCAS research project is affiliated with the Software, Data, People Society research group at Department of Computer Science, Copenhagen University, funded by Independent Research Fund Denmark (2020-2025). The overall aim is to provide new knowledge and build research capacity in the... This work package focus on developing novel foundations, prototyped as tools, for automatic generation of run-time monitors from the formal specification of security policies (behavioural types and declarative process models) and describing obligations and prohibited behaviour, and mechanized integrity and consistency proofs. Key researchers: Yongluan Zhou (lead), Thomas Hildebrandt, Boris Düdder, Tilman Zuckmantel