GradNova

Improving Security Properties of Systems

1 faculty research Improving Security Properties of Systems 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