@article{ABGMV:OOPSLA:24,
 author    = {Martin Avanzini and
                  Gilles Barthe and
                  Benjamin Gr{\'{e}}goire and
                  Georg Moser and
                  Gabriele Vanoni},
 title     = {Hopping Proofs of Expectation-Based Properties: Applications to Skiplists
                  and Security Proofs},
 year      = {2024},
 journal   = {Proc. {ACM} Program. Lang.},
 volume    = {8},
 pages     = {784--809},
 number    = {{OOPSLA1}},
 doi       = {10.1145/3649839},
 keywords  = {article}
}