Home Page of Sandro Etalle

	Head of the Security group at the Technical University of Eindhoven. President of SecurityMatters, a 3TU spin-off. Also: Scientific director of EIPSI, the Eindhoven Institute for the Protection of Systems and Information. Also: Prof. at the Distributed and Embedded Security group of the University of Twente.
	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 for the whole SEC group , and a page where I keep some notes (read the please_read_me_first.txt file first, thanks)

Innovatie en R&D een Inleiding Inleidend artikel bij: Magazine nationale veiligheid en crisisbeheersing Nationaal Coördinator Terrorismebestrijding en Veiligheid. Ministerie van Veiligheid en Justitie. Februari 2013
Italianen verwezenlijken ondernemersdroom in Nederland. Door Egbert van Hattem TW Technisch Weekblad, December 1, 2012.
Sentinels was pionieren. Interview met Sandro Etalle. Tekst: Sonja Knols
SecurityMatters wins the ICT Office Wetenschapsvalorisatie Award.

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.
- 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

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.
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.