Ethan Cecchetti

Registered user since Fri 4 Dec 2020

Name: Ethan Cecchetti

Country: United States

Affiliation: Cornell University

Personal website: https://www.cs.cornell.edu/~ethan/

Twitter: https://twitter.com/EthanCecchetti

GitHub: https://github.com/ethancecchetti

Research interests: Security, Programming Languages, Applied Cryptography

Contributions

POPL 2021 Author of Giving Semantics to Program-Counter Labels via Secure Effects within the POPL-track