Faculty

Institution

Unit

Venue

David Brumley

Assistant Professor

Carnegie Mellon University

Affiliations

College of Engineering

Electrical & Computer Engineering

David Brumley is currently serving as a College Of Engineering Assistant Professor at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

David Brumley

Carnegie Mellon University

Assistant Professor

You can click a keyword to filter the displayed items

computer science computer security information security software analysis data security systems engineering communication security computer engineering software security software engineering cryptography system software software testing machine learning cryptographic hardware malware analysis programming languages network security communication software maintenance formal methods distributed systems static program analysis cyber conflict binary code cybernetics threat detection source code analysis vulnerability fuzzing information security management reliability engineering information technology symbolic execution firmware detection cyberwarfare code reuse attack model secure computing vulnerability-based signatures automatic exploit generation integer-based vulnerabilities commodity software end-to-end self-healing system mobile computing human-computer interaction computational intelligence knowledge discovery security analysis fault injection fault attack covert channels dynamic analysis symbolic computation deception detection reverse engineering deployment strategy language-based security anomaly detection mobile malware gene evolution distributed processing scaling analysis reasoning system transaction processing trustworthy computing binary analysis dynamic taint analysis remote timing attacks empirical study android applications cryptographic misuse binary analysis platform entire os distributions program-adaptive mutational fuzzing privilege separation program quality scalability data integration cluster computing distributed data processing software design data representation parallel computing data management informatics data preparation statistical software data modeling graphic interface scientific data software practice cloud computing

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Static Analysis. Encyclopedia of Cryptography, Security and Privacy (2025)

computer sciencecomputational mathematicsstatic checkingscientific computingsoftware testingsoftware analysisprogram analysisapplied mathematicsstatic program analysis

A World Where We Trust {Hard-Won} Lessons in Security Research, Technology, and People. (2024)

technologysecurity governancecomputer securitycyber conflictsocial sciencesinformation security educationinformation securitytrustdata securitycommunication securityusable privacyinformation sciencecybersecurity educationcommunicationinformation technologyinformation security managementinformation forensicsinformation policystrategic studiesinternational securitysecurity awarenesssecurity studies

Cross-Regional Virtual Network Peering. (2021)

network analysisadvanced networkingscalabilitynetworked system designcloud computingnetwork computingregional studies

Monitoring Connectivity and Latency of a Virtual Network. (2021)

network sciencenetwork analysisscalabilitynetworked system designlow latencycomputer engineeringdistributed systemssystems engineeringnetwork performance

The White-Hat Hacking Machine: Meet Mayhem, Winner of the Darpa Contest to Find and Repair Software Vulnerabilities. (2019)

software engineeringoperating systemscomputer securityethical hackingoperating system securityprogram analysisinformation securitycomputer sciencedata securitycommunication securitycomputer engineeringhardware securitycryptographic hardwaresecurity testing methodsoftware maintenancemalware analysisinformation forensicssystem softwaresoftware securitysoftware testingsystems engineeringsoftware analysis

BYTEWEIGHT: Learning to Recognize Functions in Binary Code. Figshare (2018)

Tiffany BaoJonathan BurketMaverick WooRafael TurnerDavid Brumley

deep learningcomputer sciencepattern recognitionmachine learningbinary codecomputer securitymachine intelligence

Cloud Datacenter Sdn Monitoring: Experiences and Challenges. IMC'18: PROCEEDINGS OF THE INTERNET MEASUREMENT CONFERENCE (2018)

cloud computinginternet of thingsscalabilityedge computingindustrial informaticscommunication securitycomputer engineeringdistributed systemsnetwork managementnetwork traffic measurementnetwork analysiscluster computingdata center networksmart citiesnetworked system designtelecommunication networksservice computingembedded systemssystems engineeringsoftware-defined networkingnetwork monitoring

PRIVTRANS: Automatically Partitioning Programs for Privilege Separation. Figshare (2018)

David BrumleyDawn Song

information securitycomputer sciencesoftware securitydata securityprivilege separationcomputer security

RICH: Automatically Protecting Against Integer-Based Vulnerabilities. Figshare (2018)

David BrumleyTzi-cker ChiuehRobert JohnsonHuijia LinDawn Song

information securitycomputer sciencesoftware securityinteger-based vulnerabilitiescomputer securitynetwork security

SALUKI: Finding Taint-Style Vulnerabilities With Static Property Checking. (2018)

Ivan GotovchitsRijnard Van TonderDavid Brumley

static property checkinginformation securitycomputer sciencefinding taint-style vulnerabilitiesknowledge discoverycomputer security

1
2
3
4
5
12
10 / page

David Brumley

Assistant Professor

Carnegie Mellon University

Affiliations

College of Engineering

Electrical & Computer Engineering

David Brumley is currently serving as a College Of Engineering Assistant Professor at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

David Brumley

Carnegie Mellon University

Assistant Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Static Analysis. Encyclopedia of Cryptography, Security and Privacy (2025)

computer sciencecomputational mathematicsstatic checkingscientific computingsoftware testingsoftware analysisprogram analysisapplied mathematicsstatic program analysis

A World Where We Trust {Hard-Won} Lessons in Security Research, Technology, and People. (2024)

Cross-Regional Virtual Network Peering. (2021)

network analysisadvanced networkingscalabilitynetworked system designcloud computingnetwork computingregional studies

Monitoring Connectivity and Latency of a Virtual Network. (2021)

network sciencenetwork analysisscalabilitynetworked system designlow latencycomputer engineeringdistributed systemssystems engineeringnetwork performance

The White-Hat Hacking Machine: Meet Mayhem, Winner of the Darpa Contest to Find and Repair Software Vulnerabilities. (2019)

BYTEWEIGHT: Learning to Recognize Functions in Binary Code. Figshare (2018)

Tiffany BaoJonathan BurketMaverick WooRafael TurnerDavid Brumley

deep learningcomputer sciencepattern recognitionmachine learningbinary codecomputer securitymachine intelligence

Cloud Datacenter Sdn Monitoring: Experiences and Challenges. IMC'18: PROCEEDINGS OF THE INTERNET MEASUREMENT CONFERENCE (2018)

PRIVTRANS: Automatically Partitioning Programs for Privilege Separation. Figshare (2018)

David BrumleyDawn Song

information securitycomputer sciencesoftware securitydata securityprivilege separationcomputer security

RICH: Automatically Protecting Against Integer-Based Vulnerabilities. Figshare (2018)

David BrumleyTzi-cker ChiuehRobert JohnsonHuijia LinDawn Song

information securitycomputer sciencesoftware securityinteger-based vulnerabilitiescomputer securitynetwork security

SALUKI: Finding Taint-Style Vulnerabilities With Static Property Checking. (2018)

Ivan GotovchitsRijnard Van TonderDavid Brumley

static property checkinginformation securitycomputer sciencefinding taint-style vulnerabilitiesknowledge discoverycomputer security

1
2
3
4
5
12
10 / page

Similar Faculty Members

Virgil Gligor

Institution

Carnegie Mellon University

electricity generation

transmission

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Gregory Ganger

Institution

Carnegie Mellon University

data preparation

computer architecture

Xinming Simon Ou

Institution

University of South Florida

data security

cybersecurity education

David Malcolm Nicol

Institution

University of Illinois Urbana-Champaign

communication security

civil engineering

Indranil Gupta

Institution

University of Illinois Urbana-Champaign

sensor suite

unmanned ground vehicle

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Ozgur Sinanoglu

Institution

New York University

cryptographic hardware

hardware verification language

Adam Bates

Institution

University of Illinois Urbana-Champaign

communication security

iot/mobile security

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Similar Faculty Members

Virgil Gligor

Institution

Carnegie Mellon University

electricity generation

transmission

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Gregory Ganger

Institution

Carnegie Mellon University

data preparation

computer architecture

Xinming Simon Ou

Institution

University of South Florida

data security

cybersecurity education

David Malcolm Nicol

Institution

University of Illinois Urbana-Champaign

communication security

civil engineering

Indranil Gupta

Institution

University of Illinois Urbana-Champaign

sensor suite

unmanned ground vehicle

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Ozgur Sinanoglu

Institution

New York University

cryptographic hardware

hardware verification language

Adam Bates

Institution

University of Illinois Urbana-Champaign

communication security

iot/mobile security

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems