Person. Philip Johnson-Freyd Principal Member of Technical Staff -- Cybersecurity · Sandia National Laboratories California · 0000-0001-5973-0671 PhDUniversity of Oregon Papers A Nominal Approach to Probabilistic Separation Logic li-2024-aLICS · 2024 DOI · arXiv