Login / Signup

Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version).

Toby MurrayMukesh TiwariGidon ErnstDavid A. Naumann
Published in: CoRR (2023)
Keyphrases
  • keywords
  • prior knowledge
  • information sharing
  • information content
  • data sets
  • real world
  • machine learning
  • higher level
  • information fusion
  • verification method