Area of research
Artificial Intelligence · Signal Processing
Research interest
Research interests include Security and Verification in Computing, Advanced Malware Detection Techniques, Privacy-Preserving Technologies in Data, and Cryptography and Data Security.
A Hardware Design Language for Timing-Sensitive Information-Flow Security
A Hardware Design Language for Timing-Sensitive Information-Flow Security
Ironclad apps: end-to-end security via automated full-system verification
Toward general diagnosis of static errors
Language-based control and mitigation of timing channels
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
CAREER: Building Secure Applications with Non-Static Information Flow Policies
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
CAREER: Building Secure Applications with Non-Static Information Flow Policies
CRII: SHF: General, Precise and Accurate Fault Localization