Franqueira, Virginia Nunes Leal, Lopes, Raul H. C. and van Eck, Pascal (2009) Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients. In: Proceeding SAC '09 Proceedings of the 2009 ACM symposium on Applied Computing. Association for Computing Machinery (ACM), New York, NY, USA, pp. 66-73. ISBN 978-1-60558-166-8
Franqueira, Virginia Nunes Leal, Lopes, Raul H. C. and van Eck, Pascal (2008) Multi-step Attack Modelling and Simulation (MsAMS) Framework based on Mobile Ambients. Project Report. Centre for Telematics and Information Technology (CTIT), Enschede.
Lopes, Raul H. C., Franqueira, Virginia Nunes Leal and Hobson, Peter (2013) Efficient Computation of Hash Functions. In: 20th International Conference on Computing In High Energy and Nuclear Physics (CHEP2013), 14-18 October 2013, Amsterdam, The Netherlands.