Artem Starostin

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Security Problems

Information Loss

Game Development

Top Venues

Publications

Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin
An Automatic Inference of Minimal Security Types. ICISS (2015)
Heiko Mantel, Artem Starostin
Transforming Out Timing Leaks, More or Less. ESORICS (1) (2015)
Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, Alexandra Weber
Cassandra: Towards a Certifying App Store for Android. SPSM@CCS (2014)
Christopher Mann, Artem Starostin
A framework for static detection of privacy leaks in android applications. SAC (2012)
Alexander Lux, Artem Starostin
A tool for static detection of timing channels in Java. J. Cryptogr. Eng. 1 (4) (2011)
Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban
Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices. VSTTE (2010)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
Balancing the Load. J. Autom. Reason. 42 (2-4) (2009)
Artem Starostin, Alexandra Tsyban
Verified Process-Context Switch for C-Programmed Kernels. VSTTE (2008)
Artem Starostin, Alexandra Tsyban
Correct Microkernel Primitives. Electron. Notes Theor. Comput. Sci. 217 (2008)
Eyad Alkassar, Norbert Schirmer, Artem Starostin
Formal Pervasive Verification of a Paging Mechanism. TACAS (2008)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
The Verisoft Approach to Systems Verification. VSTTE (2008)