Home Page of Sandro Etalle

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Home Page of Sandro Etalle

	I am the head of the recently formed Security group at the Technical University of Eindhoven, and a member of the Distributed and Embedded Security group of the University of Twente
	Teaching Publications (also advanced search, and older papers) Organisation Contact details

Publications (also advanced search, and older papers)

There are new vacancies at the security group at the TU/e.
The vacancies at the DIES group of the University of Twente

OV chipkaart niet echt gekraakt UT Nieuws 17 Januari 2008.
Uitgelicht: ov-chipkaart wel of niet veilig? bij Job van der Wagt. Intermediair, dinsdag 15 januari 2008.

Conferences/Meetings
- 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.
- APE First International Workshop on Advances in Policy Enforcement (APE'08). Collocated with ARES 2008 Barcelona, Catalonia, March 4th-7th 2008. Co-chair.
- IFIPTM'08 Joint iTrust and PST Conferences on Privacy, Trust Management and Security. PC Member.
- Static Analysis Symposium 2008 . Valencia, Spain. PC member.
- Workshop on Privacy Enforcement and Accountability with Semantics. Nov. 11-15, 2007, Busan, Korea. PC member.
Varia
- ALP - the Association for Logic Programming. Member of the Executive Council.
- IFIP WG 11.11 on Trust Management vice-president.
- FOSAD International School on Foundations of Security Analysis and Design member of the steering committee.
- LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation. Member of the steering committee.
- Coordination of the security research at the UT (see UT Security Research page).
- NVSO (Nationaal samenwerkingsVerband Security Onderzoek). Member of the management team.
Projects@TU/e

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 -- I could not avoid the homonymy). In collaboration with Thales, ESI and five other Dutch universities.
PRIAM: Privacy Issues and AMbient intelligence UT/INRIA/Univ. of Jean Monnet (Saint-Etienne) collaboration, funded by INRIA/ARC.

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.
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.
IPID: Integrated Policy-based Intrusion Detection IS/DIES collaboration, funded by STW Sentinels.
ARTIST2 Network of Excellence on Embedded Systems Design. EU funded. Leader of the security activity.
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.
VRIEND: Value-Based Security Risk Mitigation in Enterprise Networks that are Decentralized. Funded by STW/Sentinels.
AMETIST: Advanced Methods for Timed Systems. EU-funded.

Kerckhoffs Institute computer security master programme starting September 2006.
Ideas for master projects (TU/e)

Master Projects in Security at TNO Delft and Groningen (under the supervision of Jaap-Henk Hoepman)
Master Projects in Identity Management at Philips Research
Master Projects in at Thales (Hengelo)
Some unpolished ideas for a master thesis

Logisch programmeren (constraint logic programming)
Distributed Trust Management (course in Twente)
Distributed Trust Management (slides of the course in Trento, 2007)
Besturingssystemen (operating systems)
DEBT: Distributed E-business Techniques
Security (guest lectures at the TuE and local mirror of the sides of my lessons in DEBT.)
Verifica di protocolli (slides e materiale utile della mia parte di corso a Trento)

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.
the list of mathematical symbols for latex2e shamelessly taken from the "not very short introduction to latex 2e" by t. oetiker, h. partl, i. hyna e. schlegl (local mirror here).