Professional Activities

Editorships

  1. Information Security and Cryptography, editor-in-chief of Springer-Verlag's book series (with Kenny Paterson).
  2. ACM Transactions on Information and System Security, editorial board.
  3. Journal of Automated Reasoning, editorial board.
  4. Acta Informatica, editorial board.
  5. Journal of Applied Logic, editorial board.
  6. Higher-Order and Symbolic Computation, editorial board.
  7. IEEE Transactions on Dependable and Secure Computing, editorial board, 2008-2012.
  8. Information Processing Letters, editorial board, 2003-2009.

Conferences

  1. ESORICS '15, 20th European Symposium on Research in Computer Security, 2015.
  2. RV '15, 15th International Conference on Runtime Verification, 2015.
  3. S&P '15, 36th IEEE Symposium on Security and Privacy, 2015.
  4. POST '15, 4th Conference on Principles of Security and Trust, 2015.
  5. S&P '14, 35th IEEE Symposium on Security and Privacy, 2014.
  6. RV '14, 5th International Conference on Runtime Verification, 2014.
  7. CCS '13, 20th ACM Conference on Computer and Communications Security, 2013.
  8. ESORICS '13, 18th European Symposium on Research in Computer Security, 2013.
  9. DUMA '13, 4th International Workshop on Data Usage Management, 2013.
  10. CSF '13, 26th IEEE Computer Security Foundations Symposium, 2013.
  11. POST '13, 2nd Conference on Principles of Security and Trust, 2013. Program Chair.
  12. MDSsec '12, 1st International Workshop on Model-Driven Security, 2012.
  13. CCS '12, 19th ACM Conference on Computer and Communications Security, 2012.
  14. ESORICS '12, 17th European Symposium on Research in Computer Security, 2012.
  15. ESSOS'12, 4th Symposium on Engineering Secure Software and Systems, 2012.
  16. POST'12, 1st Conference on Principles of Security and Trust, 2012.
  17. CSF'11, 24th IEEE Computer Security Foundations Symposium, 2011.
  18. SACMAT'11, 16th ACM Symposium on Access Control Models and Technologies, 2011.
  19. FM'01, 17th International Symposium on Formal Methods, 2011.
  20. W3C-PDUC, W3C Workshop on Privacy and Data Usage Control, 2011.
  21. ASIACCS'11, 6th ACM Symposium on Information, Computer and Communications Security, 2011.
  22. FOSSACS'11, 14th International Conference on Foundations of Software Science and Computation Structures, 2011.
  23. ASIACCS'10, ACM Symposium on Information, Computer and Communications Security (ASIACCS), Beijing, March 2010. Program Chair.
  24. ESORICS'09, 14th European Symposium on Research in Computer Security, Saint Malo France, September 2009.
  25. SecReT'09, 4th Inernational Workshop on Security and Rewriting Techniques, New York USA, July 2009.
  26. WiSec'09, 2nd ACM Conference on Wireless Network Security, Zurich Switzerland, May 2009. Conference Chair.
  27. iNetSec'09, Workshop on Open Research Problems in Network Security, Zurich, April 2009.
  28. ASIACCS'09, 4th ASIA Computer and Communication Security Conference, Sidney Australia, March 2009.
  29. SAC'09, 24th ACM Symposium on Appplied Computing, Honolulu USA, 2009.
  30. ZISC Workshop, Advanced Concepts of Access and Usage Control, Zurich Switzerland, September 2008. Organizer.
  31. ICFEM'08, 10th International Conference on Formal Engineering Methods, Japan 2008.
  32. ESORICS'08 13th European Symposium on Research in Computer Security, Malaga Spain, 2008.
  33. ISC'08, 11th Information Security Conference, Tiapei Taiwan, September 2008.
  34. DEON'08, 9th International Conference on Deontic Logic in Computer Science, Luxembourg, July 2008.
  35. FM'08, 15th International Symposium on Formal Methods, Turku Finland, May 2008.
  36. ASIACCS'08, 3rd ASIA Computer and Communication Security Conference, Tokyo Japan, March 2008.
  37. ICFEM 2007, 9th International Conference on Formal Engineering Methods, Boca Raton USA, November 2007.
  38. StaR_SEC, 1st ACM Workshop on Information and Communications Security Standards and Regulations, Virginia USA, October 2007.
  39. CADE 2007, 21st International Conference on Automated Deduction, Bremen Germany, July 2007.
  40. ICALP'07, The 34nd International Colloquium on Automata, Languages and Programming, Wroclaw, Poland, July 2007.
  41. ESORICS 2007, 12th European Symposium on Research in Computer Security, Dresden Germany, September, 2007.
  42. SECOBAP'07, First International Workshop on Security Technologies for Next Generation Collaborative Business Applications, Istanbul Turkey, April, 2007.
  43. ICS 2006, Workshop on Information and Communication Security, Timisoara Romania, September 2006.
  44. ISC 2006, 9th Information Security Conference, Samos Greece, September 2006.
  45. CSFW 2006, 19 Computer Security Foundations Workshop, Venice Italy, July 2006.
  46. ENTRICS 2006, International Conference on Emerging Trends in Information and Communication Security, Freiburg Germany, June 2006.
  47. FM 2006, 14th International Symposium on Formal Methods, Hamilton Canada, August 2006.
  48. IJCAR 2006, 3nd International Joint Conference on Automated Reasoning, Seattle USA, August 2006.
  49. FMSE'05, 3rd Workshop on Formal Methods in Security Engineering, Washington DC USA, November, 2005.
  50. CCS 2005 , 12th ACM Conference on Computer and Communications Security, Virginia USA, November 2005.
  51. ICALP'05, The 32nd International Colloquium on Automata, Languages and Programming, Lisbon Portugal, 2005.
  52. ARSPA'05, 2nd Workshop on Automated Reasoning for Security Protocols Analysis, Lisbon Portugal, July 2005.
  53. CSL'05, 14th Annual Conference of the European Association for Computer Science Logic (CSL), Oxford UK, 2005.
  54. LPAR'05, 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Montevideo Uruguay, 2005.
  55. TPHOLS'05, 18th International Conference on Higher Order Logic Theorem Proving and Applications, Oxford England, 2005.
  56. FMSE'04, Workshop on Formal Methods in Security Engineering, Washington DC USA, October, 2004. Organizer.
  57. CCS 2004 , 11th ACM Conference on Computer and Communications Security, Washington D.C. USA, October 2004.
  58. SEFM 2004, 2nd IEEE International Conference on Software Engineering and Formal Methods, Beijing China, September 2004.
  59. TPHOLS'04, 17th International Conference on Higher Order Logic Theorem Proving and Applications, Salt Lake City USA, September 2004.
  60. CAV 2004, 16th International Conference on Computer-Aided Verification, Boston USA, 2004.
  61. IJCAR 2004, 2nd International Joint Conference on Automated Reasoning, Cork Ireland, July 2004. Program Chair.
  62. ARSPA, Automated Reasoning for Security Protocols Analysis, Cork Ireland, July 2004.
  63. IEEE Symposium on Security and Privacy, Oakland USA, May 2004.
  64. WITS'04, Workshop on Issues in the Theory of Security (IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS) , Barcelona Spain, April 2004.
  65. WRLA2004, 4th International Workshop on Rewriting Logic and its Applications, Barcelona Spain, March 2004.
  66. Schloss Dagstuhl Seminar, Dagstuhl Seminar: Applied Deductive Verification, November 2003. Organizer.
  67. IICIS 2003, Sixth Conference on Integrity and Internal Control in Information Systems, Lausanne Switzerland, November 2003.
  68. FMSE'03, Workshop on Formal Methods in Security Engineering, Washington DC, October, 2003. Organizer.
  69. 2nd Workshop on Critical System Development with UML, San Francisco USA, October 2003.
  70. ZISC Fall School, Formal Security Engineering, Zurich Switzerland, September 2003. Organizer and Program Chair.
  71. QSIC 2OO3, Third International Conference on Quality Software, Dallas USA, September 2003.
  72. TPHOLS 2003, 16th International Conference on Theorem Proving in Higher Order Logics, Rome Italy, September 2003. Program Chair.
  73. CONCUR'03, International Conference on Concurrency Theory, Marseille France, September 2003.
  74. BMC'03, First International Workshop on Bounded Model Checking, Boulder USA, July 2003.
  75. FCS'03, Workshop on Foundations of Computer Security, Ottawa Canada, June 2003.
  76. WITS'03, Workshop on Issues in the Theory of Security (IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS) , Warsaw Poland, April 2003.
  77. GI-2002, GI-Fachgruppen: Deduktionssysteme und Logik in der Informatik, Freiburg Germany, October 2002. Organizer.
  78. TPHOLS 2002, 15th International Conference on Theorem Proving in Higher Order Logics, Virginia USA, September 2002.
  79. CSDUML02, Workshop on Critical Systems Development with UML , Dresden Germany, September 2002.
  80. WRLA2002, 3rd International Workshop on Rewriting Logic and its Applications, Pisa Italy, September 2002.
  81. CAV 2002, 14th International Conference on Computer Aided Verification, Copenhagen Denmark, July 2002.
  82. CADE 2002, 19th International Conference on Automated Deduction, Copenhagen Denmark, July 2002.
  83. SEMAS-2002, 2nd International Workshop on Security of Mobile Multiagent Systems, Bologna, Italy, July 2002.
  84. EFSD-02 Evolutionary Formal Software Development (at FME-02), Copenhagen Denmark, July 2002.
  85. VERIFY'02, Verification Workshop (at FLOC), Copenhagen Denmark, July 2002.
  86. LFM 2002, Logical Frameworks and Meta-languages (at FLOC), Copenhagen Denmark, July 2002.
  87. FM-TOOLS, The 5th Workshop on Tools for System Design and Verification, Günzburg, Germany, July 2002.
  88. FOSSACS'02, Foundations of Software Science and Computation Structures, Grenoble France, April 2002.
  89. FRoCoS 2002, 4rd International Workshop on the Frontiers of Combining Systems, Santa Margherita Italy, April 2002.
  90. AAAI Symposium, Logic-Based Program Synthesis: State-of-the-Art and Future Trends, AAAI Spring Symposium, March 2002.
  91. LOPSTR 2001, 11th International Workshop on Logic-based Program Synthesis and Transformation, Paphos Cyprus, November 2001.
  92. Schloss Dagstuhl Seminar, Specification and Analysis of Secure Cryptographic Protocols, Dagstuhl Germany, 2001. Organizer.
  93. TPHOLS 2001, 14th International Conference on Theorem Proving in Higher Order Logics, Edinburgh Scotland, September 2001.
  94. RTA 2001, 12th International Conference on Rewriting Techniques and Applications, Utrecht Netherlands, May 2001.
  95. SEMAS-2001 , Security of Mobile Multiagent Systems, at Fifth International Conference on Autonomous Agents, Montreal Canada, May 2001.
  96. SAIG'01, Semantics, Applications and Implementation of Program Generation, ICFP Workshop, Florence Italy, September 2001.
  97. VERIFY'01, Verification Workshop (at IJCAR), Siena Italy, 2001.
  98. WRLA2000, 2nd International Workshop on Rewriting Logic and its Applications, Kanazawa Japan, September 2000.
  99. TPHOLS 2000, 13th International Conference on Theorem Proving in Higher Order Logics, Portland USA, August 2000.
  100. LFM 2000, Logical Frameworks and Meta-languages (at LICS) , Santa Barbara USA, June 2000.
  101. FRoCoS 2000, 3rd International Workshop on the Frontiers of Combining Systems, Amsterdam The Netherlands, March 2000.
  102. FASE-2000, Formal Approaches to Software Engineering (at ETAPS), Berlin Germany, March 2000.
  103. LOPSTR 2000, 10th International Workshop on Logic-based Program Synthesis and Transformation, London UK, 2000.
  104. LFM'99, Logical Frameworks and Meta-languages (at PPDP) , Paris France, September 1999. Organizer.
  105. TPHOLS'99, 12th International Conference on Theorem Proving in Higher Order Logics, Nice France, September 1999.
  106. CADE-16, 16th International Conference on Automated Deduction, Trento Italy, July 1999.
  107. FRoCoS'98, 2nd International Workshop on the Frontiers of Combining Systems '98, October 1998.
  108. LD'98, The First International Workshop on Labelled Deduction, Freiburg, Germany, September 1998. Organizer.
  109. TPHOLS'98, 11th International Conference on Theorem Proving in Higher Order Logics, Canberra Australia, September 1998.
  110. CADE-15, 15th International Conference on Automated Deduction, Lindau Germany, July 1998.
  111. DATE'98, Design, Automation and Test in Europe, Paris France, February 1998.
  112. LICS-12, Twelveth Annual IEEE Symposium on Logic in Computer Science, 1997.
  113. TAPSOFT'97, Theory and Practice of Software Development, Lille France, April 1997. PC Member of the Colloquium on Formal Aspects of Software Engineering (FASE).
  114. BRICS Autumn School in Verification, Aarhus Denmark, October 1996. Organizer.
  115. TACAS-96, Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Passau Germany, March 1996.
  116. CADE-13, 13th International Conference on Automated Deduction, New Brunswick, USA, June 1996.
  117. TAPSOFT'95, Theory and Practice of Software Development , Aarhus Denmark, May 1995. PC Member of the Colloquium on Formal Aspects of Software Engineering (FASE).
  118. LPAR-94, 5th International Conference on Logic Programming and Automated Reasoning, Kiev Ukraine, July 1994.
  119. CADE-12, 12th International Conference on Automated Deduction, Nancy France, June 1994.
  120. CADE-12 Workshop, Correctness and Metatheoretic Extensibility of Automated Reasoning Systems, Nancy France, June 1994. Organizer.
  121. TAB-94, Third International Workshop Theorem Proving with Analytic Tableaux and Related Methods, London England, March 1994.
  122. TAB-93, Second International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille France, March 1993. Organizer.

Back to David Basin