Omar Cardona

According to our database, Omar Cardona authored at least 2 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Hardening attack surfaces with formally proven binary format parsers.

Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2015

Dynamic reconfiguration of IO adapters for real-time outage prevention.

Rajarshi Das, Vishal Mansur, Nikhil Hegde, Omar Cardona

Proceedings of the Posters and Demos Session of the 16th International Middleware Conference, 2015