sandro etalle's home page

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
sandro etalle's home page

	Universiteit Twente
	faculty EWI, unit of Computer Science
	DIES: distributed and embedded system group
	homepage of Sandro Etalle
	teaching publications (also advanced search, and older papers) organisation contact details

Security: trust management, intrusion detection, protocol verification, privacy protection. See for instance the page on protocol verification
Verification and validation of systems. Concurrency.
Program's transformations and verification, semantics.
Digital right management
Declarative programming languages, in particular logic and constraint programming.

publications (also advanced search, and older papers)

The vacancies at DIES

Ongoing activities
- 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.
- ALP - the Association for Logic Programming. Member of the Executive Council.
- 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.

Ongoing projects

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.
Account - accountability in electronic commerce. NWO-funded. In cooperation with CWI and VU.
PAW - privacy in ambient world. Funded by the IOP Generic Communication. In cooperation with KUN, TuD, TNO.
Fostering Trust in Distributed Systems. University funded. Leader.
AMETIST: Advanced Methods for Timed Systems. EU-funded.

Past projects and activities (follow this link)

Kerckhoffs Institute computer security master programme starting September 2006.
Logisch programmeren (constraint logic programming)
Distributed Trust Management
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 della mia parte di corso a Trento)

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

phone

fax

email