Steve Kremer

No bio available. Add one in Open Library.

Books by Steve Kremer (50 max)

+ shelf+ list

Principles of Security and Trust Third International Conference, POST 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2014

Martín Abadi, Steve Kremer

+ shelf+ list

Formal models and techniques for analyzing security protocols

2011

Véronique Cortier, Steve Kremer