6 papers · ranked by Valyu relevance
JungWoo Park, Minju Kang, Seungho Jeon, Seong Oun Hwang + 4 more
Fault localization (FL) is the task of identifying code locations responsible for bugs in software, and it is a prerequisite step in the bug-fixing process. FL in large-scale systems such as the Linux kernel involves three core challenges: First, the vast codebase fundamentally complicates fault search. Second, the…
Zi Wang, Xiaoyu Zhu, Hongqiang Wang, Yichun Yu + 2 more
Formal verification ensures software correctness but faces challenges in kernel specification writing, which is labor-intensive, expertise-dependent, and limited to specific targets. For complex microkernels like seL4, these issues significantly reduce the practicality of formal methods. To address this, we propose…
Blake Bordelon, Cengiz Pehlevan, Thomas Serre, Michael J Frank
Learning from a limited number of experiences requires suitable inductive biases. To identify how inductive biases are implemented in and shaped by neural codes, we analyze sample-efficient learning of arbitrary stimulus-response maps from arbitrary neural codes with biologically-plausible readouts. We develop an…
Ioana Culic, Alexandru Vochescu, Alexandru Radovici, Ovidiu P. Stan + 3 more
'Sanislav Teodora' 'Dan Gota' 'Nikos Fotiou'] Critical systems such as drone control or power grid control applications rely on embedded devices capable of a real-time response. While much research and advancements have been made to implement low-latency and real-time characteristics, the security aspect has been left…
Yeongung Park, Seokwoo Choi, Un Yeong Choi, Haimin Jin + 2 more
'Nurul Harzira Mohamad Nor' 'Yongsu Park'] As IoT devices are being widely used, malicious code is increasingly appearing in Linux environments. Sophisticated Linux malware employs various evasive techniques to deter analysis. The embedded trace microcell (ETM) supported by modern Arm CPUs is a suitable hardware tracer…
Yuhao Jia, Zhicheng Yu, Zhen Hong, Asadullah Shaikh
Binary code similarity detection plays a crucial role in various applications within binary security, including vulnerability detection, malicious software analysis, etc. However, existing methods suffer from limited differentiation in binary embedding representations across different compilation environments, lacking…