Login / Signup

SoK: Exploring Current and Future Research Directions on XS-Leaks through an Extended Formal Model.

Tom van GoethemGertjan FrankenIskander Sánchez-RolaDavid DworkenWouter Joosen
Published in: AsiaCCS (2022)
Keyphrases
  • formal model
  • formal models
  • security properties
  • recent trends
  • machine learning
  • predicate calculus
  • security patterns
  • real time
  • neural network
  • information retrieval
  • artificial intelligence