Graph explorer

Mihai Christodorescu

Mihai Christodorescu contributes to research discovery and scholarly infrastructure.

21 nodes80 linksoverview previewMihai Christodorescu
21 nodes80 links
Mihai Christodorescu21 visible / 21 total nodes / 80 links
Related contextRelated contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onAMihai ChristodorescuResearcherWAgent Security is a Sys...preprint / 2026WVerifier-Guided Code Tr...preprint / 2026ASomesh JhaResearcherAEarlence FernandesResearcherAAshish HoodaResearcherAGuy AmirResearcherAVarun ChandrasekaranResearcherAJohann RehbergerResearcherAKamalika ChaudhuriResearcherAXiaohan FuResearcherAKhawaja ShamsResearcherAJihye ChoiResearcherASarthak ChoudharyResearcherANils PalumboResearcherTCryptography and Security7258 worksTArtificial Intelligence22915 worksTMachine Learning49008 worksTSoftware Engineering3620 worksWRobust and Accurate Aut...preprint / 2022WIdentifying and Mitigat...preprint / 2023
PersonSignal 1012 links

Mihai Christodorescu

Researcher

Open