Abstract-Embedded enheter har blivit allestädes närvarande, och de används i en rad integritetskänsliga och säkerhetskritiska applikationer. De flesta av dessa enheter kör egenutvecklad programvara, och lite dokumentation finns tillgänglig om programvarans inre funktioner. I vissa fall kan kostnaderna för hårdvaran och skyddsmekanismerna göra det omöjligt att få tillgång till själva utrustningen. Analysera den programvara som finns i sådana miljöer är utmanande, men nödvändigt, om riskerna i samband med programvara buggar och sårbarheter måste undvikas. Faktum är att nyligen genomförda undersökningar avslöjade förekomsten av bakdörrar i ett antal inbyggda anordningar som finns tillgängliga på marknaden. I detta dokument presenterar vi Firmalice, en binär analys ram för att stödja analysen av firmware körs på inbyggda enheter. Firmalice bygger ovanpå en symbolisk exekvering motor, och tekniker, såsom program skärning, för att öka skalbarheten. Dessutom använder Firmalice en ny modell av autentisering bypass brister, baserat på angriparens förmåga att bestämma vilka indata som krävs för att utföra privilegierade operationer. Vi utvärderade Firmalice på firmware av tre kommersiellt tillgängliga enheter, och kunde upptäcka autentisering bypass bakdörrar i två av dem. Dessutom kunde Firmalice avgöra att bakdörren i den tredje firmware prov var inte exploaterbar av en angripare utan kunskap om en uppsättning oprivilegierade referenser.
Samtidigt är Firmalice REF ett statiskt binärt analysramverk som stöder analysen av firmware-filer för inbyggda enheter.
Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.
{'venue': 'NDSS', 'journal': None, 'mag_field_of_study': ['Computer Science']}