Mario M. Alvarez

According to our database, Mario M. Alvarez authored at least 3 papers between 2015 and 2024.

Collaborative distances:

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

2024

BoLD: Fast and Cheap Dispute Resolution.

Mario M. Alvarez, Henry Arneson, Ben Berger, Lee Bousfield, Chris Buckland, Yafah Edelman, Edward W. Felten, Daniel Goldman, Raul Jordan, Mahimna Kelkar, Akaki Mamageishvili, Harry Ng, Aman Sanghi, Victor Shoup, Terence Tsao

Proceedings of the 6th Conference on Advances in Financial Technologies, 2024

2016

Towards foundational verification of cyber-physical systems.

Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner

Proceedings of the 2016 Science of Security for Cyber-Physical Systems Workshop, 2016

2015

Towards verification of hybrid systems in a foundational proof assistant.

Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015