Martina Camaioni

According to our database, Martina Camaioni authored at least 17 papers between 2022 and 2026.

Collaborative distances:

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

2026

Graphiti Artefact ASPLOS 2026.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Dataset, January, 2026

Graphiti Artefact ASPLOS 2026.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Dataset, January, 2026

Graphiti Artefact ASPLOS 2026.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Dataset, January, 2026

Graphiti Artefact ASPLOS 2026.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Dataset, January, 2026

Graphiti Artefact ASPLOS 2026.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Dataset, January, 2026

Fast Byzantine Total Order Broadcast.

Matteo Monti, Martina Camaioni, Pierre-Louis Roman

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2026

Towards Composable Proofs of Cache Coherence Protocols.

Martina Camaioni, Yann Herklotz, Tz-Ching Yu, Thomas Bourgeat

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

Graphiti Artefact ASPLOS 2026.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Dataset, December, 2025

Graphiti Artefact ASPLOS 2026.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Dataset, December, 2025

Carbon: Scaling Trusted Payments With Untrusted machines.

Martina Camaioni, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Pierre-Louis Roman, Manuel Vidigueira, Gauthier Voron

IEEE Trans. Dependable Secur. Comput., 2025

2024

Fast Leaderless Byzantine Total Order Broadcast.

Matteo Monti, Martina Camaioni, Pierre-Louis Roman

CoRR, 2024

Chop Chop: Byzantine Atomic Broadcast to the Network Limit.

Martina Camaioni, Rachid Guerraoui, Matteo Monti, Pierre-Louis Roman, Manuel Vidigueira, Gauthier Voron

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2022

Oracular Byzantine Reliable Broadcast [Extended Version].

Martina Camaioni, Rachid Guerraoui, Matteo Monti, Manuel Vidigueira

CoRR, 2022

Carbon: An Asynchronous Voting-Based Payment System for a Client-Server Architecture.

Martina Camaioni, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Manuel Vidigueira

CoRR, 2022

Oracular Byzantine Reliable Broadcast.

Martina Camaioni, Rachid Guerraoui, Matteo Monti, Manuel Vidigueira

Proceedings of the 36th International Symposium on Distributed Computing, 2022

Should I Mine or Should I Break: On the Worthiness of Brute-Forcing Cryptocurrency Addresses.

Alessandro Brighente, Martina Camaioni, Mauro Conti, Emilio Olivastri

Proceedings of the 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2022