Martina Camaioni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits. | Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat |
| 2026 | CPP | Towards Composable Proofs of Cache Coherence Protocols. | Martina Camaioni, Yann Herklotz, Tz-Ching Yu, Thomas Bourgeat |
| 2026 | PODC | Fast Byzantine Total Order Broadcast. | Matteo Monti, Martina Camaioni, Pierre-Louis Roman |
| 2024 | OSDI | Chop Chop: Byzantine Atomic Broadcast to the Network Limit. | Martina Camaioni, Rachid Guerraoui, Matteo Monti, Pierre-Louis Roman, Manuel Vidigueira, Gauthier Voron |
| 2022 | PERCOM | Should I Mine or Should I Break: On the Worthiness of Brute-Forcing Cryptocurrency Addresses. | Alessandro Brighente, Martina Camaioni, Mauro Conti, Emilio Olivastri |