Security Protocols: Specification, Verification, Implementation, and Composition

Omar Almousa

Research output: Book/ReportPh.D. thesisResearch

799 Downloads (Pure)

Projects

Finished

Modeling and Verifying eID Protocols (Future ID)

Almousa, O., Mödersheim, S. A., Nielson, H. R., Lluch Lafuente, A., Brucker, A. D. & Sprenger, C.

EU-finansieret

15/12/201224/02/2016

Project: PhD