
views: 170
Prateek Saxena
Professor
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
Research Areas
Systems & Networking
Security
Algorithms & Theory
Research Interests
Security
Trustworthy AI
Programming Languages & Verification
My research asks aims to build better security and privacy in practical systems. The work involves combining formal reasoning, tools and ideas from several domains of computer science such as languages, verification, applied cryptography and distributed systems. Our work has resulted in several practical artifacts powering real-world systems.
Systems & Networking
Security
Algorithms & Theory
Research Interests
Security
Trustworthy AI
Programming Languages & Verification
My research asks aims to build better security and privacy in practical systems. The work involves combining formal reasoning, tools and ideas from several domains of computer science such as languages, verification, applied cryptography and distributed systems. Our work has resulted in several practical artifacts powering real-world systems.
Papers80 papers
Sort
By YearBy Citation
IEEE Symposium on Security and Privacy, pp.90-105, (2020)
ICDCS, (2019)
USENIX Security Symposium, pp.523-540, (2019)
RAID, pp.197-211, (2019)
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, (2019): 1249-1264
NDSS, (2019)
NDSS, (2019)
ACSAC, (2018): 653-663
ICISS, pp.465-480, (2018)
INFOCOM, pp.2528-2536, (2018)
arXiv: Programming Languages, (2018)
ACNS, pp.657-677, (2018)
Elements, (2018)
IACR Cryptology ePrint Archive, (2018)
IACR Cryptology ePrint Archive, (2017)
IACR Cryptology ePrint Archive, (2017)
NDSS, (2017)
View All