| 2013 | ICWS | Security Assurance of Services through Digital Security Certificates. | Samuel Paul Kaluvuri, Hristo Koshutanski, Francesco Di Cerbo, Antonio Mana |
| 2013 | SERVICES | Improving Interoperability of Digital Certificates for Software & Services. | Marioli Montenegro, Antonio Mana |
| 2013 | SERVICES | Bridging the GAP between Software Certification and Trusted Computing for Securing Cloud Computing. | Antonio Muoz, Antonio Mana |
| 2012 | PDP | A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components. | Jos Fran. Ruiz, Rajesh Harjani, Antonio Mana, Vasily Desnitsky, Igor V. Kotenko, Andrey Chechulin |
| 2005 | ESORICS | Semantic Access Control Model: A Formal Specification. | Mariemma Inmaculada Yage del Valle, Mara-del-Mar Gallardo, Antonio Mana |
| 2002 | ICICS | Access Control Infrastructure for Digital Objects. | Javier Lpez, Antonio Mana, Ernesto Pimentel, Jos M. Troya, Mariemma Inmaculada Yage del Valle |
| 2001 | SEC | An Efficient Software Protection Scheme. | Antonio Mana, Ernesto Pimentel |
| 2000 | DEXA | Distributed Storage and Revocation in Digital Certificate Databases. | Javier Lpez, Antonio Mana, Juan J. Ortega, Jos M. Troya |