Blättern nach Person

Mantel, Heiko ; Starostin, Artem :
Transforming Out Timing Leaks, More or Less.
In: LNCS (9326). Springer
[ Konferenzveröffentlichung] , (2015)

Bollmann, Dominik ; Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem :
An Automatic Inference of Minimal Security Types.
Proceedings of the 11th International Conference on Information Systems Security (ICISS)
[ Konferenzveröffentlichung] , (2015)

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David :
Cassandra: Towards a Certifying App Store.

[Report] , (2014)

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Weber, Alexandra :
A Sound Information-Flow Analysis for Cassandra.

[Report] , (2014)

Lortz, Steffen ; Mantel, Heiko ; Starostin, Artem ; Bähr, Timo ; Schneider, David ; Weber, Alexandra :
Cassandra: Towards a Certifying App Store for Android.
Proceedings of the 4th ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM) ACM
[ Konferenzveröffentlichung] , (2014)

Lux, Alexander ; Starostin, Artem :
A Tool for Static Detection of Timing Channels in Java.
2nd International Workshop on Constructive Side-Channel Analysis and Secure Design
[ Konferenzveröffentlichung] , (2011)

Lux, Alexander ; Starostin, Artem :
Side Channel Finder (Version 1.0).

[Anderes] , (2010)

Lux, Alexander ; Mantel, Heiko ; Perner, Matthias ; Starostin, Artem :
Side Channel Finder (Version 1.0).

[Report] , (2010)