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.uni-trier.de/rec/conf/csfw/Blanchet12.nt
. . . . . "Bruno Blanchet: Automatically Verified Mechanized Proof of One-Encryption Key Exchange. (2012)" . . _:ID_f8105448887953505180637002a12e51 . _:ID_f8105448887953505180637002a12e51 . _:ID_f8105448887953505180637002a12e51 . _:ID_f8105448887953505180637002a12e51 . _:ID_f8105448887953505180637002a12e51 "conf/csfw/Blanchet12" . _:ID_1413871a1f2a50cdb371a0b690879867 . _:ID_1413871a1f2a50cdb371a0b690879867 . _:ID_1413871a1f2a50cdb371a0b690879867 . _:ID_1413871a1f2a50cdb371a0b690879867 . _:ID_1413871a1f2a50cdb371a0b690879867 "10.1109/CSF.2012.8" . "Automatically Verified Mechanized Proof of One-Encryption Key Exchange." . . . . "1"^^ . _:Sig_14db24ed2b3c76946e4b3414a5645195_1 . _:Sig_14db24ed2b3c76946e4b3414a5645195_1 . _:Sig_14db24ed2b3c76946e4b3414a5645195_1 . _:Sig_14db24ed2b3c76946e4b3414a5645195_1 "Bruno Blanchet" . _:Sig_14db24ed2b3c76946e4b3414a5645195_1 . _:Sig_14db24ed2b3c76946e4b3414a5645195_1 "1"^^ . _:Sig_14db24ed2b3c76946e4b3414a5645195_1 . . . . . . "325-339" . "CSF" . "CSF" . "2012"^^ . "2012"^^ . . "provenance information for RDF data of dblp record 'conf/csfw/Blanchet12'" . . . . "2023-03-24T00:04:59+0100" .