Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)

Documenti analoghi

• Formally Verifying the Security of Probabilistic Oblivious Algorithms
  di: Yan, Pengbo
  Pubblicazione: (2025)
• A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
  di: Tobler, James, et al.
  Pubblicazione: (2025)
• Practical Refinement Session Type Inference (Extended Version)
  di: Ueno, Toby, et al.
  Pubblicazione: (2026)
• Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
  di: Grandury, Marcos, et al.
  Pubblicazione: (2025)
• Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
  di: Ling, Hongyi, et al.
  Pubblicazione: (2026)