activity
20112024
most citedDetecting Fault Injection Attacks with Runtime Verification

6 citations · 18 across the 17 of their papers we have counts for

collaborators
Showing cs.DCShow all

1 paper · 1 filter

cs.DC2019

From Global Choreographies to Provably Correct and Efficient Distributed Implementations

Mohamad Jaber, Yliès Falcone, Paul Attie +2

We define a method to automatically synthesize provably-correct efficient distributed implementations from high-level global choreographies. A global choreography describes the exe…