P. Amorim
发表
P. Amorim,
Christopher Lam,
2022,
ArXiv.
Adrian Sampson,
Rachit Nigam,
P. Amorim,
2023,
ArXiv.
P. Panangaden,
D. Kozen,
R. Mardare,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Ross Tate,
Ethan Cecchetti,
Andrew K. Hirsch,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
P. Panangaden,
D. Kozen,
R. Mardare,
2020,
ArXiv.
P. Panangaden,
D. Kozen,
R. Mardare,
2021
.
Justin Hsu,
P. Amorim,
2023,
ArXiv.