The Foundational Cryptography Framework von Petcher, Adam, Morrisett, Greg

Volltext

A Foundational Proof Framework for Cryptography von Petcher, Adam

Volltext bestellen

A usable interface for location-based access control and Over-The-Air Keying in tactical environments von Petcher, A., Khazan, R., Utin, D.

Volltext

The Foundational Cryptography Framework von Petcher, Adam, Morrisett, Greg

Volltext bestellen

A Foundational Proof Framework for Cryptography von Petcher,Adam

Volltext bestellen

The Foundational Cryptography Framework von Petcher, Adam, Morrisett, Greg

Volltext

Verified Correctness and Security of mbedTLS HMAC-DRBG von Ye, Katherine Q, Green, Matthew, Sanguansin, Naphat, Beringer, Lennart, Petcher, Adam, Appel, Andrew W

Volltext

MISSION PLANNING INTERFACE FOR ACCESSING VEHICLE RESOURCES von UTIN, Daniil M, KHAZAN, Roger, PETCHER, Adam Shawn

Volltext bestellen

Location based access control of material transportation vehicle resources von KHAZAN ROGER, PETCHER ADAM SHAWN, UTIN DANIIL M

Volltext bestellen

LOCATION BASED ACCESS CONTROL OF MATERIAL TRANSPORTATION VEHICLE RESOURCES von KHAZAN ROGER, PETCHER ADAM SHAWN, UTIN DANIIL M

Volltext bestellen

Mission planning interface for accessing vehicle resources von KHAZAN ROGER, PETCHER ADAM SHAWN, UTIN DANIIL M

Volltext bestellen

MISSION PLANNING INTERFACE FOR ACCESSING VEHICLE RESOURCES von PETCHER, ADAM SHAWN, UTIN, DANIIL M, KHAZAN, ROGER

Volltext bestellen

MISSION PLANNING INTERFACE FOR ACCESSING VEHICLE RESOURCES von KHAZAN ROGER, PETCHER ADAM SHAWN, UTIN DANIIL M

Volltext bestellen

MISSION PLANNING INTERFACE FOR ACCESSING VEHICLE RESOURCES von PETCHER, ADAM SHAWN, UTIN, DANIIL M, KHAZAN, ROGER

Volltext bestellen