Tag Archives: cryptography

Proxy cryptography

Susan Hohenberger defended her thesis Friday at MIT. Susan’s thesis work is on developing secure algorithms for proxy cryptography. These are new cryptographic constructions that are designed to allow a third party, the proxy, to take a cryptographic object produced for (or by) a particular key and transform it so that it is a valid object for (or [...]

Automatically verifying security properties

Today a few of us had lunch with Yoshi Kohno who is visiting MIT and gave a talk about his research on Monday. An important aspect of Yoshi’s research is the problem of translating theoretical security results into secure implementations. He gave an example of how the way that WinZip employed the theoretically secure encrypt-then-MAC paradigm of authenticated [...]