Publications
Journals
A Framework for Secure Execution of Software
Maña, A.; López, J.; Ortega, J.; Pimentel, E.; Troya, J.M. International Journal of Information Security, Vol. 3, Issue 2, Springer-Verlag, 2004.
Conference papers (peer reviewed)
Towards formal specification of abstract security properties.
A. Maña and G. Pujol. Third International Conference on Availability, Reliability and Security, Barcelona, 2008, pp. 80-87, doi: 10.1109/ARES.2008.202.
Invited Talks
Bridging the GAP between Software Certification and Trusted Computing for securing Cloud Computing
A. Maña. Invited Talk at Trusted Computing Group Meeting, Madrid, June 20th, 2012.