Nikolaj Rossander Kristensen

A Type System to Ensure Non-Interference in ReScript

2024 · arXiv (Cornell University)

Protecting confidential data from leaking is a critical challenge in computer systems, particularly given the growing number of observers on the internet. Therefore, limiting information flow using robust security policies becomes increasingly vital. We focus …