SPLASH 2023 (series) / Peixuan Li
Registered user since Thu 25 Oct 2018
Name:Peixuan Li
Country:United States
Affiliation:Penn State University
Personal website:http://www.personal.psu.edu/pzl129/
Research interests:Programming Language, Security
Contributions
| SPLASH 2023 | Compositional Security Definitions for Higher-Order Where Declassification | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile