Artem Starostin

According to our database, Artem Starostin authored at least 11 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

An Automatic Inference of Minimal Security Types.

Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin

Proceedings of the Information Systems Security - 11th International Conference, 2015

Transforming Out Timing Leaks, More or Less.

Heiko Mantel, Artem Starostin

Proceedings of the Computer Security - ESORICS 2015, 2015

2014

Cassandra: Towards a Certifying App Store for Android.

Steffen Lortz, Heiko Mantel, Artem Starostin, Timo Bähr, David Schneider, Alexandra Weber

Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, 2014

2012

A framework for static detection of privacy leaks in android applications.

Christopher Mann, Artem Starostin

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

A tool for static detection of timing channels in Java.

Alexander Lux, Artem Starostin

J. Cryptogr. Eng., 2011

2010

Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices.

Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban

Proceedings of the Verified Software: Theories, 2010

2009

Balancing the Load.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban

J. Autom. Reason., 2009

2008

Correct Microkernel Primitives.

Artem Starostin, Alexandra Tsyban

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

Verified Process-Context Switch for C-Programmed Kernels.

Artem Starostin, Alexandra Tsyban

Proceedings of the Verified Software: Theories, 2008

The Verisoft Approach to Systems Verification.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin

Proceedings of the Verified Software: Theories, 2008

Formal Pervasive Verification of a Paging Mechanism.

Eyad Alkassar, Norbert Schirmer, Artem Starostin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008