iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/iacr/BhargavanBDHKSW21.nt
. . "Karthikeyan Bhargavan et al.: An In-Depth Symbolic Security Analysis of the ACME Standard. (2021)" . _:ID_df3ceeddba8f7fc4346a1fe9bf4d7783 . _:ID_df3ceeddba8f7fc4346a1fe9bf4d7783 . _:ID_df3ceeddba8f7fc4346a1fe9bf4d7783 . _:ID_df3ceeddba8f7fc4346a1fe9bf4d7783 . _:ID_df3ceeddba8f7fc4346a1fe9bf4d7783 "journals/iacr/BhargavanBDHKSW21" . "An In-Depth Symbolic Security Analysis of the ACME Standard." . . . . . . . . . . . . . . . . "7"^^ . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_1 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_1 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_1 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_1 "Karthikeyan Bhargavan" . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_1 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_1 "1"^^ . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_1 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_2 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_2 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_2 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_2 "Abhishek Bichhawat" . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_2 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_2 "2"^^ . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_2 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_3 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_3 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_3 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_3 "Quoc Huy Do 0001" . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_3 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_3 "3"^^ . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_3 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_4 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_4 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_4 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_4 "Pedram Hosseyni" . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_4 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_4 "4"^^ . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_4 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_5 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_5 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_5 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_5 "Ralf K\u00FCsters" . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_5 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_5 "5"^^ . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_5 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_6 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_6 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_6 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_6 "Guido Schmitz" . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_6 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_6 "6"^^ . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_6 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_7 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_7 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_7 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_7 "Tim W\u00FCrtele" . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_7 . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_7 "7"^^ . _:Sig_5cdda8cda06f9780b20ad9d9a52d8f3f_7 . . . . . "1457" . "IACR Cryptol. ePrint Arch." . "IACR Cryptol. ePrint Arch." . "2021" . "2021"^^ . "provenance information for RDF data of dblp record 'journals/iacr/BhargavanBDHKSW21'" . . . . "2021-11-12T14:36:03+0100" .