Login / Signup

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

Thomas Van StrydonckAïna Linn GeorgesArmaël GuéneauAlix TrieuAmin TimanyFrank PiessensLars BirkedalDominique Devriese
Published in: CSF (2022)
Keyphrases
  • security properties
  • formal model
  • case study
  • security protocols