BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mihai Christodorescu
SearchCollections
Map detail
Mihai Christodorescu22 visible / 22 total nodes / 80 links

Drag to move · Scroll or pinch to zoom · Select a node for details

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 onMihai ChristodorescuAMihai ChristodorescuResearcherAgent Security is a Systems ProblemWAgent Security is a Sys...preprint / 2026Verifier-Guided Code Translation via Meta-Step DecodingWVerifier-Guided Code Tr...preprint / 2026Somesh JhaASomesh JhaResearcherEarlence FernandesAEarlence FernandesResearcherAshish HoodaAAshish HoodaResearcherGuy AmirAGuy AmirResearcherVarun ChandrasekaranAVarun ChandrasekaranResearcherJohann RehbergerAJohann RehbergerResearcherKamalika ChaudhuriAKamalika ChaudhuriResearcherXiaohan FuAXiaohan FuResearcherKhawaja ShamsAKhawaja ShamsResearcherJihye ChoiAJihye ChoiResearcherSarthak ChoudharyASarthak ChoudharyResearcherNils PalumboANils PalumboResearcherCryptography and SecurityTCryptography and Security7258 worksArtificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksSoftware EngineeringTSoftware Engineering3620 worksRobust and Accurate Authorship Attribution via Program NormalizationWRobust and Accurate Aut...preprint / 2022Learning Execution Contexts from System Call Distributions for Intrusion Detection in Embedded SystemsWLearning Execution Cont...preprint / 2015Identifying and Mitigating the Security Risks of Generative AIWIdentifying and Mitigat...preprint / 2023
Person12 links

Mihai Christodorescu

Researcher

PersonSomesh JhaCo-authorship / ResearcherPersonEarlence FernandesCo-authorship / ResearcherPersonAshish HoodaCo-authorship / ResearcherPersonGuy AmirCo-authorship / ResearcherPersonVarun ChandrasekaranCo-authorship / ResearcherPersonJohann RehbergerCo-authorship / ResearcherPersonKamalika ChaudhuriCo-authorship / ResearcherPersonXiaohan FuCo-authorship / Researcher

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)