Nicolas Lagaillardie

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Privacy Preserving

Affine Transformation

Top Venues

Dagstuhl Artifacts Ser.

Publications

Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. CoRR (2024)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. CoRR (2022)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. ECOOP (2022)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Implementing Multiparty Session Types in Rust. COORDINATION (2020)
Nicolas Lagaillardie, Mohamed Aimen Djari, Önder Gürcan
A Computational Study on Fairness of the Tendermint Blockchain Protocol. Inf. 10 (12) (2019)