Asplos24 Lightning Talks Session 4d Formal Mechanised Semantics Of Cheri C Capabilities Und 1.18 MB 1:26 Play Download
Ec21 Flash Optimal Algorithms For Multiwinner Elections And The Chamberlincourant Rule 914.06 KB 1:05 Play Download