Dr.-Ing. Cornelius Aschermann

System security

Former assistant

Address:
Ruhr-University Bochum
Faculty of Computer Science
System security
Universitätsstr. 150
--D-44801 Bochum

Office Hours: By arrangement

E-Mail: cornelius.​aschermann@​ruhr-uni-bo­chum.​de



Research

de­com­pi­la­ti­on and type in­fe­rence theo­re­ti­cal as­pects of re­ver­se en­gi­nee­ring & SMT sol­ving pro­gram syn­the­sis


Publications