@misc {IOPORT.70989253,
    author       = {Anantharaman, Siva and Lin, Hai and Lynch, Christopher and Narendran, Paliath and Rusinowitch, Micha\"el},
    title        = {Cap unification: application to protocol security modulo homomorphic encryption},
    howpublished = {ASIACCS, 192-203 (2010).},
    year         = {2010},
    doi          = {10.1145/1755688.1755713},
    identifier   = {70989253},
}