Institut for Datalogi

• Udgivet

  Modular verification of op-based CRDTs in separation logic

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

• Udgivet

  Proving full-system security properties under multiple attacker models on capability machines

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

• Udgivet

  Purity of an ST monad: Full abstraction by semantically typed back-translation

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

Vis alle (28) »