Scholar

Mihai Christodorescu

Google Scholar ID: jRnIqvkAAAAJ

Google

Computer SecurityProgramming LanguagesFormal Methods

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

3,755

H-index

36

i10-index

61

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

9 items

Uncovering Relationships between Android Developers, User Privacy, and Developer Willingness to Reduce Fingerprinting Risks

2026

Cited

0

Policy Compiler for Secure Agentic Systems

2026

Cited

0

Auto-SPT: Automating Semantic Preserving Transformations for Code

2025

Cited

0

Systems Security Foundations for Agentic Computing

2025

Cited

0

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?

2025

Cited

0

Fingerprinting SDKs for Mobile Apps and Where to Find Them: Understanding the Market for Device Fingerprinting

2025

Cited

0

LLM-Driven Multi-step Translation from C to Rust using Static Analysis

2025

Cited

0

Natural Language Outlines for Code: Literate Programming in the LLM Era

arXiv.org · 2024

Cited

1

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)