Services to the Scientific Community by Heiko Mantel

So far, I served on more than 35 program committees of international conferences and workshops, co-edited three special issues of international journals, co-chaired five international workshops, co-organized two Dagstuhl seminars, and refereed more than 200 submissions.

Editorships and steering committee memberships:

  • Editorial board, International Journal of Information Security, IJIS (since 2007)
  • Steering Committee, VERIFY Workshop series (since 2001, co-founder of the series)
  • Steering Committee, GI working group Formale Methoden und Software Engineering für Sichere Systeme, FoMSESS (since 2002)

List of special issues edited:

  • it - Information Technology 56(6), Special Issue: Reliably Secure Software Systems. De Gruyter, 2014.
  • Journal of Automated Reasoning 41(3-4), Special Issue on Formal Modeling and Verification of Critical Systems. Springer, 2008.
    (jointly with Serge Autexier, Tobias Nipkow, and Stephan Merz)
  • International Journal of Information Security 4(1-2), Special Issue on FCS/Verify 2002. Springer, 2005.
    (jointly with Serge Autexier and Iliano Cervesato)

Complete list of PC memberships:

  • PC member, CSF 2018: IEEE 31st Computer Security Foundations Symposium, 2018.
  • PC member, GI SICHERHEIT 2018: Schutz und Zuverlässigkeit, 2018.
  • PC member, POST 2018: 8th International Conference on Principles of Security and Trust, 2018.
  • PC member, PrePost 2017: 2nd International Workshop on Pre- and Post-Deployment Verification Techniques, 2017.
  • PC member, ESORICS 2017: 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017.
  • PC member, ESORICS 2016: 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016.
  • PC member, LOPSTR 2016: 26th International Symposium on Logic-Based Program Synthesis and Transformation, Edinburgh, UK, September 6-8, 2016.
  • PC member, ESSoS 2016: 8th International Symposium on Engineering Secure Software and Systems, London, UK, April 6-8, 2016.
  • PC member, Sicherheit 2016, Sicherheit – Schutz und Zuverlässigkeit, Bonn, Germany, April 5-7, 2016.
  • PC member, IFIP SEC 2015: 30th International Information Security and Privacy Conference, Hamburg, Germany, May 26-28, 2015.
  • PC member, POST 2015: 4th International Conference on Principles of Security and Trust, London, UK, April 16-17, 2015.
  • PC member, IFIP SEC 2014: 29th International Information Security and Privacy Conference, Marrakech, Morocco, June 2-4, 2014.
  • PC member, ESSoS 2014: 6th International Symposium on Engineering Secure Software and Systems, Munich, Germany, February 26-28, 2014.
  • PC member, QASA 2013: 2nd International Workshop on Quantitative Aspects in Security Assurance, London, UK, September 12, 2013.
  • PC member, ESSoS 2013: 5th International Symposium on Engineering Secure Software and Systems, Paris, France, February 27 - March 1, 2013.
  • PC member, QASA 2012: 1st International Workshop on Quantitative Aspects in Security Assurance, Pisa, Italy, September 14, 2012.
  • PC member, CCS 2012: 19th ACM Conference on Computer and Communications Security, Raleigh, NC, USA, October 16-18, 2012.
  • PC member, TRUST 2012: 5th International Conference on Trust and Trustworthy Computing, Vienna, Austria, June 13-15, 2012.
  • PC member, POST 2012: 1st Conference on Principles of Security and Trust, Tallinn, Estonia, March 24 - April 1, 2012.
  • PC member, ESSoS 2012: 4th International Symposium on Engineering Secure Software and Systems, Eindhoven, The Netherlands, February 16-17, 2012.
  • PC member, CCS 2011: 18th ACM Conference on Computer and Communications Security, Chicago, IL, USA, October 17-21, 2011.
  • PC member, FoSSaCS 2011: 14th International Conference on Foundations of Software Science and Computation Structures, Saarbrücken, Germany, March 26 - April 3, 2011.
  • PC member, iFM 2010: 8th International Conference on Integrated Formal Methods, Nancy, France, October 11-14, 2010.
  • PC member, SICHERHEIT 2010: Sicherheit – Schutz und Zuverlässigkeit, Berlin, Germany, October 5-7, 2010.
  • Co-Chair & Co-Organizer, VERIFY 2010: 6th International Verification Workshop, affiliated with IJCAR, Edinburgh, UK, July 20-21, 2010.
  • PC member, ESORICS 2009: 14th European Symposium on Research in Computer Security, Saint Malo, France, September 21-25, 2009.
  • PC member, SAC 2009: 24th ACM Symposium on Applied Computing, Track on Computer Security, Honolulu, HI, USA, March 8-12, 2009.
  • PC member, CCS 2008: 15th ACM Conference on Computer and Communication Security, Alexandria, VA, USA, October 27-31, 2008.
  • PC member, FMSE 2008: 6th ACM Workshop on Formal Methods in Security Engineering, Alexandria, VA, USA, October 27, 2008.
  • PC member, LPAR 2008: 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Doha, Qatar, November 22-27, 2008.
  • PC member, ALICS 2008: Applications of Logic in Computer Security, affiliated with LPAR 2008, Doha, Qatar, November 22, 2008.
  • PC member, PLAS 2008: ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security, Tucson, AZ, USA, June 8, 2008.
  • PC member, SAC 2008: 23rd ACM Symposium on Applied Computing, Track on Computer Security, Fortaleza, Ceara, Brazil, March 16-20, 2008.
  • PC member, SICHERHEIT 2008: Sicherheit – Schutz und Zuverlässigkeit, Saarbrücken, Germany, April 2-4, 2008.
  • PC member, VERIFY 2008: 5th International Verification Workshop, affiliated with CADE, Sydney, Australia, August 10-11, 2008.
  • Co-Chair, FMSE 2007: 5th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, Fairfax, VA, USA, November 2, 2007.
  • PC Member, CCS 2007: ACM Conference on Computer and Communication Security, Alexandria, Virginia, USA, October 29 - November 2, 2007.
  • PC Member, ESORICS 2007: 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24-26, 2007.
  • PC Member, SecCo 2007: 5th International Workshop on Security Issues in Concurrency, affiliated with CONCUR 2007, Lisboa, Portugal, September 3, 2007.
  • PC Member, VERIFY 2007: 4th International Verification Workshop, affiliated with CADE, Bremen, Germany, July 15-16, 2007.
  • Co-Organizer, Dagstuhl Seminar 07091 on Mobility, Ubiquity, and Security, Dagstuhl, Germany, February 25 - March 2, 2007.
  • PC Member, ESORICS 2006: 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006.
  • PC Member, FMSE 2006: 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, Fairfax, VA, USA, November 3, 2006.
  • PC Member, ISC 2006: 9th Information Security Conference, Samos Island, Greece, August 30 - September 2, 2006.
  • PC Member, SAC 2006: 21st ACM Symposium on Applied Computing, Track on Computer Security, Dijon, France, April 23-27, 2006.
  • Co-Chair, VERIFY 2006: 3rd International Verification Workshop, affiliated with FLoC 2006/IJCAR 2006, Seattle, USA, August 15-16, 2006.
  • PC Member, ESORICS 2005: 10th European Symposium on Research in Computer Security, Milan, Italy, September 14-16, 2005.
  • PC Member, FMSE 2005: 3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, Alexandria, VA, USA, November 11, 2005.
  • PC Member, SAC 2005: 20th ACM Symposium on Applied Computing, Track on Computer Security, Santa Fe, NM, USA, March 13-17, 2005.
  • PC Member, SICHERHEIT 2005: Sicherheit – Schutz und Zuverlässigkeit, Regensburg, Germany, April 5-8, 2005.
  • PC Member, WITS 2005: 5th IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security, Long Beach, CA, USA, January 10-11, 2005.
  • PC Member, CSFW 2004: 17th IEEE Computer Security Foundations Workshop, Pacific Grove, CA, USA, June 28-30, 2004.
  • PC Member, FMSE 2004: 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, Washington, D.C., USA, October 29, 2004. 
  • PC Member, S&P 2004: 25th IEEE Symposium on Security and Privacy, Berkeley/Oakland, CA, USA, May 9-12, 2004.
  • Member of Organization Board, PLID 2004: First International Workshop on Programming Language Interference and Dependence, Verona, Italy, August 25, 2004.
  • PC Member, SAC 2004: 19th ACM Symposium on Applied Computing, Track on Computer Security, Nicosia, Cyprus, March 14-17, 2004.
  • Co-Organizer, SecRisks 2004, ZISC Workshop on IT Security Risk Management, Zurich, Switzerland, September 16, 2004.
  • PC Member, CSFW 2003: 16th IEEE Computer Security Foundations Workshop, Pacific Grove, CA, USA, June 30 - July 2, 2003.
  • Co-Organizer, Dagstuhl Seminar 03411 on Language-Based Security, Dagstuhl, Germany, October 5-10, 2003. 
  • PC Member, ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. 
  • PC Member, FAST 2003: Workshop on Formal Aspects in Security and Trust, in association with FME, Pisa, Italy, September 8, 2003. 
  • PC Member, FMSE 2003: 1st ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, in association with CCS, Washington, D.C., USA, October 30, 2003.
  • PC Member, PoDSy 2003: Workshop on Principles of Dependable Systems, in conjunction with DSN-2003, San Francisco, CA, USA, June 24, 2003.
  • PC Member, SecCo 2003: 1st International Workshop on Security Issues in Coordination Models, Languages, and Systems, affiliated with ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003.
  • Speaker, ZISC Fall School on Formal Security Engineering, Zurich, Switzerland, September 21-27, 2003.
  • PC Member, ESORICS 2002: 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002.
  • PC Member, FCS 2002: Foundations of Computer Security, Workshop at FLoC 2002, Copenhagen, Denmark, July 25-26, 2002.
  • Co-Chair, VERIFY 2002: Verification Workshop at FLoC 2002, Copenhagen, Denmark, July 25-26, 2002.
  • Co-Chair, VERIFY 2001: Verification Workshop at IJCAR 2001, Siena, Italy, June 19, 2001.

Complete list of other services to the scientific community:

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang