Protecting the integrity of trusted applications in mobile phone systems (English)
Security and Communication Networks 4, No. 6, 633-650 (2011).
1
Automating security mediation placement. (English)
Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 327-344 (2010).
2
Avoidance of electromagnetic interference in modem with minimal bit error rate using tele typewriter signals (English)
ICT, 626-631 (2010).
3
Automating security mediation placement (English)
ESOP, 327-344 (2010).
4
Measuring integrity on mobile phone systems (English)
SACMAT, 155-164 (2008).
5