Publications2024-07-29T13:30:35+00:00

Publications & Reports

Filter by

Filters
Year

Neural Networks, Secure by Construction.

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, and David Aspinall.

In: Oliveira, B.C.d.S. (eds) Programming Languages and Systems. APLAS 2020, vol 12470.  2020

Implementing Multiparty Session Types in Rust.

Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida.

In: Bliudze, S., Bocchi, L. (eds) Coordination Models and Languages. COORDINATION 2020. Lecture Notes in Computer Science, vol 12134. 2020

Go to Top