Vadim Sukhomlinov

Supply Chain Verification of Hardware Components Using Open-Source Root of Trust

Marius Schilder, Vadim Sukhomlinov, Andrey Pronin, 2020 .

An Algebraic Approach for the Detection of Vulnerabilities in Software Systems

Oleksandr Letychevskyi, Vadim Sukhomlinov, 2017 .

Agile Cold Starts for Scalable Serverless

Kshitij Doshi, Anup Mohan, Harshad Sane, 2019, HotCloud.

Mitigating Malicious Firmware by Detecting the Removal of a Storage Device

Vadim Sukhomlinov, Andrey Pronin, Randall Spangler, 2019 .