Suchergebnisse - Volpano, Dennis

1

Network Programming via Computable Products von Volpano, Dennis

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A type-based approach to program security von Volpano, Dennis, Smith, Geoffrey

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Probabilistic noninterference in a concurrent language von Volpano, Dennis, Smith, Geoffrey

Veröffentlicht in Journal of computer security

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Network Programming via Computable Products von Volpano, Dennis

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Modular network function virtualization von Volpano, Dennis

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Quantitative Toolchain Assurance von Volpano, Dennis, Malzahn, Drew, Pareles, Andrew, Thober, Mark

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Lower bounds on type checking overloading von Volpano, Dennis M.

Veröffentlicht in Information processing letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

LEGOⓇ Bricks for Reactive Programming von Volpano, Dennis

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Provably secure programming languages for remote evaluation von Volpano, Dennis

Veröffentlicht in ACM computing surveys

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Eliminating covert flows with minimum typings von Volpano, D., Smith, G.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Dennis Volpano, Associate Professor, Computer Science von Volpano, Dennis

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Subtypes and quantification von Volpano, Dennis M.

Veröffentlicht in ACM transactions on programming languages and systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Safety versus Secrecy: Invited Paper von Volpano, Dennis

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

PERSONAL VIRTUAL BRIDGED LOCAL AREA NETWORKS von VOLPANO, Dennis, Michael

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Quantitative Toolchain Assurance von Volpano, Dennis, Malzahn, Drew, Pareles, Andrew, Thober, Mark

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Public access point von Volpano Dennis Michael

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Personal virtual bridged local area networks von Volpano, Dennis, Michael

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Global service set identifiers von VOLPANO DENNIS

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Probabilistic noninterference in a concurrent language1 von Volpano, Dennis, Smith, Geoffrey

Veröffentlicht in Journal of computer security

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Towards an ML-style polymorphic type system for C von Smith, Geoffrey, Volpano, Dennis

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
Nächster
[10]

Network Programming via Computable Products von Volpano, Dennis

A type-based approach to program security von Volpano, Dennis, Smith, Geoffrey

Probabilistic noninterference in a concurrent language von Volpano, Dennis, Smith, Geoffrey

Network Programming via Computable Products von Volpano, Dennis

Modular network function virtualization von Volpano, Dennis

Quantitative Toolchain Assurance von Volpano, Dennis, Malzahn, Drew, Pareles, Andrew, Thober, Mark

Lower bounds on type checking overloading von Volpano, Dennis M.

LEGOⓇ Bricks for Reactive Programming von Volpano, Dennis

Provably secure programming languages for remote evaluation von Volpano, Dennis

Eliminating covert flows with minimum typings von Volpano, D., Smith, G.

Dennis Volpano, Associate Professor, Computer Science von Volpano, Dennis

Subtypes and quantification von Volpano, Dennis M.

Safety versus Secrecy: Invited Paper von Volpano, Dennis

PERSONAL VIRTUAL BRIDGED LOCAL AREA NETWORKS von VOLPANO, Dennis, Michael

Quantitative Toolchain Assurance von Volpano, Dennis, Malzahn, Drew, Pareles, Andrew, Thober, Mark

Public access point von Volpano Dennis Michael

Personal virtual bridged local area networks von Volpano, Dennis, Michael

Global service set identifiers von VOLPANO DENNIS

Probabilistic noninterference in a concurrent language1 von Volpano, Dennis, Smith, Geoffrey

Towards an ML-style polymorphic type system for C von Smith, Geoffrey, Volpano, Dennis

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle