Artem Starostin

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