Publications

[1] Nilo Redini, Aravind Machiry, Ruoyu Wang, Chad Spensky, Andrea Continella, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna, “KARONTE: Detecting Insecure Multi-binary Interactions in Embedded Firmware”. To appear in Proceedings of the IEEE Symposium on Security & Privacy (S&P), May, 2020. [pdf]

[2] Aravind Machiry, Nilo Redini, Eric Cammellini, Christopher Kruegel, Giovanni Vigna, “SPIDER: Enabling Fast Patch Propagation in Related Software Repositories”. To appear in Proceedings of the IEEE Symposium on Security & Privacy (S&P), May, 2020. [pdf]

[3] Eric Gustafson, Marius Muench, Chad Spensky, Nilo Redini, Aravind Machiry, Yanick Fratantonio, Davide Balzarotti, Aurelien Francillon, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna, “Toward the Analysis of Embedded Firmware through Automated Re-hosting”. Symposium on Research in Attacks, Intrusion, and Defenses (RAID), Beijing, Sep, 2019. [pdf]

[4] Nilo Redini, Ruoyu Wang, Aravind Machiry, Yan Shoshitaishvili, Giovanni Vigna, Christopher Kruegel, “Bintrimmer: Towards Static Binary Debloating Through Abstract Interpretation”. In Proceedings of the Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA), Aug, 2019. [pdf]

[5] Aravind Machiry, Nilo Redini, Eric Gustafson, Hojjat Aghakhani, Christopher Kruegel, Giovanni Vigna, “Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools”. Workshop on Binary Analysis Research (BAR), San Diego, Feb, 2019. [pdf]

[6] Nilo Redini, Aravind Machiry, Dipanjan Das, Yanick Fratantonio, Antonio Bianchi, Eric Gustafson, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna, “BootStomp: On the Security of Bootloaders in Mobile Devices”. 26th USENIX Security Symposium (USENIX), Vancouver, Aug, 2017. [pdf]

[7] Aravind Machiry, Nilo Redini, Eric Gustafson, Yanick Fratantonio, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna, “Using Loops For Malware Classification Resilient to Feature-unaware Perturbations”. Proceedings of the 34th Annual Computer Security Applications Conference (ACSAC), San Juan, Dec, 2018. [pdf]

[8] Tommaso Cucinotta, Gianluca Dini, Nilo Redini, “Access Control for the Pepys Internet-wide File-System”. In Proceedings of the 7th International Workshop on Plan 9 (IWP9), Dublin, Nov, 2012. [pdf]

[9] Francesco Disperati, Dario Grassini, Enrico Gregori, Alessandro Improta, Luciano Lenzini, Davide Pellegrino, Nilo Redini, “SmartProbe: a Bottleneck Capacity Estimation Tool for Smartphones”. IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing (GreenCom-ithings-CPSCom), Beijing, 2013. [pdf]