Compositional security definitions for higher-order where declassification

Documenti analoghi

• Secure Composition of Robust and Optimising Compilers
  di: Kruse, Matthis, et al.
  Pubblicazione: (2023)
• An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
  di: Ren, Silei, et al.
  Pubblicazione: (2025)
• An Array Intermediate Language for Mixed Cryptography
  di: Ding, Vivian, et al.
  Pubblicazione: (2024)
• Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
  di: Gülmez, Merve, et al.
  Pubblicazione: (2023)
• Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
  di: Acay, Coşku, et al.
  Pubblicazione: (2024)