- Integrated Security and Privacy - in a networked world
is one of CTIT's strategic research orientations.
Value-Based Security Risk Mitigation in Enterprise Networks
that are Decentralized. Funded by STW/Sentinels.
- HERMES: Host-based Event Mining in SCADA systems,
CASTOR: Controlling Access to SCADA Networked Systems,
MIDAS: Intrusion detection for SCADA, on the security of
SCADA and Industrial Control Systems. Financed by the Ministry of
- TAS3 - Trusted
Architecture for Securely Shared Services. EU Integrated
MobileIDM: Identity Management on Mobile Devices. Funded by STW/Sentinels
PEARL - Privacy
Enhanced security Architecture for RFID Labels. Funded
by STW/Sentinels. In cooperation with RUN, TuD, TU/e.
S-Mobile: Security of Software and Services for Mobile
Systems. Funded by the STW/Sentinels. cooperation with
Poseidon project: System Evolvability and Reliability of Systems
of Systems (not to be confused with the POSEIDON intrusion
PROSECCO - Next Generation Protection and Security of Content -
is one of the UT spearhead (speerpunt) programs. See also the
Security Research page.
Basic Research in Informatics for Creating the Knowledge
Society CWI/NWO/TU/e/TUD/UT collaboration, funded by
- PRIAM: Privacy
Issues and AMbient intelligence UT/INRIA/Univ. of Jean
Monnet (Saint-Etienne) collaboration, funded by INRIA/ARC.
Integrated Policy-based Intrusion Detection IS/DIES
collaboration, funded by STW Sentinels.
Integrated Secure Platform for Interactive Personal
Devices EU Integrated project IST-1-507894-IP.
PAW - privacy in ambient world. Funded
by the IOP Generic Communication. In cooperation with KUN,
Network of Excellence on Embedded Systems Design. EU
funded. Leader of the security activity.
Account - accountability in electronic
commerce. NWO-funded. In cooperation with CWI and VU.
- EYES Energy Efficient
Sensor Networks. EU-funded.
- Cabernet. EU-funded.
Network of excellence in distributed and dependable
Methods for Timed Systems. EU-funded.
Critis 2013 Eighth CRITIS Conference on Critical
Information Infrastructures Security, Amsterdam, September
2013. PC Member.
The Aftermath of Stuxnet. A special issue of Future Intenet. Co-editor.
ESSOS 2012 International Symposium on
Engineering Secure Software and Systems
February 16 - 17, 2012
Eindhoven, The Netherlands. General chair.
2011The 8th International Workshop on Formal Aspects of
Security & Trust (FAST2011) Leuven, Belgium.
September 15-16, 2011. Co-PC chair.
2011 Fifth IPIP WG 11.11 International Conference on Trust
Management. June 29 - July 1, 2011. Copenhagen, Denmark. PC
- W3C Workshop
on Privacy and data usage control 04/05 October 2010,
Cambridge (MA). PC member.
FAST2010, the seventh International Workshop on Formal Aspects
of Security and Trust.Pisa, Italy, 16-17 September,
2010. Post-Proceedings LNCS. Deadline for submission: June 20 (strict).
2010: 10th International School on Foundations of Security Analysis and Design
University Residential Center of Bertinoro, Italy.
6 - 11 September 2010.
- Fourth IFIP International Conference on Trust Management
Morioka, Japan, June 16-18, 2010. Submission deadline: December
Seminar 10141 on Distributed Usage Control. April 6-9,
- BDIM 2010. IEEE Business-Driven IT Management workshop
(BDIM 2009) to be held in conjunction with the IM 2010
Symposium. PC member
- 2009 IEEE
International Conference on Information Privacy, Security,
Risk and Trust. August 29-31, Vancouver, CA. (PC member)
2009 World Congress on Privacy, Security, Trust and the
Management of e-Business. August 25-27, 2009, Saint John,
New Brunswick, Canada. Submission deadline: April 3,
Joint Workshop on Automated Reasoning for Security Protocol
Analysis and Issues in the Theory of Security Affiliated with
ETAPS 2009 York, UK March 28 (Sat) and 29 (Sun),
2009. Deadline: January 09. PC Member
TM 2009 The 3rd IFIP International Conference on Trust
Management (TM'09). June 15-19, 2009 Purdue University, West
Lafayette, USA. Deadline: January 12th. PC member.
- BDIM 2009. IEEE Business-Driven IT Management workshop
(BDIM 2009) to be held in conjunction with the IM 2009
Symposium. PC member
- WISSEC 2008: 3rd Benelux Workshop on
Information and System Security November 13-14, 2008, Eindhoven, The Netherlands. Co-organizer.
Dutch Workshop on Information Risk Management.
Eindhoven, September 26, 2008. Attendance is free.
Joint Workshop on Foundations of Computer Security,
Automated Reasoning for Security Protocol Analysis and
Issues in the Theory of Security Affiliated to LICS 2008
and CSF 21. Pittsburgh, PA, USA, June 21-22,
- EC2ND 2008,
European Conference on Computer Network Defense. December 11th
and 12th 2008 Dublin City University, Dublin, Ireland. PC
2008 Third IEEE/IFIP International Workshop on
Business-driven IT Management (BDIM 2008) In conjunction
with IEEE Network Operations and Management Symposium
(NOMS 2008) Salvador, Bahia, Brazil, April 7th, 2008. PC
Joint iTrust and PST Conferences on Privacy, Trust
Management and Security. PC Member.
- Coordination of the security research at the UT (see
First International Workshop on Advances in Policy
Enforcement (APE'08). Collocated with ARES 2008 Barcelona,
Catalonia, March 4th-7th 2008. Co-chair.
Analysis Symposium 2008 . Valencia, Spain. PC member.
Workshop on Privacy Enforcement and Accountability with
Semantics. Nov. 11-15, 2007, Busan, Korea. PC member.
Workshop on Information Risk Management May 31st, 2007
at the University of Twente. Attendance is free.
2007 Joint iTrust and PST Conferences on Privacy, Trust
Management and Security. Co-chair.
International Workshop on Issues in the Theory of Security
(WITS 07). PC member.
- Artist2 "T&V" and
"Security" meetings in Trento.
- STM 2006
Second International Workshop on Security and Trust
- ICLP 2006
Twenty Second International Conference on Logic Programming,
Part of the Fourth Federated Logic Conference, FLoC
Fourth International Conference on Trust Management. PC
CSFW. 2006 IEEE Computer Security Foundations
Workshop. PC member.
- Safe-nl the
dutch security platform. Co-founder.
2005 International Workshop on Software Verification and
Validation (SVV 2005).
- International Symposium on Logic-based Program
Synthesis and Transformation. Member of the
2004. The fourteenth international symposium on
logic-based program synthesis and
transformation. Program Chair.
- FAST 2004
Workshop on formal aspects of security and trust. PC
newsletter of the association for logic
Workshop on Software Verification and Validation (SVV
2003), In Conjunction with International Conf. on
Logic Programming (ICLP) 2003 Mumbai (India), December
ICLP 2003, Ninetheen International Conference on Logic
Programming, Mumbay, INDIA, December 9-13, 2003.PC
2003, Workshop on Formal Aspects in Security &
Trust. Pisa, Italy. PC Member.
2003 Sixth International Workshop in Formal Methods.
Dublin City University, Dublin, Ireland. PC member.
twelfth International Workshop on Functional and
Logic Programming. Valencia,
Spain, June 12-13, 2003. PC member.
1st International Conference on
Virtual Goods 2003. PC member.
the twelfth international workshop on logic-based
program synthesis and transformation. pc member.
02 eighteenth international conference on
logic programming. pc member.
2002 2002 workshop on
specification, analysis and validation for
emerging technologies in computational
logic. copenhagen , denmark, july 27, 2002. part
to the 2002
federated logic conference
the eleventh international workshop on
logic-based program synthesis and
- iclp 2001 workshop on specification,
analysis and validation for emerging technologies
in computational logic (save). paphos, cyprus, dec 1,
third international conference on principles and practice of
declarative programming. pc member.
- the 2000 international
summer school in computational logic, acquafredda di
maratea (basilicata, italy). organizer, together with
the tenth international workshops on logic-based program synthesis
and transformation. program development stream of cl 2000. pc
- bnaic2000 the
twelfth belgium-netherlands conference on artificial intelligence
will be held at the efteling, kaatsheuvel, on november the 1st and
2nd, 2000. pc member.
- Cl2000 the first international conference on
computational logic. london, july 2000. Workshop chair.
1999 international conference on principles and practice of
declarative programming. paris, september 1999. pc member.
ninth international workshops on logic-based program synthesis and
transformation. venice, september,1999. pc member.
bnaic99. eleventh netherlands/belgium conference on
artificial intelligence. maastricht, november1999. pc member.
on verification of logic programs organised within
december 1, 1999. las cruces, new mexico, usa. organizer, editor,
together with j-g. smaus.
- the linux user
group of the university of maastricht managed by
stefan kleijkers and karel bemelmans.