James A Mattei

schoolTufts Universitybar_chart#7217 Global Rank

Total Papers

HCI Rank

#7217

Research Areas

Years Active

Recent Publications

I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery

While symbolic execution (SE) can discover software vulnerabilities, it has received limited practical adoption. A key barrier is that SE requires human expertise to understand the program’s state and prioritize paths to analyze. Traditionally, users controlled SE through programmatic API calls, but recent tooling…

CHI '252nd AuthorHonorable MentionExplainable AI (XAI) +2

An Investigation of Interaction and Information Needs for Protocol Reverse Engineering Automation

Protocol reverse engineering (ProtocolREing) consists of taking streams of network data and inferring the communication protocol. ProtocolREing is critical task in malware and system security analysis. Several ProtocolREing automation tools have been developed, however, in practice, they are not used because they offe…

Quick Actions

Share this page

ios_share

X in mail

https://hci.top/en/authors/15189?source=all