Office: S2|02 E319 Phone: +49 6151 16-50173 Fax: +49 6151 16-5326 Mail: starostinmais.informatik.tu-darmstadt.de Office hour: Friday 13:00-14:00 (during lecture time)

TU Darmstadt Department of Computer Science Modeling and Analysis of Information Systems Hochschulstraße 10 D-64289 Darmstadt Germany

Research Interests

• Software security for mobile devices
• Side-channel analysis
• Formal verification of operating systems

Publications

• A Framework for Static Detection of Privacy Leaks in Android Applications.
  with Christopher Mann
  In Proceedings of the 27th Symposium on Applied Computing (SAC): Computer Security Track, pages 1457--1462, ACM, 2012.
  [PDF][BIB]
• A Tool for Static Detection of Timing Channels in Java
  with Alexander Lux
  In Journal of Cryptographic Engineering, 1(4):303-313, 2011
  [PDF][BIB]
• A Tool for Static Detection of Timing Channels in Java
  with Alexander Lux
  In Proceedings of the 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE), pages 126--140, CASED, 2011
  [PDF] [BIB]
• Side Channel Finder (Version 1.0)
  with Alexander Lux, Heiko Mantel, and Matthias Perner
  Technical Report TUD-CS-2010-0155, TU Darmstadt, 2010
  [PDF] [BIB]
• Pervasive Verification of an OS Microkernel: Inline Assembly, Memory Consumption, Concurrent Devices
  with Eyad Alkassar, Wolfgang J. Paul, and Alexandra Tsyban
  In Proceedings of the 3rd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), volume 6217 of LNCS, pages 71--85, Springer, 2010
  [PDF] [BIB]
  
• Formal Verification of Demand Paging
  Ph.D. thesis, Saarland University, Computer Science Dept., 2010
  [PDF] [BIB]
  
• Balancing the Load: Leveraging a Semantics Stack for Systems Verification
  with Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert W. Schirmer and Alexandra Tsyban
  In Journal of Automated Reasoning: Special Issue on Operating Systems Verification, volume 42, pages 389--454, Springer, 2009
  [PDF] [BIB] [EE © Springer]
  
• Verified Process-Context Switch for C-Programmed Kernels
  with Alexandra Tsyban
  In Proceedings of the 2nd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), volume 5295 of LNCS, pages 240--254, Springer, 2008
  [PDF] [BIB] [EE © Springer]
  
• The Verisoft Approach to Systems Verification
  with Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, and Norbert W. Schirmer
  In Proceedings of the 2nd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), volume 5295 of LNCS, pages 209--224, Springer, 2008
  [PDF] [BIB] [EE © Springer]
  
• Formal Pervasive Verification of a Paging Mechanism
  with Eyad Alkassar and Norbert Schirmer
  In Proceeding of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),  volume 4663 of LNCS, pages 109--123, Springer, 2008
  [PDF] [BIB] [EE © Springer]
  
• Correct Microkernel Primitives
  with Alexandra Tsyban
  In Proceedings of the 3rd International Workshop on Systems Software Verification (SSV), volume 217 of ENTCS, pages 169--185, Elsevier Science B.V., 2008
  [PDF] [BIB] [EE © Elsevier]
  
• Formal Verification of a C Library for Strings
  Master thesis, Saarland University, Computer Science Dept., 2006
  [PDF] [BIB]
  

Education

• 2010 - Ph.D., Computer Science, Saarland University, Saarbrücken, Germany
• 2006 - M.Sc., Computer Science, Saarland University, Saarbrücken, Germany
• 2005 - Diploma in Software Engineering, Khabarovsk State University of Technology, Khabarovsk, Russia