sandro etalle's past project, conferences and activities page

IET Information Security Journal. Editorial board.
Journal of Trust Management, a SpringerOnline journal. Editorial board.
Het Nederlandse ICT-Innovatieplatform (IIP) Security \& Privacy "Veilig Verbonden" Core board member.
FOSAD International School on Foundations of Security Analysis and Design member of the steering committee.

Frontiers in ICT is a open-access journal. NVSO (Nationaal samenwerkingsVerband Security Onderzoek). Member of the management team.

EU FORWARD working group on smart environments.

ALP - the Association for Logic Programming. Member of the Executive Council.

IFIP WG 11.11 on Trust Management vice-president.

LOPSTR -http://www.cs.man.ac.uk/~kung-kiu/lopstr/. Member of the Steering Committee.

ISTRICE - Integrated Security and Privacy - in a networked world is one of CTIT's strategic research orientations.
VRIEND: 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 Internal Affairs.
TAS3 - Trusted Architecture for Securely Shared Services. EU Integrated project.
MobileIDM: Identity Management on Mobile Devices. Funded by STW/Sentinels

PEARL - Privacy Enhanced security Architecture for RFID Labels

S-Mobile: Security of Software and Services for Mobile Systems. Funded by the STW/Sentinels. cooperation with VU.
The Poseidon project: System Evolvability and Reliability of Systems of Systems (not to be confused with the POSEIDON intrusion detection system).
PROSECCO - Next Generation Protection and Security of Content - is one of the UT spearhead (speerpunt) programs. See also the UT Security Research page.
BRICKS: Basic Research in Informatics for Creating the Knowledge Society CWI/NWO/TU/e/TUD/UT collaboration, funded by BSIK.
PRIAM: Privacy Issues and AMbient intelligence UT/INRIA/Univ. of Jean Monnet (Saint-Etienne) collaboration, funded by INRIA/ARC.
IPID: Integrated Policy-based Intrusion Detection IS/DIES collaboration, funded by STW Sentinels.
Inspired: 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, TuD, TNO.
ARTIST2 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.
LicenseScript. NL-funded project. Leader.
EYES Energy Efficient Sensor Networks. EU-funded.
Cabernet. EU-funded. Network of excellence in distributed and dependable computing systems.
AMETIST: Advanced Methods for Timed Systems. EU-funded.

5th IEEE International Conference on Smart Grid Communications (SmartGridComm 2014), co-chair of the symposium "Cyber Security and Privacy". Venice November 3 -- 6, 2014.
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

FAST 2011The 8th International Workshop on Formal Aspects of Security & Trust (FAST2011) Leuven, Belgium. September 15-16, 2011. Co-PC chair.
IFIPTM 2011 Fifth IPIP WG 11.11 International Conference on Trust Management. June 29 - July 1, 2011. Copenhagen, Denmark. PC Member.
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).
FOSAD 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 19. 2009.

Dagstuhl Seminar 10141 on Distributed Usage Control. April 6-9, 2010.
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)
CONGRESS2009 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, 2009.
ARSPA-WITS'09 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
IFIP 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.
Second Dutch Workshop on Information Risk Management. Eindhoven, September 26, 2008. Attendance is free.
FCS-ARSPA-WITS'08 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, 2008. Co-chair.
EC2ND 2008, European Conference on Computer Network Defense. December 11th and 12th 2008 Dublin City University, Dublin, Ireland. PC member.
BDIM 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 member.
IFIPTM'08 Joint iTrust and PST Conferences on Privacy, Trust Management and Security. PC Member.
Coordination of the security research at the UT (see UT Security Research page).
APE First International Workshop on Advances in Policy Enforcement (APE'08). Collocated with ARES 2008 Barcelona, Catalonia, March 4th-7th 2008. Co-chair.
Static 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.
IFIPTM 2007 Joint iTrust and PST Conferences on Privacy, Trust Management and Security. Co-chair.
7th 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 Management. Co-chair.
ICLP 2006 Twenty Second International Conference on Logic Programming, Part of the Fourth Federated Logic Conference, FLoC 2006. Co-chair.
iTrust 2006 Fourth International Conference on Trust Management. PC member.
CSFW. 2006 IEEE Computer Security Foundations Workshop. PC member.
Safe-nl the dutch security platform. Co-founder.
SVV 2005 International Workshop on Software Verification and Validation (SVV 2005).
LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation. Member of the steering committee.
Lopstr 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 member.
The newsletter of the association for logic programming. Editor.
International Workshop on Software Verification and Validation (SVV 2003), In Conjunction with International Conf. on Logic Programming (ICLP) 2003 Mumbai (India), December 2003. Co-organizer.
ICLP 2003, Ninetheen International Conference on Logic Programming, Mumbay, INDIA, December 9-13, 2003.PC member.
Fast 2003, Workshop on Formal Aspects in Security & Trust. Pisa, Italy. PC Member.
IWFM 2003 Sixth International Workshop in Formal Methods. Dublin City University, Dublin, Ireland. PC member.
WFLP'03, the twelfth International Workshop on Functional and (Constraint)
Logic Programming. Valencia, Spain, June 12-13, 2003. PC member.
1st International Conference on Virtual Goods 2003. PC member.
Lopstr2002 the twelfth international workshop on logic-based program synthesis and transformation. pc member.
Iclp 02 eighteenth international conference on logic programming. pc member.
save 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
lopstr2001 the eleventh international workshop on logic-based program synthesis and transformation.
iclp 2001 workshop on specification, analysis and validation for emerging technologies in computational logic (save). paphos, cyprus, dec 1, 2001.
ppdp2001 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 m. gabbrielli.
lopstr2000 the tenth international workshops on logic-based program synthesis and transformation. program development stream of cl 2000. pc member.
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.
ppdp99 1999 international conference on principles and practice of declarative programming. paris, september 1999. pc member.
lopstr99 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.
workshop on verification of logic programs organised within iclp'99. 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.