2011
2010
- Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010Dengguo Feng, David A. Basin, Peng Liu, editors, ACM, 2010.
2009
- Proceedings of the Second ACM Conference on Wireless Network Security, WISEC 2009, Zurich, Switzerland, March 16-19, 2009David A. Basin, Srdjan Capkun, Wenke Lee, editors, ACM, 2009.
2008
2007
2006
2005
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and ApplicationsAlessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron. cav 2005: 281-285 [doi]
2004
- Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner, editors, ACM, 2004.
- Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, ProceedingsDavid A. Basin, Michaël Rusinowitch, editors, Volume 3097 of Lecture Notes in Computer Science, Springer, 2004.
2003
- Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003Michael Backes, David A. Basin, editors, ACM, 2003.
- Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, ProceedingsDavid A. Basin, Burkhart Wolff, editors, Volume 2758 of Lecture Notes in Computer Science, Springer, 2003.
2002
2001
2000
PreviousNext