Proving the TLS Handshake Secure (As It Is) (Q2874540): Difference between revisions

@@ Property / author @@
-Cédric Fournet
@@ Property / author: Cédric Fournet / rank @@
-Normal rank
@@ Property / author @@
-Alfredo Pironti
@@ Property / author: Alfredo Pironti / rank @@
-Normal rank
@@ Property / author @@
+Cédric Fournet
@@ Property / author: Cédric Fournet / rank @@
+Normal rank
@@ Property / author @@
+Alfredo Pironti
@@ Property / author: Alfredo Pironti / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-44381-1_14
+Normal rank
@@ Property / OpenAlex ID @@
+W75729132
@@ Property / OpenAlex ID: W75729132 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2874540