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

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:
4

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:
5

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:
6

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:
7

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:
8

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:
9

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:
10

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:
11

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:
12

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:
13

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:
14

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:
15

Unlinkable serial transactions 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:
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

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

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

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:
19

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:
20

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:

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Several Secure Store and Forward Devices von Goldschlag, David M

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle