Back to search results

Person

Prof.dr. P.H. Hartel

Pagina-navigatie:

Update Persondata

Expertise	Formal methods, programming languages, security, and smart cards.
Expertise (NL)	Formele methoden, programmeertalen, veiligheid en smart cards.
Digital Author ID	info:eu-repo/dai/nl/07415950X

Active as

Professor
Organisation	Researchgroup Distributed and Embedded Security - DIES (UT)
Chair (EN)	Distributed systems
Chair (NL)	Gedistribueerde systemen
Phone	+31-53-4892411
Email	pieter. hartel -at- utwente. nl
URL	http://wwwhome.cs.utwente.nl/~pieter/

Publications

A Log Mining Approach for Process Monitoring in SCADA
Alignment of organizational security policies : theory and practice
Towards Provably Secure Efficiently Searchable Encryption
Review of: Smartening the crowds: computational techniques for improving human verification to fight phishing scams / by G. Liu, G. Xiang, B. Pendleton, J. Hong, W. Liu. - In: Proceedings of the 7th Symposium on Usable Privacy and Security, Pittsburgh, PA, July 20-22, 2011
Cryptographically enforced distributed data access control

All publications..

Enhanced publications

Doctoral Thesis: Revisiting anomaly-based network intrusion detection systems
Doctoral Thesis: Flexible access control for dynamic collaborative environments

Current research

(the most recent research is at the top)
Project leader	SPCMHD: Secure Patient-Centric Management of Health Data
Project leader	ALwEN: Ambient Living with Embedded Networks
Project leader	Formal Methods
Project leader	Safe and Secure Internet and beyond (SRA Security)
Project leader	Integrated Security and Privacy in a Networked World (ISTRICE)

Completed research projects

(the most recent research is at the top)
Supervisor	IT architecture-based confidentiality risk assessment in networks of organizations
Supervisor	Alignment of organizational security policies: Theory and Practice
Project leader	Integrated Secure Platform for Interactive Personal Devices (INSPIRED)
Project leader	ProTeM : Probe-based Terabit Memory
Project leader	A4 - Adaptive non-volatile storage systems for adaptive applications

All completed research..

Classification

D11100	Logic, set theory and arithmetic
D16100	Computer systems, architectures, networks

Go to page top
Go back to contents
Go back to site navigation