Formal Pervasive Verification of a Paging Mechanism. - Eyad Alkassar; Norbert Schirmer; Artem Starostin (TACAS, 2008)

The Verisoft Approach to Systems Verification. - Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin (VSTTE, 2008)

Verified Process-Context Switch for C-Programmed Kernels. - Artem Starostin; Alexandra Tsyban (VSTTE, 2008)

Correct Microkernel Primitives. - Artem Starostin; Alexandra Tsyban (SSV, 2008)

Balancing the Load. - Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin; Alexandra Tsyban (J. Autom. Reason., 2009)

Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. - Eyad Alkassar; Wolfgang J. Paul; Artem Starostin; Alexandra Tsyban (VSTTE, 2010)

A tool for static detection of timing channels in Java. - Alexander Lux; Artem Starostin (J. Cryptogr. Eng., 2011)

A framework for static detection of privacy leaks in android applications. - Christopher Mann; Artem Starostin (SAC, 2012)

Cassandra: Towards a Certifying App Store for Android. - Steffen Lortz; Heiko Mantel; Artem Starostin; Timo Bähr; David Schneider 002; Alexandra Weber (SPSM@CCS, 2014)

Transforming Out Timing Leaks, More or Less. - Heiko Mantel; Artem Starostin (ESORICS (1), 2015)

An Automatic Inference of Minimal Security Types. - Dominik Bollmann; Steffen Lortz; Heiko Mantel; Artem Starostin (ICISS, 2015)