Welcome to ART¶
Anoma Research Topics (ART) is an open-access, peer-reviewed index of research and development focused on distributed systems, cryptography, compilers, and Anoma related topics. It is community-driven and primarily features contributions from Anoma researchers, but external submissions are more than welcome.
-
Recent ARTs (Updated: 2025-11-28 04:24:56)
Heterogeneous trust in reliable broadcast via modal logic and history structures
Heterogeneous distributed systems, Distributed Broadcast, Bracha Broadcast, Modal Logic, Kripke semantics, History Structures
Heterogeneous Broadcast in Lean 4
distributed systems, formal methods, lean4, Mathematical logic, formal verification
Optimising Shielded State Synchronization with FMD and TEEs
FMD, TEE, shielded state syncronisation
Dynamic Effective Timed Communication Systems
Distributed systems, Time-stamped events, Denotational semantics, Temporal dependencies, Enriched Event Diagrams, Actor Model