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" .