◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Machiry

11 papers hereh-index 222.5k citations75 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author5
  • last author5

Across the 10 of 11 papers where every author was matched, so the position is known.

fields
  • cs.CR6
  • cs.SE5

identity via Semantic Scholar / OpenAlex

activity
20242026
most citedAutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.CR2024

ZTDJAVA​: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies

Paschal C. Amusuo, Kyle A. Robinson, Tanmay Singla +5

Third-party libraries like Log4j accelerate software application development but introduce substantial risk. Vulnerabilities in these libraries have led to Software Supply Chain (S…

cs.CR2024

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)

Ayushi Sharma, Shashank Sharma, Santiago Torres-Arias +1

Embedded software is used in safety-critical systems such as medical devices and autonomous vehicles, where software defects, including security vulnerabilities, have severe conseq…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.