1. »
  2. Lehrstuhl für Systemsicherheit
  3. »
  4. Personen
  5. »
  6. Dr.-Ing. Cornelius Aschermann

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