Dr.-Ing. Paul Rösler

Curriculum Vitae

03/21 - now: Post­doc at Cryp­top­le­xi­ty group, TU Darm­stadt
10/16 - 02/21: PhD with fast track pro­gram To­pING
10/15 - 12/18: Mas­ter in IT-Se­cu­ri­ty at Ruhr Uni­ver­si­ty Bo­chum (RUB), Ger­ma­ny
10/12 - 09/15: Ba­che­lor in IT-Se­cu­ri­ty at RUB
For up­dated in­for­ma­ti­on on vita, pu­bli­ca­ti­ons, and con­tact in­for­ma­ti­on, visit http://​roeslpa.​de




Research

Formal analysis of cryp­to­gra­phic re­al-world pro­to­cols
Key exchange (especially Ratcheting)


Curriculum Vitae

03/21 - now: Post­doc at Cryp­top­le­xi­ty group, TU Darm­stadt
10/16 - 02/21: PhD with fast track pro­gram To­pING
10/15 - 12/18: Mas­ter in IT-Se­cu­ri­ty at Ruhr Uni­ver­si­ty Bo­chum (RUB), Ger­ma­ny
10/12 - 09/15: Ba­che­lor in IT-Se­cu­ri­ty at RUB
For up­dated in­for­ma­ti­on on vita, pu­bli­ca­ti­ons, and con­tact in­for­ma­ti­on, visit http://​roeslpa.​de




Research

Formal analysis of cryp­to­gra­phic re­al-world pro­to­cols
Key exchange (especially Ratcheting)