Suchergebnisse - Goldschlag, David M.

1

Temporarily hidden bit commitment and lottery applications von Goldschlag, David M., Stubblebine, Stuart G., Syverson, Paul F.

Veröffentlicht in International journal of information security

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Anonymous connections and onion routing von Reed, M.G., Syverson, P.F., Goldschlag, D.M.

Veröffentlicht in IEEE journal on selected areas in communications

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Hiding Routing information von Goldschlag, David M., Reed, Michael G., Syverson, Paul F.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A Mechanization of Unity in PC-NQTHM-92 von Goldschlag, David M

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Publicly verifiable lotteries: Applications of delaying functions von Goldschlag, David M., Stubblebine, Stuart G.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Unlinkable serial transactions von Syverson, Paul F., Stubblebine, Stuart G., Goldschlag, David M.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Security issues in networks with Internet access von Landwehr, C.E., Goldschlag, D.M.

Veröffentlicht in Proceedings of the IEEE

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Protocols using anonymous connections: Mobile applications von Reed, Michael G., Syverson, Paul F., Goldschlag, David M.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Mechanically verifying safety and liveness properties of delay insensitive circuits von Goldschlag, David M.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Private Web browsing von Syverson, Paul F., Reed, Michael G., Goldschlag, David M.

Veröffentlicht in Journal of computer security

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Mechanically verifying concurrent programs with the Boyer-Moore prover von Goldschlag, D.M.

Veröffentlicht in IEEE transactions on software engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

INFORMATION ACCESS CONTROL SYSTEM AND METHOD von GOLDSCHLAG, DAVID M, KRAVITZ, DAVID W

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Pirate Card Rejection von Goldschlag, David M., Kravitz, David W.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Mechanically verifying safety and liveness properties of delay insensitive circuits von Goldschlag, David M.

Veröffentlicht in Formal methods in system design

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Conditional Access Concepts and Principles von Kravitz, David W., Goldschlag, David M.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

INFORMATION ACCESS CONTROL SYSTEM AND METHOD von KRAVITZ, DAVID, W, GOLDSCHLAG, DAVID, M

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Unlinkable serial transactions: protocols and applications von Stubblebine, Stuart G., Syverson, Paul F., Goldschlag, David M.

Veröffentlicht in ACM transactions on information and system security

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

A mechanical formalization of several fairness notions von Goldschlag, David M.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Several Secure Store and Forward Devices von Goldschlag, David M

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Conditional access via secure logging with simplified key management von GOLDSCHLAG DAVID M, KRAVITZ DAVID W

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Temporarily hidden bit commitment and lottery applications von Goldschlag, David M., Stubblebine, Stuart G., Syverson, Paul F.

Anonymous connections and onion routing von Reed, M.G., Syverson, P.F., Goldschlag, D.M.

Hiding Routing information von Goldschlag, David M., Reed, Michael G., Syverson, Paul F.

A Mechanization of Unity in PC-NQTHM-92 von Goldschlag, David M

Publicly verifiable lotteries: Applications of delaying functions von Goldschlag, David M., Stubblebine, Stuart G.

Unlinkable serial transactions von Syverson, Paul F., Stubblebine, Stuart G., Goldschlag, David M.

Security issues in networks with Internet access von Landwehr, C.E., Goldschlag, D.M.

Protocols using anonymous connections: Mobile applications von Reed, Michael G., Syverson, Paul F., Goldschlag, David M.

Mechanically verifying safety and liveness properties of delay insensitive circuits von Goldschlag, David M.

Private Web browsing von Syverson, Paul F., Reed, Michael G., Goldschlag, David M.

Mechanically verifying concurrent programs with the Boyer-Moore prover von Goldschlag, D.M.

INFORMATION ACCESS CONTROL SYSTEM AND METHOD von GOLDSCHLAG, DAVID M, KRAVITZ, DAVID W

Pirate Card Rejection von Goldschlag, David M., Kravitz, David W.

Mechanically verifying safety and liveness properties of delay insensitive circuits von Goldschlag, David M.

Conditional Access Concepts and Principles von Kravitz, David W., Goldschlag, David M.

INFORMATION ACCESS CONTROL SYSTEM AND METHOD von KRAVITZ, DAVID, W, GOLDSCHLAG, DAVID, M

Unlinkable serial transactions: protocols and applications von Stubblebine, Stuart G., Syverson, Paul F., Goldschlag, David M.

A mechanical formalization of several fairness notions von Goldschlag, David M.

Several Secure Store and Forward Devices von Goldschlag, David M

Conditional access via secure logging with simplified key management von GOLDSCHLAG DAVID M, KRAVITZ DAVID W

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle