Heterogeneous Computing Laboratory
UCD School of Computer Science and Informatics
Projects
People
Publications
Conferences
Hardware
Wiki
Contact
Search this site:
Publications
List
Filter
Export 1 results:
RTF
XML
BibTex
Sort by:
Author
[
Title
]
Type
Year
Filters:
Keyword
is
cryptography
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
[
Show ALL
]
V
Dichev, K.
,
Verifikation der Eigenschaften von kryptographischen Protokollen unter Verwendung von Spin Was ist Model Checking?
,
: University of Stuttgart, pp. 1–8, 2005.
RTF
XML
BibTex
Google Scholar
Projects
Computation models
Communication models
Heterogeneous algorithms
Programming tools
Mathematical software
User login
Username:
*
Password:
*
Request new password