Min-Chien Hsu

2 papers at tracked venues · 2 at CORE A* · active 2025–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 NDSS ×1

Frequent coauthors

Ruben Martins

×2

Darion Cassel

×1

Nuno Sabino

×1

Limin Jia

×1

Joseph E. Reeves

×1

João Filipe

×1

Marijn J. H. Heule

×1

Papers

NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities
NDSS 2025 ·
Darion Cassel
,
Nuno Sabino
, Min-Chien Hsu,
Ruben Martins
,
Limin Jia
The Impact of Literal Sorting on Cardinality Constraint Encodings
AAAI 2025 ·
Joseph E. Reeves
,
João Filipe
, Min-Chien Hsu,
Ruben Martins
,
Marijn J. H. Heule