Biblio

Export 5 results:
Filters: Author is Aravind Machiry  [Clear All Filters]
2023
Muralee S, Koishybayev I, Nahapetyan A, Tystahl G, Reaves B, Bianchi A, Enck W, Kapravelos A, Machiry A.  2023.  ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions. 32nd USENIX Security Symposium (USENIX Security 23). :6983--7000.
2022
Koishybayev I, Nahapetyan A, Zachariah R, Muralee S, Reaves B, Kapravelos A, Machiry A.  2022.  Characterizing the Security of Github CI Workflows. 31st USENIX Security Symposium (USENIX Security 22). :2747--2763.
2019
Gustafson E, Muench M, Spensky C, Redini N, Machiry A, Fratantonio Y, Balzarotti D, Francillon A, Choe YRyn, Kruegel C et al..  2019.  Toward the Analysis of Embedded Firmware through Automated Re-hosting. 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019). :135--150.
2017
Redini N, Machiry A, Das D, Fratantonio Y, Bianchi A, Gustafson E, Shoshitaishvili Y, Kruegel C, Vigna G.  2017.  BootStomp: On the Security of Bootloaders in Mobile Devices. 26th USENIX Security Symposium (USENIX Security 17). :781--798.
Machiry A, Spensky C, Corina J, Stephens N, Kruegel C, Vigna G.  2017.  DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers. 26th USENIX Security Symposium (USENIX Security 17). :1007--1024.