Ashish Gehani

Senior Principal Computer Scientist @SRI

Menlo Park, CA, US

2021: Senior Principal Computer Scientist20••••20: Principal Computer Scientist2017: Staff Scientist20••••16: Senior Computer Scientist20••••11: Computer Scientist20••••07: I3P Fellow• Trojan detection using attribution, counterfactuals, and topological analysis• Enhancing scientific research infrastructure with network attestation and provenance• Cognitive health assistant that learns and organizes• Security-enhanced radio access network• Formal methods in machine learning• Trinity for cyber • Security services for the 5G software-defined edge• Reproducible containers for advancing process-oriented collaborative analytics• Self-improving intelligent agents in cyber-battle• Network protocol specialization• Ransomware attack detection with intrinsic explainability• Detecting cross-container channels• Container provenance• Blockchain fraud detection• Verified application debloating and delayering• Neuromorphic forensics• Contextual Bitcoin analysis• Protecting provenance integrity and privacy• Tracking and analysis of causality at the enterprise level• Bitcoin resilience• Synthesizing self-contained scientific software• Binary static previrtualization• Accountable clouds• Learning Android leaks• Bounded error approximation algorithms for risk-based intrusion response• Edge networking with content-oriented declarative enhanced routing and storage• Scalable integration and analysis of the provenance of diverse scientific data• Deployable Android security• Research enabling MILS development and deployment• Ensuring security and availability through model-based cross-layer adaptation• Principled virtualization• Scalable authentication of Grid data provenance• Verifying multimedia sensor data provenance

Rishi Valley School

ISC

Bombay International School

ICSE

University of Chicago

B.S. (Honors), Mathematics

Duke University

Ph.D., Computer Science