Dr.-Ing. Artem Starostin
机构: Finanz Informatik Solutions Plus GmbH
每年引用次数
引用次数
引用: 682
H-指数: 12
I10-指数 : 13
出版物: 20
Pervasive verification of an OS microkernel: inline assembly, memory consumption, concurrent devices
Eyad Alkassar , Artem Starostin , Alexandra Tsyban , Wolfgang J. Paul
verified software theories tools experiments 71 -85
23
2010
Side Channel Finder (Version 1.0)
Artem Starostin , Matthias Perner , Alexander Lux , Heiko Mantel
1
2010
Cassandra: Towards a Certifying App Store
Artem Starostin , Steffen Lortz , Heiko Mantel , Timo Bähr
2014
Formal pervasive verification of a paging mechanism
Eyad Alkassar , Norbert Schirmer , Artem Starostin
tools and algorithms for construction and analysis of systems 109 -123
41
2008
A tool for static detection of timing channels in Java
Alexander Lux , Artem Starostin
Journal of Cryptographic Engineering 1 ( 4) 303 -313
9
2011
A framework for static detection of privacy leaks in android applications
Christopher Mann , Artem Starostin
acm symposium on applied computing 1457 -1462
95
2012
Verified Process-Context Switch for C-Programmed Kernels
Artem Starostin , Alexandra Tsyban
Verified Software: Theories, Tools, Experiments 240 -254
9
2008
The Verisoft Approach to Systems Verification
Eyad Alkassar , Mark A. Hillebrand , Dirk Leinenbach , Norbert W. Schirmer
Verified Software: Theories, Tools, Experiments 209 -224
91
2008
Correct Microkernel Primitives
Artem Starostin , Alexandra Tsyban
Electronic Notes in Theoretical Computer Science 217 169 -185
20
2008
Transforming Out Timing Leaks, More or Less
Heiko Mantel , Artem Starostin
Computer Security -- ESORICS 2015 447 -467
25
2015
Cassandra: Towards a Certifying App Store for Android
Steffen Lortz , Heiko Mantel , Artem Starostin , Timo Bähr
security and privacy in smartphones and mobile devices 93 -104
33
2014
Balancing the load: Leveraging a semantics stack for systems verification
Eyad Alkassar , Mark A Hillebrand , Dirk C Leinenbach , Norbert W Schirmer
Journal of Automated Reasoning 42 ( 2) 389 -454
62
2009
Balancing the Load
Eyad Alkassar , Mark A Hillebrand , Dirk C Leinenbach , Norbert W Schirmer
Journal of Automated Reasoning,()
1
Poster: Software security for mobile devices
Steven Arzt , Alexandre Bartel , Richard Gay , Steffen Lortz
Proc. of the 36th IEEE Symp. on Security and Privacy. Piscataway: IEEE 1 -2
5
2015
A sound information-flow analysis for Cassandra
Steffen Lortz , Heiko Mantel , Artem Starostin , A Weber
TU Darmstadt, Tech. Rep.
10
2014
An automatic inference of minimal security types
Dominik Bollmann , Steffen Lortz , Heiko Mantel , Artem Starostin
Information Systems Security: 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings 11 395 -415
1
2015
Certifying the Security of Android Applications with Cassandra
Steffen Lortz , Heiko Mantel , David Schneider , Artem Starostin
Formal verification of a C-library for strings
Artem Starostin
Saarland University, Computer Science Department
18
2006
Formal verification of demand paging
Artem Starostin
Saarland University, Computer Science Department
12
2010
Addendum to the Article “Transforming Out Timing Leaks, More or Less”—Experimental Results
Heiko Mantel , Artem Starostin