Concepedia

Nilo Redini

NR

Statistics

Publications

8

Citations

352

H-Index

8

Active since

2017

Affiliations

University of California, Santa Barbara(Current)

Sandia National Laboratories

Purdue University West Lafayette

Nilo Redini is an author at University of California, Santa Barbara specializing in engineering, software analysis, and computer science.

Top concepts

EngineeringComputer ScienceSoftware AnalysisData SecurityProgram AnalysisSystem SoftwareHardware SecurityFormal VerificationComputer EngineeringInformation Security

Publications per year

2017–2022

8

Publications

8

Karonte: Detecting Insecure Multi-binary Interactions in Embedded Firmware

Nilo Redini, Aravind Machiry, Ruoyu Wang et al. · 2020 · 115 citations · Full text

Engineering, Information Security, Embedded Firmware +19

Diane: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices

Nilo Redini, Andrea Continella, Dipanjan Das et al. · 2021 · 63 citations

Engineering, Information Security, Companion App +19

Toward the Analysis of Embedded Firmware through Automated Re-hosting

Eric Gustafson, Marius Muench, Chad Spensky et al. · eScholarship (California Digital Library) · 2019 · 60 citations · Full text

Software Maintenance, Translation Studies, Literary Theory +19

Bootstomp: On the security of bootloaders in mobile devices

Nilo Redini, Aravind Machiry, Dipanjan Das et al. · USENIX Security Symposium · 2017 · 29 citations

Mobile Security, Engineering, Information Security +7

SPIDER: Enabling Fast Patch Propagation In Related Software Repositories

Aravind Machiry, Nilo Redini, Eric Camellini et al. · 2020 · 28 citations · Full text

Software Maintenance, Cluster Computing, Engineering +23

Rows per page

1–5 of 8