KNAW
Narcis
Terug naar zoekresultaat
Persoon
Prof.dr. P.H. Hartel
Pagina-navigatie:
Overzicht
Lopend onderzoek (5)
Afgesloten onderzoek (11)
Publicaties (130)
Diverse bijdragen (6)
Verrijkte publicaties (2)
Wijzig persoonsdata
cards
formele
gedistribueerde
methoden
programmeertalen
smart
systemen
veiligheid
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
Website Navigatie:
Home
over narcis
English
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie