Four days a week I am the head of the Security group at the Technical University of Eindhoven. On Friday I am a member of the Distributed and Embedded Security group of the University of Twente. I am also the scientific director of EIPSI, the Eindhoven Institute for the Protection of Systems and Information.
	Teaching Organisation Software (CoProVe) Contact details

I am interested in computer security in general and in a few semi-random topics in particular, including: network intrusion detection; protection of industrial control systems; access control and trust management; usage control and privacy protection; verification of security protocols.

• Here you can find some recent presentations I gave.
• My Publications (also advanced search, and older papers).

• Kerckhoffs Institute computer security master programme.
• Hacker's Hut
• Verification of Security Protocols (Starting 2012 available at the UT and the RU as telelecture)
• Slides presented at the 2011 IST introduction day in Eindhoven (for the TU/e students)
• Ideas for master projects (TU/e)

• Cybercriminelen een stap voor zijn, by Pascale Thewissen Eindhovense Dagblad, 16/11/2011.
• Kwaadwillenden een stap voor zijn, by Sonja Knols. IPN IO Magazine, May 2011. Local Copy.

• Vacancies at the security group at the TU/e.
• The vacancies at the DIES group of the University of Twente
• FAQ1: How to apply to a PhD position
• FAQ2: Can I come to your university to do my master thesis under your supervision?

• Conferences/Meetings
  • 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.
  • FAST 2011The 8th International Workshop on Formal Aspects of Security & Trust (FAST2011) Leuven, Belgium. September 15-16, 2011. Co-PC chair.
• Projects@TU/e
• 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. 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 VU.
• The Poseidon project: System Evolvability and Reliability of Systems of Systems (not to be confused with the POSEIDON intrusion detection system).
• Projects@UT
• ISTRICE - Integrated Security and Privacy - in a networked world is one of CTIT's strategic research orientations. See also the UT Security Research page.
• 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.
• Varia
  • FOSAD International School on Foundations of Security Analysis and Design member of the steering committee.
  • NVSO (Nationaal samenwerkingsVerband Security Onderzoek). Member of the management team.

• IMPORTANT: how to write a great research paper and how to give a great research talk by Simon Peyton Jones.
• How to write a proof, by Leslie Lamport.
• The latex style files
• How to write and introduction - some suggestions .
• The publication policy.
• Protocol for the weekly meetings with PhD students..
• the local on line help for latex2e. Additional documentation can be found in the latex2e help top level page.

Technical University of Eindhoven
Faculty of Mathematics and Computer Science
Embedded Systems Security Group
P.O. Box 513
5600 MB Eindhoven
the Netherlands
office: HG 9.83
phone: ++31 (0)40 2475016
phone: ++31 (0)40 2472853 (secretary)
fax: ++31 (0)40 2435810
email: s.etalle followed by @ and then by tue.nl

University of Twente
Distributed and Embedded Systems Group
p.o.box 217
7500AE Enschede
the Netherlands
phone: ++31 (0)53 4891195
fax: ++31 (0)53 4894590
email: (replace * with @): sandro.etalle * utwente.nl