Hernan M. Palombo

According to our database, Hernan M. Palombo authored at least 6 papers between 2017 and 2020.

Collaborative distances:

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

2020

Models of Secure Software Enforcement and Development.

Hernan M. Palombo

PhD thesis, 2020

An Ethnographic Understanding of Software (In)Security and a Co-Creation Model to Improve Secure Software Development.

Hernan M. Palombo, Armin Ziaie Tabari, Daniel Lende, Jay Ligatti, Xinming Ou

Proceedings of the Sixteenth Symposium on Usable Privacy and Security, 2020

Stream-Monitoring Automata.

Hernan M. Palombo, Egor Dolzhenko, Jay Ligatti, Hao Zheng

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

2018

Enhancing Observability for Post-Silicon Debug with On-chip Communication Monitors.

Yuting Cao, Hernan M. Palombo, Sandip Ray, Hao Zheng

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

2017

A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug.

Yuting Cao, Hao Zheng, Hernan M. Palombo, Sandip Ray, Jin Yang

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

POSTER: Towards Precise and Automated Verification of Security Protocols in Coq.

Hernan M. Palombo, Hao Zheng, Jay Ligatti

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017