Terug naar zoekresultaat

Persoon

Prof.dr. P.H. Hartel

Pagina-navigatie:

Wijzig persoonsdata

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

Werkzaam als

Hoogleraar
Organisatie	Leerstoel Distributed and Embedded Security - DIES (UT)
Leeropdracht (NL)	Gedistribueerde systemen
Leeropdracht (EN)	Distributed systems
Telefoon	+31-53-4892411
Email	pieter. hartel -at- utwente. nl
URL	http://wwwhome.cs.utwente.nl/~pieter/

Publicaties

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

Alle publicaties

Verrijkte publicaties

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

Lopende onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	SPCMHD: Secure Patient-Centric Management of Health Data
Projectleider	ALwEN: Ambient Living with Embedded Networks
Projectleider	Formal Methods
Projectleider	Safe and Secure Internet and beyond (SRA Security)
Projectleider	Integrated Security and Privacy in a Networked World (ISTRICE)

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Promotor	IT architecture-based confidentiality risk assessment in networks of organizations
Promotor	Alignment of organizational security policies: Theory and Practice
Projectleider	Integrated Secure Platform for Interactive Personal Devices (INSPIRED)
Projectleider	ProTeM : Probe-based Terabit Memory
Projectleider	A4 - Adaptive non-volatile storage systems for adaptive applications

Alle afgesloten onderzoeksactiviteiten..

Classificatie

D11100	Logica, verzamelingen- en getallenleer
D16100	Computersystemen, architecturen, netwerken

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie