@inproceedings{RGL-ccs26,
  title     = {Refinement-based Verification of Cryptographic Protocols with
               Quantitative Values},
  author    = {Rakotonirina, Itsaka and Gomez-Martinez, Javier and Li, Aoxuan and Moreno-Sanchez, Pedro and Schneidewind, Clara},
  booktitle = {ACM Conference on Computer and Communications Security (CCS)},
  keywords  = {timed cryptography, fairness, symbolic model},
  year      = 2026
}