GradNova

Proving Cryptographic Protocols

1 faculty research Proving Cryptographic Protocols on GradNova.

D

David Wittenberg

Part-time Lecturer

Computer Science

Tufts University

Improving Security Properties of Systems

Proving Cryptographic Protocols

Proving Safety Properties of Models of Physical Systems