Vladimir O. Safonov

• Trustworthy Cloud Computing
• Trustworthy Compilers
• Using Aspect-Oriented Programming for Trustworthy Software Development