Vaibhav Sharma (University of Minnesota), Navid Emamdoost (University of Minnesota), Seonmo Kim (University of Minnesota), Stephen McCamant (University of Minnesota)
It Doesn’t Have to Be So Hard: Efficient Symbolic Reasoning for CRC
View More Papers
NVLift: Lifting NVIDIA GPU Assembly to LLVM IR for...
Junpeng Wan, Louis Zheng-Hua Tan, Dave (Jing) Tian (Purdue University)
Read MorePolypyus – The Firmware Historian
Jan Friebertshauser, Florian Kosterhon, Jiska Classen, Matthias Hollick (Secure Mobile Networking Lab, TU Darmstad)
Read MoreTowards LLM-Resistant Software Protection: Agent Failure Patterns in CTF...
Ryutaro Nishizaka, Yudai Fujiwara, Takuya Shimizu, Kazushi Kato, Yuichi Sugiyama (Ricerca Security, Inc.)
Read More