Paschal C. Amusuo

16 papers A* 3Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards a Benchmark for Dependency Decision-Making.
CoRR
Tanmay Singla, Berk Çakar, Paschal C. Amusuo, James C. Davis
2025 A* conf
$ZTD_{\text{JAVA}}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies.
ICSE
Paschal C. Amusuo, Kyle A. Robinson, Tanmay Singla, Huiyun Peng, Aravind Machiry, Santiago Torres-Arias, Laurent Simon, James C. Davis
2025 J jnl
A Guide to Stakeholder Analysis for Cybersecurity Researchers.
CoRR
James C. Davis, Sophie Chen, Huiyun Peng, Paschal C. Amusuo, Kelechi G. Kalu
2025 — conf
A Unit Proofing Framework for Code-level Verification: A Research Agenda.
NIER@ICSE
Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis
2025 J jnl
Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification.
CoRR
Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre, Parth V. Patil, Aravind Machiry, James C. Davis
2025 — conf
Empirically-Informed Approaches to Shift Vulnerability Detection to the Left.
ICSE Companion
Paschal C. Amusuo
2025 J jnl
FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI.
CoRR
Paschal C. Amusuo, Dongge Liu, Ricardo Andrés Calvo Méndez, Jonathan Metzman, Oliver Chang, James C. Davis
2025 A* conf
LEMIX: Enabling Testing of Embedded Applications as Linux Applications.
USENIX Security Symposium
Sai Ritvik Tanksalkar, Siddharth Muralee, Srihari Danduri, Paschal C. Amusuo, Antonio Bianchi, James C. Davis, Aravind Kumar Machiry
2025 J jnl
LEMIX: Enabling Testing of Embedded Applications as Linux Applications.
CoRR
Sai Ritvik Tanksalkar, Siddharth Muralee, Srihari Danduri, Paschal C. Amusuo, Antonio Bianchi, James C. Davis, Aravind Machiry
2024 J jnl
Enabling Unit Proofing for Software Implementation Verification.
CoRR
Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis
2023 J jnl
Preventing Supply Chain Vulnerabilities in Java with a Fine-Grained Permission Manager.
CoRR
Paschal C. Amusuo, Kyle A. Robinson, Santiago Torres-Arias, Laurent Simon, James C. Davis
2023 A* conf
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks.
ASE
Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis
2023 J jnl
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks.
CoRR
Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis
2023 — conf
Towards Rehosting Embedded Applications as Linux Applications.
DSN-S
Jayashree Srinivasan, Sai Ritvik Tanksalkar, Paschal C. Amusuo, James C. Davis, Aravind Machiry
2022 J jnl
Reflections on Software Failure Analysis.
CoRR
Paschal C. Amusuo, Aishwarya Sharma, Siddharth R. Rao, Abbey Vincent, James C. Davis
2022 — conf
Reflections on software failure analysis.
ESEC/SIGSOFT FSE
Paschal C. Amusuo, Aishwarya Sharma, Siddharth R. Rao, Abbey Vincent, James C. Davis