Login / Signup

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.

Aïna Linn GeorgesArmaël GuéneauThomas Van StrydonckAmin TimanyAlix TrieuDominique DevrieseLars Birkedal
Published in: J. ACM (2024)
Keyphrases
  • third party
  • source code
  • privacy preserving
  • data sets
  • genetic algorithm
  • artificial intelligence
  • java virtual machine
  • machine learning
  • multiscale
  • data flow
  • error detection