Sebastian Krings

Sebastian Krings

Software Engineer

Axivion

I am a software engineer working at Axivion, were we develop analysis tools used to stop software erosion.

Formerly, I used to be a research fellow at both Clavis, the institute for information security of the Niederrhein University of Applied Sciences, and the software engineering and programming languages department at the University of Düsseldorf. My research was concerned with formal software verification, with a focus on symbolic model checking techniques for high-level languages.

My scientific publications can be found on the publication list, on Google Scholar and dblp. The script on artificial intelligence my students and I wrote can be found on its webpage. Furthermore, my GitHub profile contains different software projects.

Interests
  • Software Analysis
  • Formal Methods
  • Constraint Logic Programming
  • Penetration Testing
  • Offensive Security
Education
  • Dr. rer. nat. in Computer Science, 2017

    Heinrich-Heine-University

  • M. Sc. in Computer Science, 2012

    Heinrich-Heine-University

  • B. Sc. in Mathematics and Applied Fields, 2012

    Heinrich-Heine-University

  • B. Sc. in Computer Science, 2010

    Heinrich-Heine-University

Recent Posts

Hack The Box Writeup - Postman - 10.10.10.160

Postman is one of the machines of Hack the Box. It was initially released on 2nd November 2019 and retired in March 2020. The machine is based on Linux, rated as easy and resided at the ip 10.10.10.160. In this walkthrough, I discuss my approach to gain user and root flag.

Projects

BMoth

A prototypical model checker focussing on reusable libraries.

CLP(Str)

Constraint Logic Programming Over Strings.

Formal Methods Accessibility

Lower barriers and learning curves to enable the usage of formal methods in mainstream industries.

ProB

ProB

Animator, constraint solver and (symbolic) model checker for the B-Method.

Prolog Language Features

Providing new features to Prolog implementations.

Teaching Formal Methods

Improving formal methods education.