@Unpublished{     baelde:hal-03981949,
  Author        = "Baelde, David and Koutsos, Adrien and Lallemand, Joseph",
  date-added    = "2023-04-28 18:11:03 +0200",
  date-modified = "2023-04-28 18:11:03 +0200",
  hal_id        = "hal-03981949",
  hal_version   = "v2",
  Keywords      = "Security protocol analysis ; Computational indistinguishability ; Logic and verification",
  Note          = "working paper or preprint",
  PDF           = "https://inria.hal.science/hal-03981949v2/file/hal.pdf",
  Title         = "{A Higher-Order Indistinguishability Logic for Cryptographic Reasoning}",
  URL           = "https://inria.hal.science/hal-03981949",
  Year          = "2023",
  bdsk-url-1    = "https://inria.hal.science/hal-03981949",
  File          = "A Higher-Order Indistinguishability Logic for Cryptographic Reasoning - hal.pdf"
}

@Unpublished{ baelde:hal-03981949, Author = "Baelde, David and Koutsos, Adrien and Lallemand, Joseph", date-added = "2023-04-28 18:11:03 +0200", date-modified = "2023-04-28 18:11:03 +0200", hal_id = "hal-03981949", hal_version = "v2", Keywords = "Security protocol analysis ; Computational indistinguishability ; Logic and verification", Note = "working paper or preprint", PDF = "https://inria.hal.science/hal-03981949v2/file/hal.pdf", Title = "{A Higher-Order Indistinguishability Logic for Cryptographic Reasoning}", URL = "https://inria.hal.science/hal-03981949", Year = "2023", bdsk-url-1 = "https://inria.hal.science/hal-03981949", File = "A Higher-Order Indistinguishability Logic for Cryptographic Reasoning - hal.pdf" }