publications:
- title: "Thunk Lifting: Reducing Heap Usage in an Implementation of a Lazy Functional Language"
  author:
  - name: "A. Reza Haydarlou"
    link: "https://researchr.org/alias/a.-reza-haydarlou"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1995"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/HaydarlouH95"
  cites: 0
  citedby: 0
  journal: "jflp"
  volume: "1995"
  number: "1"
  kind: "article"
  key: "HaydarlouH95"
- title: "An Operational Model of QuickPay - Extended Abstract"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Jake Hill"
    link: "https://researchr.org/alias/jake-hill"
  - name: "Matt Sims"
    link: "https://researchr.org/alias/matt-sims"
  year: "1998"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HartelHS98"
  cites: 0
  citedby: 0
  pages: "19-28"
  booktitle: "cardis"
  kind: "inproceedings"
  key: "HartelHS98"
- title: "LETOS - a lightweight execution tool for operational semantics"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1999"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/Hartel99"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "29"
  number: "15"
  pages: "1379-1416"
  kind: "article"
  key: "Hartel99"
- title: "Experiments wiht Destructive Updates in a Lazy Functional Language"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Willem G. Vree"
    link: "https://researchr.org/alias/willem-g.-vree"
  year: "1994"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/HartelV94"
  cites: 0
  citedby: 0
  journal: "Comp. Lang., Syst. \\& Struct."
  volume: "20"
  number: "3"
  pages: "177-192"
  kind: "article"
  key: "HartelV94"
- title: "Benchmarking Implementations of Functional Languages with  Pseudoknot , a Float-Intensive Benchmark"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Marc Feeley"
    link: "https://researchr.org/alias/marc-feeley"
  - name: "Martin Alt"
    link: "https://researchr.org/alias/martin-alt"
  - name: "Lennart Augustsson"
    link: "https://researchr.org/alias/lennart-augustsson"
  - name: "Peter Baumann"
    link: "https://researchr.org/alias/peter-baumann"
  - name: "Marcel Beemster"
    link: "https://researchr.org/alias/marcel-beemster"
  - name: "Emmanuel Chailloux"
    link: "https://researchr.org/alias/emmanuel-chailloux"
  - name: "Christine H. Flood"
    link: "https://researchr.org/alias/christine-h.-flood"
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "John H. G. van Groningen"
    link: "https://researchr.org/alias/john-h.-g.-van-groningen"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Bogumil Hausman"
    link: "https://researchr.org/alias/bogumil-hausman"
  - name: "Melody Y. Ivory"
    link: "https://researchr.org/alias/melody-y.-ivory"
  - name: "Richard E. Jones"
    link: "https://researchr.org/alias/richard-e.-jones"
  - name: "Jasper Kamperman"
    link: "https://researchr.org/alias/jasper-kamperman"
  - name: "Peter Lee"
    link: "https://researchr.org/alias/peter-lee"
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  - name: "Rafael Dueire Lins"
    link: "https://researchr.org/alias/rafael-dueire-lins"
  - name: "Sandra Loosemore"
    link: "https://researchr.org/alias/sandra-loosemore"
  - name: "Niklas Röjemo"
    link: "https://researchr.org/alias/niklas-r%C3%B6jemo"
  - name: "Manuel Serrano"
    link: "https://researchr.org/alias/manuel-serrano"
  - name: "Jean-Pierre Talpin"
    link: "https://researchr.org/alias/jean-pierre-talpin"
  - name: "Jon Thackray"
    link: "https://researchr.org/alias/jon-thackray"
  - name: "Stephen Thomas"
    link: "https://researchr.org/alias/stephen-thomas"
  - name: "Pum Walters"
    link: "https://researchr.org/alias/pum-walters"
  - name: "Pierre Weis"
    link: "https://researchr.org/alias/pierre-weis"
  - name: "Peter Wentworth"
    link: "https://researchr.org/alias/peter-wentworth"
  year: "1996"
  researchr: "https://researchr.org/publication/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "6"
  number: "4"
  pages: "621-655"
  kind: "article"
  key: "HartelFAABBCFGGHHIJKLLLLRSTTTWWW96"
- title: "Efficient Tree Search in Encrypted Data"
  author:
  - name: "Richard Brinkman"
    link: "https://researchr.org/alias/richard-brinkman"
  - name: "Ling Feng"
    link: "https://researchr.org/alias/ling-feng"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  year: "2004"
  doi: "http://dx.doi.org/10.1201/1086/44530.13.3.20040701/83065.3"
  links:
    doi: "http://dx.doi.org/10.1201/1086/44530.13.3.20040701/83065.3"
  tags:
  - "data-flow"
  - "search"
  researchr: "https://researchr.org/publication/BrinkmanFDHJ04%3A0"
  cites: 0
  citedby: 0
  journal: "isjgp"
  volume: "13"
  number: "3"
  pages: "14-21"
  kind: "article"
  key: "BrinkmanFDHJ04:0"
- title: "Introduction to CARDIS 1996"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Jean-Jacques Quisquater"
    link: "https://researchr.org/alias/jean-jacques-quisquater"
  year: "1996"
  researchr: "https://researchr.org/publication/HartelQ96"
  cites: 0
  citedby: 0
  booktitle: "cardis"
  kind: "inproceedings"
  key: "HartelQ96"
- title: "LicenseScript: a logical language for digital rights management"
  author:
  - name: "Cheun Ngen Chong"
    link: "https://researchr.org/alias/cheun-ngen-chong"
  - name: "Ricardo Corin"
    link: "https://researchr.org/alias/ricardo-corin"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Yee Wei Law"
    link: "https://researchr.org/alias/yee-wei-law"
  - name: "Andrew Tokmakoff"
    link: "https://researchr.org/alias/andrew-tokmakoff"
  year: "2006"
  researchr: "https://researchr.org/publication/ChongCDEHLT06"
  cites: 0
  citedby: 0
  journal: "adt"
  volume: "61"
  number: "3-4"
  pages: "284-331"
  kind: "article"
  key: "ChongCDEHLT06"
- title: "The State of WG 8.8"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2002"
  researchr: "https://researchr.org/publication/Hartel02%3A0"
  cites: 0
  citedby: 0
  booktitle: "cardis"
  kind: "inproceedings"
  key: "Hartel02:0"
- title: "The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Hugh Glaser"
    link: "https://researchr.org/alias/hugh-glaser"
  year: "1996"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/HartelG96"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "6"
  number: "1"
  pages: "29-45"
  kind: "article"
  key: "HartelG96"
- title: "Feeling Is Believing: A Secure Template Exchange Protocol"
  author:
  - name: "Ileana Buhan"
    link: "https://researchr.org/alias/ileana-buhan"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Raymond N. J. Veldhuis"
    link: "https://researchr.org/alias/raymond-n.-j.-veldhuis"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74549-5_94"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74549-5_94"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/BuhanDHV07%3A0"
  cites: 0
  citedby: 0
  pages: "897-906"
  booktitle: "icb"
  kind: "inproceedings"
  key: "BuhanDHV07:0"
- title: "Statistics on Graph Reduction of SASL Programs"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Arthur H. Veen"
    link: "https://researchr.org/alias/arthur-h.-veen"
  year: "1988"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HartelV88"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "18"
  number: "3"
  pages: "239-253"
  kind: "article"
  key: "HartelV88"
- title: "Interposing Flash between Disk and DRAM to Save Energy for Streaming Workloads"
  author:
  - name: "Mohammed G. Khatib"
    link: "https://researchr.org/alias/mohammed-g.-khatib"
  - name: "Berend-Jan van der Zwaag"
    link: "https://researchr.org/alias/berend-jan-van-der-zwaag"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Gerard J. M. Smit"
    link: "https://researchr.org/alias/gerard-j.-m.-smit"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/ESTMED.2007.4375793"
  links:
    doi: "http://dx.doi.org/10.1109/ESTMED.2007.4375793"
  researchr: "https://researchr.org/publication/KhatibZHS07"
  cites: 0
  citedby: 0
  pages: "7-12"
  booktitle: "estimedia"
  kind: "inproceedings"
  key: "KhatibZHS07"
- title: "Compilation of Functional Languages using Flow Graph Analysis"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Hugh Glaser"
    link: "https://researchr.org/alias/hugh-glaser"
  - name: "John M. Wild"
    link: "https://researchr.org/alias/john-m.-wild"
  year: "1994"
  tags:
  - "data-flow language"
  - "analysis"
  - "data-flow"
  - "graph-rewriting"
  - "rewriting"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/HartelGW94"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "24"
  number: "2"
  pages: "127-173"
  kind: "article"
  key: "HartelGW94"
- title: "Music2Share - Copyright-Compliant Music Sharing in P2P Systems"
  author:
  - name: "Ton Kalker"
    link: "https://researchr.org/alias/ton-kalker"
  - name: "Dick H. J. Epema"
    link: "http://pds.twi.tudelft.nl/~epema/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Reginald L. Lagendijk"
    link: "http://ict.ewi.tudelft.nl/index.php?option=com_contact&task=view&id=22"
  - name: "Maarten van Steen"
    link: "http://www.few.vu.nl/~steen/"
  year: "2004"
  tags:
  - "p2p"
  researchr: "https://researchr.org/publication/KalkerEHLV04"
  cites: 0
  citedby: 0
  journal: "pieee"
  volume: "92"
  number: "6"
  pages: "961-970"
  kind: "article"
  key: "KalkerEHLV04"
- title: "iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric"
  author:
  - name: "Neil J. Henderson"
    link: "https://researchr.org/alias/neil-j.-henderson"
  - name: "Neil M. White"
    link: "https://researchr.org/alias/neil-m.-white"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2140/21400124.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2140/21400124.htm"
  researchr: "https://researchr.org/publication/HendersonWH01"
  cites: 0
  citedby: 0
  pages: "124-134"
  booktitle: "esmart"
  kind: "inproceedings"
  key: "HendersonWH01"
- title: "Benchmarking Implementations of Lazy Functional Languages"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Koen Langendoen"
    link: "http://pds.twi.tudelft.nl/~koen/"
  year: "1993"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/HartelL93"
  cites: 0
  citedby: 0
  pages: "341-349"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "HartelL93"
- title: "Declarative solutions to partitioned-grid problems"
  author:
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Willem G. Vree"
    link: "https://researchr.org/alias/willem-g.-vree"
  year: "1999"
  tags:
  - "partitioning"
  researchr: "https://researchr.org/publication/EtalleHV99"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "29"
  number: "13"
  pages: "1173-1200"
  kind: "article"
  key: "EtalleHV99"
- title: "Service Brokerage in Prolog"
  author:
  - name: "Cheun Ngen Chong"
    link: "https://researchr.org/alias/cheun-ngen-chong"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Rieks Joosten"
    link: "https://researchr.org/alias/rieks-joosten"
  - name: "Geert Kleinhuis"
    link: "https://researchr.org/alias/geert-kleinhuis"
  year: "2005"
  tags:
  - "Prolog"
  researchr: "https://researchr.org/publication/ChongEHJK05"
  cites: 0
  citedby: 0
  pages: "409-412"
  booktitle: "ICEIS"
  kind: "inproceedings"
  key: "ChongEHJK05"
- title: "Efficient Tree Search in Encrypted Data"
  author:
  - name: "Richard Brinkman"
    link: "https://researchr.org/alias/richard-brinkman"
  - name: "Ling Feng"
    link: "https://researchr.org/alias/ling-feng"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  year: "2004"
  tags:
  - "data-flow"
  - "search"
  researchr: "https://researchr.org/publication/BrinkmanFDHJ04"
  cites: 0
  citedby: 0
  pages: "126-135"
  booktitle: "sis"
  kind: "inproceedings"
  key: "BrinkmanFDHJ04"
- title: "Performance of Lazy Combinator Graph Reduction"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1991"
  tags:
  - "laziness"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Hartel91"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "21"
  number: "3"
  pages: "299-329"
  kind: "article"
  key: "Hartel91"
- title: "A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks"
  author:
  - name: "Yee Wei Law"
    link: "https://researchr.org/alias/yee-wei-law"
  - name: "Ricardo Corin"
    link: "https://researchr.org/alias/ricardo-corin"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2775&spage=27"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2775&spage=27"
  tags:
  - "wireless sensor networks"
  - "architecture"
  researchr: "https://researchr.org/publication/LawCEH03"
  cites: 0
  citedby: 0
  pages: "27-39"
  booktitle: "ifip6-8"
  kind: "inproceedings"
  key: "LawCEH03"
- title: "Biometric verification based on grip-pattern recognition"
  author:
  - name: "Raymond N. J. Veldhuis"
    link: "https://researchr.org/alias/raymond-n.-j.-veldhuis"
  - name: "Asker M. Bazen"
    link: "https://researchr.org/alias/asker-m.-bazen"
  - name: "Joost A. Kauffman"
    link: "https://researchr.org/alias/joost-a.-kauffman"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2004"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/VeldhuisBKH04"
  cites: 0
  citedby: 0
  pages: "634-641"
  booktitle: "sswmc"
  kind: "inproceedings"
  key: "VeldhuisBKH04"
- title: "Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1995"
  tags:
  - "programming languages"
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/HartelP95"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "5"
  number: "3"
  pages: "279-281"
  kind: "article"
  key: "HartelP95"
- title: "A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Eduard de Jong"
    link: "https://researchr.org/alias/eduard-de-jong"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2041/20410052.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2041/20410052.htm"
  tags:
  - "Java"
  - "programming"
  researchr: "https://researchr.org/publication/HartelJ00"
  cites: 0
  citedby: 0
  pages: "52-72"
  booktitle: "javacard"
  kind: "inproceedings"
  key: "HartelJ00"
- title: "Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks"
  author:
  - name: "Raluca Marin-Perianu"
    link: "https://researchr.org/alias/raluca-marin-perianu"
  - name: "Hans Scholten"
    link: "https://researchr.org/alias/hans-scholten"
  - name: "Paul J. M. Havinga"
    link: "https://researchr.org/alias/paul-j.-m.-havinga"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/LCN.2006.322202"
  links:
    doi: "http://dx.doi.org/10.1109/LCN.2006.322202"
  tags:
  - "rule-based"
  - "discovery"
  - "wireless sensor networks"
  researchr: "https://researchr.org/publication/Marin-PerianuSHH06"
  cites: 0
  citedby: 0
  pages: "931-938"
  booktitle: "lcn"
  kind: "inproceedings"
  key: "Marin-PerianuSHH06"
- title: "Inter-domain Identity-Based Proxy Re-encryption"
  author:
  - name: "Qiang Tang"
    link: "https://researchr.org/alias/qiang-tang"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-01440-6_26"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-01440-6_26"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/TangHJ08%3A0"
  cites: 0
  citedby: 0
  pages: "332-347"
  booktitle: "icisc"
  kind: "inproceedings"
  key: "TangHJ08:0"
- title: "Timed analysis of security protocols"
  author:
  - name: "Ricardo Corin"
    link: "https://researchr.org/alias/ricardo-corin"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  year: "2007"
  doi: "http://iospress.metapress.com/content/6258u52075288473/"
  links:
    doi: "http://iospress.metapress.com/content/6258u52075288473/"
  tags:
  - "protocol"
  - "analysis"
  - "security"
  researchr: "https://researchr.org/publication/CorinEHM07"
  cites: 0
  citedby: 0
  journal: "jcs"
  volume: "15"
  number: "6"
  pages: "619-645"
  kind: "article"
  key: "CorinEHM07"
- title: "Local Linear Logic for Locality Consciousness in Multiset Transformation"
  author:
  - name: "Hugh McEvoy"
    link: "https://researchr.org/alias/hugh-mcevoy"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1995"
  tags:
  - "logic"
  - "transformation"
  researchr: "https://researchr.org/publication/McEvoyH95"
  cites: 0
  citedby: 0
  pages: "357-379"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "McEvoyH95"
- title: "Modelling Mobility Aspects of Security Policies"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=172"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=172"
  tags:
  - "security"
  - "Pascal"
  researchr: "https://researchr.org/publication/HartelEEW04"
  cites: 0
  citedby: 0
  pages: "172-191"
  booktitle: "cassis"
  kind: "inproceedings"
  key: "HartelEEW04"
- title: "Formalizing the safety of Java, the Java virtual machine, and Java card"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Luc Moreau"
    link: "https://researchr.org/alias/luc-moreau"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/503112.503115"
  links:
    doi: "http://doi.acm.org/10.1145/503112.503115"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/HartelM01"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "33"
  number: "4"
  pages: "517-558"
  kind: "article"
  key: "HartelM01"
- title: "Workload-based configuration of MEMS-based storage devices for mobile systems"
  author:
  - name: "Mohammed G. Khatib"
    link: "https://researchr.org/alias/mohammed-g.-khatib"
  - name: "Ethan L. Miller"
    link: "https://researchr.org/alias/ethan-l.-miller"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1450058.1450065"
  links:
    doi: "http://doi.acm.org/10.1145/1450058.1450065"
  tags:
  - "rule-based"
  - "mobile"
  researchr: "https://researchr.org/publication/KhatibMH08"
  cites: 0
  citedby: 0
  pages: "41-50"
  booktitle: "emsoft"
  kind: "inproceedings"
  key: "KhatibMH08"
- title: "Secure Audit Logging with Tamper-Resistant Hardware"
  author:
  - name: "Cheun Ngen Chong"
    link: "https://researchr.org/alias/cheun-ngen-chong"
  - name: "Zhonghong Peng"
    link: "https://researchr.org/alias/zhonghong-peng"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2003"
  researchr: "https://researchr.org/publication/ChongPH03"
  cites: 0
  citedby: 0
  pages: "73-84"
  booktitle: "sec"
  kind: "inproceedings"
  key: "ChongPH03"
- title: "Cluster-based service discovery for heterogeneous wireless sensor networks"
  author:
  - name: "Raluca Marin-Perianu"
    link: "https://researchr.org/alias/raluca-marin-perianu"
  - name: "Hans Scholten"
    link: "https://researchr.org/alias/hans-scholten"
  - name: "Paul J. M. Havinga"
    link: "https://researchr.org/alias/paul-j.-m.-havinga"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2008"
  doi: "http://dx.doi.org/10.1080/17445760801930948"
  links:
    doi: "http://dx.doi.org/10.1080/17445760801930948"
  tags:
  - "rule-based"
  - "discovery"
  - "wireless sensor networks"
  researchr: "https://researchr.org/publication/Marin-PerianuSHH08"
  cites: 0
  citedby: 0
  journal: "paapp"
  volume: "23"
  number: "4"
  pages: "325-346"
  kind: "article"
  key: "Marin-PerianuSHH08"
- title: "Towards an Information Theoretic Analysis of Searchable Encryption"
  author:
  - name: "Saeed Sedghi"
    link: "https://researchr.org/alias/saeed-sedghi"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88625-9_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88625-9_23"
  tags:
  - "analysis"
  - "search"
  researchr: "https://researchr.org/publication/SedghiDHJ08"
  cites: 0
  citedby: 0
  pages: "345-360"
  booktitle: "icics"
  kind: "inproceedings"
  key: "SedghiDHJ08"
- title: "A Trace Semantics for Positive Core XPath"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/TIME.2005.9"
  links:
    doi: "http://dx.doi.org/10.1109/TIME.2005.9"
  tags:
  - "semantics"
  - "XPath"
  researchr: "https://researchr.org/publication/Hartel05"
  cites: 0
  citedby: 0
  pages: "103-112"
  booktitle: "time"
  kind: "inproceedings"
  key: "Hartel05"
- title: "A Type-and-Identity-Based Proxy Re-encryption Scheme and Its Application in Healthcare"
  author:
  - name: "Luan Ibraimi"
    link: "https://researchr.org/alias/luan-ibraimi"
  - name: "Qiang Tang"
    link: "https://researchr.org/alias/qiang-tang"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85259-9_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85259-9_12"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/IbraimiTHJ08"
  cites: 0
  citedby: 0
  pages: "185-198"
  booktitle: "sdmw"
  kind: "inproceedings"
  key: "IbraimiTHJ08"
- title: "Pressure Sequence - A Novel Method of Protecting Smart Cards"
  author:
  - name: "Neil Henderson"
    link: "https://researchr.org/alias/neil-henderson"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2000"
  researchr: "https://researchr.org/publication/HendersonH00"
  cites: 0
  citedby: 0
  pages: "241-256"
  booktitle: "cardis"
  kind: "inproceedings"
  key: "HendersonH00"
- title: "Transacted Memory for Smart Cards"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Michael J. Butler"
    link: "https://researchr.org/alias/michael-j.-butler"
  - name: "Eduard de Jong"
    link: "https://researchr.org/alias/eduard-de-jong"
  - name: "Mark Longley"
    link: "https://researchr.org/alias/mark-longley"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2021/20210478.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2021/20210478.htm"
  researchr: "https://researchr.org/publication/HartelBJL01"
  cites: 0
  citedby: 0
  pages: "478-499"
  booktitle: "FM"
  kind: "inproceedings"
  key: "HartelBJL01"
- title: "A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems"
  author:
  - name: "Ileana Buhan"
    link: "https://researchr.org/alias/ileana-buhan"
  - name: "Asker M. Bazen"
    link: "https://researchr.org/alias/asker-m.-bazen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Raymond N. J. Veldhuis"
    link: "https://researchr.org/alias/raymond-n.-j.-veldhuis"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11608288_97"
  links:
    doi: "http://dx.doi.org/10.1007/11608288_97"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/BuhanBHV06"
  cites: 0
  citedby: 0
  pages: "728-736"
  booktitle: "icb"
  kind: "inproceedings"
  key: "BuhanBHV06"
- title: "A Java Reference Model of Transacted Memory for Smart Cards"
  author:
  - name: "Erik Poll"
    link: "https://researchr.org/alias/erik-poll"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Eduard de Jong"
    link: "https://researchr.org/alias/eduard-de-jong"
  year: "2002"
  doi: "http://www.usenix.org/publications/library/proceedings/cardis02/poll.html"
  links:
    doi: "http://www.usenix.org/publications/library/proceedings/cardis02/poll.html"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/PollHJ02"
  cites: 0
  citedby: 0
  pages: "75-86"
  booktitle: "cardis"
  kind: "inproceedings"
  key: "PollHJ02"
- title: "StreamTo: Streaming Content using a Tamper-Resistant Token"
  author:
  - name: "Jieyin Cheng"
    link: "https://researchr.org/alias/jieyin-cheng"
  - name: "Cheun Ngen Chong"
    link: "https://researchr.org/alias/cheun-ngen-chong"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Stefan Nikolaus"
    link: "https://researchr.org/alias/stefan-nikolaus"
  year: "2005"
  researchr: "https://researchr.org/publication/ChengCDEHN05"
  cites: 0
  citedby: 0
  pages: "601-612"
  booktitle: "sec"
  kind: "inproceedings"
  key: "ChengCDEHN05"
- title: "Power management of MEMS-based storage devices for mobile systems"
  author:
  - name: "Mohammed G. Khatib"
    link: "https://researchr.org/alias/mohammed-g.-khatib"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1450095.1450131"
  links:
    doi: "http://doi.acm.org/10.1145/1450095.1450131"
  tags:
  - "rule-based"
  - "mobile"
  researchr: "https://researchr.org/publication/KhatibH08"
  cites: 0
  citedby: 0
  pages: "245-254"
  booktitle: "cases"
  kind: "inproceedings"
  key: "KhatibH08"
- title: "Abstract machines for programming language implementation"
  author:
  - name: "Stephan Diehl"
    link: "https://researchr.org/alias/stephan-diehl"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0167-739X(99)00088-6"
  links:
    doi: "http://dx.doi.org/10.1016/S0167-739X(99)00088-6"
  tags:
  - "programming languages"
  - "programming"
  - "abstract machine"
  researchr: "https://researchr.org/publication/DiehlHS00a"
  cites: 0
  citedby: 0
  journal: "fgcs"
  volume: "16"
  number: "7"
  pages: "739-751"
  kind: "article"
  key: "DiehlHS00a"
- title: "Fuzzy extractors for continuous distributions"
  author:
  - name: "Ileana Buhan"
    link: "https://researchr.org/alias/ileana-buhan"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Raymond N. J. Veldhuis"
    link: "https://researchr.org/alias/raymond-n.-j.-veldhuis"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1229285.1229325"
  links:
    doi: "http://doi.acm.org/10.1145/1229285.1229325"
  researchr: "https://researchr.org/publication/BuhanDHV07"
  cites: 0
  citedby: 0
  pages: "353-355"
  booktitle: "ccs"
  kind: "inproceedings"
  key: "BuhanDHV07"
- title: "Personal DJ, an architecture for personalised content delivery"
  author:
  - name: "Adam Field"
    link: "https://researchr.org/alias/adam-field"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Wim Mooij"
    link: "https://researchr.org/alias/wim-mooij"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/371920.371921"
  links:
    doi: "http://doi.acm.org/10.1145/371920.371921"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/FieldHM01"
  cites: 0
  citedby: 0
  pages: "1-7"
  booktitle: "WWW"
  kind: "inproceedings"
  key: "FieldHM01"
- title: "Assessing Security in Energy-Efficient Sensor Networks"
  author:
  - name: "Yee Wei Law"
    link: "https://researchr.org/alias/yee-wei-law"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2003"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/LawEH03"
  cites: 0
  citedby: 0
  pages: "459-463"
  booktitle: "sec"
  kind: "inproceedings"
  key: "LawEH03"
- title: "Secure pairing with biometrics"
  author:
  - name: "Ileana Buhan"
    link: "https://researchr.org/alias/ileana-buhan"
  - name: "Bas Boom"
    link: "https://researchr.org/alias/bas-boom"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Raymond N. J. Veldhuis"
    link: "https://researchr.org/alias/raymond-n.-j.-veldhuis"
  year: "2009"
  doi: "http://dx.doi.org/10.1504/IJSN.2009.023424"
  links:
    doi: "http://dx.doi.org/10.1504/IJSN.2009.023424"
  researchr: "https://researchr.org/publication/BuhanBDHV09"
  cites: 0
  citedby: 0
  journal: "ijsn"
  volume: "4"
  number: "1/2"
  pages: "27-42"
  kind: "article"
  key: "BuhanBDHV09"
- title: "Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols"
  author:
  - name: "Yee Wei Law"
    link: "https://researchr.org/alias/yee-wei-law"
  - name: "Lodewijk van Hoesel"
    link: "https://researchr.org/alias/lodewijk-van-hoesel"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Paul J. M. Havinga"
    link: "https://researchr.org/alias/paul-j.-m.-havinga"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1102219.1102234"
  links:
    doi: "http://doi.acm.org/10.1145/1102219.1102234"
  tags:
  - "protocol"
  - "wireless sensor networks"
  researchr: "https://researchr.org/publication/LawHDH05"
  cites: 0
  citedby: 0
  pages: "76-88"
  booktitle: "sasn"
  kind: "inproceedings"
  key: "LawHDH05"
- title: "A Comparison of Three Garbage Collection Algorithms"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1990"
  researchr: "https://researchr.org/publication/Hartel90"
  cites: 0
  citedby: 0
  journal: "stp"
  volume: "11"
  number: "3"
  pages: "117-128"
  kind: "article"
  key: "Hartel90"
- title: "On consistency maintenance in service discovery"
  author:
  - name: "Vasughi Sundramoorthy"
    link: "https://researchr.org/alias/vasughi-sundramoorthy"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Hans Scholten"
    link: "https://researchr.org/alias/hans-scholten"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639274"
  links:
    doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639274"
  tags:
  - "discovery"
  - "maintenance"
  - "consistency"
  researchr: "https://researchr.org/publication/SundramoorthyHS06"
  cites: 0
  citedby: 0
  booktitle: "ipps"
  kind: "inproceedings"
  key: "SundramoorthyHS06"
- title: "POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System"
  author:
  - name: "Damiano Bolzoni"
    link: "https://researchr.org/alias/damiano-bolzoni"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Emmanuele Zambon"
    link: "https://researchr.org/alias/emmanuele-zambon"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IWIA.2006.18"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/IWIA.2006.18"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/BolzoniEHZ06"
  cites: 0
  citedby: 0
  pages: "144-156"
  booktitle: "iwia"
  kind: "inproceedings"
  key: "BolzoniEHZ06"
- title: "A toolkit for parallel functional programming"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Rutger F. H. Hofman"
    link: "https://researchr.org/alias/rutger-f.-h.-hofman"
  - name: "Koen Langendoen"
    link: "http://pds.twi.tudelft.nl/~koen/"
  - name: "Henk L. Muller"
    link: "http://www.cs.bris.ac.uk/home/henkm"
  - name: "Willem G. Vree"
    link: "https://researchr.org/alias/willem-g.-vree"
  - name: "Louis O. Hertzberger"
    link: "https://researchr.org/alias/louis-o.-hertzberger"
  year: "1995"
  doi: "http://dx.doi.org/10.1002/cpe.4330070803"
  links:
    doi: "http://dx.doi.org/10.1002/cpe.4330070803"
  tags:
  - "functional programming"
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/HartelHLMVH95"
  cites: 0
  citedby: 0
  journal: "concurrency"
  volume: "7"
  number: "8"
  pages: "765-793"
  kind: "article"
  key: "HartelHLMVH95"
- title: "Reasoning about Grover s quantum search algorithm using probabilistic ::::wp::::"
  author:
  - name: "Michael J. Butler"
    link: "https://researchr.org/alias/michael-j.-butler"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/319301.319303"
  links:
    doi: "http://doi.acm.org/10.1145/319301.319303"
  tags:
  - "search"
  researchr: "https://researchr.org/publication/ButlerH99"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "21"
  number: "3"
  pages: "417-429"
  kind: "article"
  key: "ButlerH99"
- title: "Structuring and Visualising an IC-card Security Standard"
  author:
  - name: "Hugh Glaser"
    link: "https://researchr.org/alias/hugh-glaser"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Eduard K. de Jong Frz"
    link: "https://researchr.org/alias/eduard-k.-de-jong-frz"
  year: "1996"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/GlaserHF96"
  cites: 0
  citedby: 0
  booktitle: "cardis"
  kind: "inproceedings"
  key: "GlaserHF96"
- title: "Using formal methods to cultivate trust in Smart Card Operating Systems"
  author:
  - name: "Marjan I. Alberda"
    link: "https://researchr.org/alias/marjan-i.-alberda"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Eduard K. de Jong Frz"
    link: "https://researchr.org/alias/eduard-k.-de-jong-frz"
  year: "1996"
  tags:
  - "operating system"
  researchr: "https://researchr.org/publication/AlberdaHF96"
  cites: 0
  citedby: 0
  booktitle: "cardis"
  kind: "inproceedings"
  key: "AlberdaHF96"
- title: "Programming by Numbers: A Programming Method for Novices"
  author:
  - name: "Hugh Glaser"
    link: "https://researchr.org/alias/hugh-glaser"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Paul W. Garratt"
    link: "https://researchr.org/alias/paul-w.-garratt"
  year: "2000"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/GlaserHG00"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "43"
  number: "4"
  pages: "252-265"
  kind: "article"
  key: "GlaserHG00"
- title: "Multimedia QoS in Low-Cost Home Networks"
  author:
  - name: "Hans Scholten"
    link: "https://researchr.org/alias/hans-scholten"
  - name: "Pierre G. Jansen"
    link: "https://researchr.org/alias/pierre-g.-jansen"
  - name: "Ferdy Hanssen"
    link: "https://researchr.org/alias/ferdy-hanssen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "T. Hattink"
    link: "https://researchr.org/alias/t.-hattink"
  - name: "Vasughi Sundramoorthy"
    link: "https://researchr.org/alias/vasughi-sundramoorthy"
  year: "2002"
  doi: "http://computer.org/proceedings/lcn/1591/15910327.pdf"
  links:
    doi: "http://computer.org/proceedings/lcn/1591/15910327.pdf"
  tags:
  - "multimedia"
  researchr: "https://researchr.org/publication/ScholtenJHHHS02"
  cites: 0
  citedby: 0
  pages: "327-328"
  booktitle: "lcn"
  kind: "inproceedings"
  key: "ScholtenJHHHS02"
- title: "Comparing Logic-Based and XML-Based Rights Expression Languages"
  author:
  - name: "Cheun Ngen Chong"
    link: "https://researchr.org/alias/cheun-ngen-chong"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2889&spage=779"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2889&spage=779"
  tags:
  - "rule-based"
  - "XML"
  - "XML Schema"
  - "logic"
  researchr: "https://researchr.org/publication/ChongEH03"
  cites: 0
  citedby: 0
  pages: "779-792"
  booktitle: "otm"
  kind: "inproceedings"
  key: "ChongEH03"
- title: "Principles of abstract machines"
  author:
  - name: "Stephan Diehl"
    link: "https://researchr.org/alias/stephan-diehl"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0167-739X(99)00087-4"
  links:
    doi: "http://dx.doi.org/10.1016/S0167-739X(99)00087-4"
  tags:
  - "principles"
  - "abstract machine"
  researchr: "https://researchr.org/publication/DiehlHS00"
  cites: 0
  citedby: 0
  journal: "fgcs"
  volume: "16"
  number: "7"
  kind: "article"
  key: "DiehlHS00"
- title: "Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols"
  author:
  - name: "Yee Wei Law"
    link: "https://researchr.org/alias/yee-wei-law"
  - name: "Marimuthu Palaniswami"
    link: "https://researchr.org/alias/marimuthu-palaniswami"
  - name: "Lodewijk van Hoesel"
    link: "https://researchr.org/alias/lodewijk-van-hoesel"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Paul J. M. Havinga"
    link: "https://researchr.org/alias/paul-j.-m.-havinga"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1464420.1464426"
  links:
    doi: "http://doi.acm.org/10.1145/1464420.1464426"
  tags:
  - "protocol"
  - "wireless sensor networks"
  researchr: "https://researchr.org/publication/LawPHDHH09"
  cites: 0
  citedby: 0
  journal: "tosn"
  volume: "5"
  number: "1"
  kind: "article"
  key: "LawPHDHH09"
- title: "Towards Tamper-evident Storage on Patterned Media"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Leon Abelmann"
    link: "https://researchr.org/alias/leon-abelmann"
  - name: "Mohammed G. Khatib"
    link: "https://researchr.org/alias/mohammed-g.-khatib"
  year: "2008"
  doi: "http://www.usenix.org/events/fast08/tech/hartel.html"
  links:
    doi: "http://www.usenix.org/events/fast08/tech/hartel.html"
  researchr: "https://researchr.org/publication/HartelAK08"
  cites: 0
  citedby: 0
  pages: "283-296"
  booktitle: "FAST"
  kind: "inproceedings"
  key: "HartelAK08"
- title: "Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes"
  author:
  - name: "Luan Ibraimi"
    link: "https://researchr.org/alias/luan-ibraimi"
  - name: "Qiang Tang"
    link: "https://researchr.org/alias/qiang-tang"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00843-6_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00843-6_1"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/IbraimiTHJ09"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "ispec"
  kind: "inproceedings"
  key: "IbraimiTHJ09"
- title: "Current directions in smart cards"
  author:
  - name: "Josep Domingo-Ferrer"
    link: "https://researchr.org/alias/josep-domingo-ferrer"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S1389-1286(01)00160-8"
  links:
    doi: "http://dx.doi.org/10.1016/S1389-1286(01)00160-8"
  researchr: "https://researchr.org/publication/Domingo-FerrerH01"
  cites: 0
  citedby: 0
  journal: "cn"
  volume: "36"
  number: "4"
  pages: "377-379"
  kind: "article"
  key: "Domingo-FerrerH01"
- title: "The Average Size of Ordered Binary Subgraphs"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1988"
  researchr: "https://researchr.org/publication/Hartel88"
  cites: 0
  citedby: 0
  pages: "327-351"
  booktitle: "criwg"
  kind: "inproceedings"
  key: "Hartel88"
- title: "Formalising Java Safety - An overview"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2000"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/Hartel00"
  cites: 0
  citedby: 0
  pages: "115-134"
  booktitle: "cardis"
  kind: "inproceedings"
  key: "Hartel00"
- title: "A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks"
  author:
  - name: "Raluca Marin-Perianu"
    link: "https://researchr.org/alias/raluca-marin-perianu"
  - name: "Johann Hurink"
    link: "https://researchr.org/alias/johann-hurink"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ISPA.2008.18"
  links:
    doi: "http://dx.doi.org/10.1109/ISPA.2008.18"
  tags:
  - "wireless sensor networks"
  researchr: "https://researchr.org/publication/Marin-PerianuHH08"
  cites: 0
  citedby: 0
  pages: "863-870"
  booktitle: "ispa"
  kind: "inproceedings"
  key: "Marin-PerianuHH08"
- title: "The Functional  C  experience"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Henk L. Muller"
    link: "http://www.cs.bris.ac.uk/home/henkm"
  - name: "Hugh Glaser"
    link: "https://researchr.org/alias/hugh-glaser"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796803004817"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796803004817"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/HartelMG04"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "14"
  number: "2"
  pages: "129-135"
  kind: "article"
  key: "HartelMG04"
- title: "Timed model checking of security protocols"
  author:
  - name: "Ricardo Corin"
    link: "https://researchr.org/alias/ricardo-corin"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1029133.1029137"
  links:
    doi: "http://doi.acm.org/10.1145/1029133.1029137"
  tags:
  - "model checking"
  - "meta-model"
  - "protocol"
  - "security"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/CorinEHM04"
  cites: 0
  citedby: 0
  pages: "23-32"
  booktitle: "ccs"
  kind: "inproceedings"
  key: "CorinEHM04"
- title: "The Operational Semantics of a Java Secure Processor"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Michael J. Butler"
    link: "https://researchr.org/alias/michael-j.-butler"
  - name: "Moshe Levy"
    link: "https://researchr.org/alias/moshe-levy"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1523/15230313.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1523/15230313.htm"
  tags:
  - "semantics"
  - "Java"
  - "operational semantics"
  researchr: "https://researchr.org/publication/HartelBL99"
  cites: 0
  citedby: 0
  pages: "313-352"
  booktitle: "java"
  kind: "inproceedings"
  key: "HartelBL99"
- title: "License Protection with a Tamper-Resistant Token"
  author:
  - name: "Cheun Ngen Chong"
    link: "https://researchr.org/alias/cheun-ngen-chong"
  - name: "Bin Ren"
    link: "https://researchr.org/alias/bin-ren"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Ricardo Corin"
    link: "https://researchr.org/alias/ricardo-corin"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3325&spage=223"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3325&spage=223"
  researchr: "https://researchr.org/publication/ChongRDEHC04"
  cites: 0
  citedby: 0
  pages: "223-237"
  booktitle: "wisa"
  kind: "inproceedings"
  key: "ChongRDEHC04"
- title: "FCG: A Code Generator for Lazy Functional Languages"
  author:
  - name: "Koen Langendoen"
    link: "http://pds.twi.tudelft.nl/~koen/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1992"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/LangendoenH92"
  cites: 0
  citedby: 0
  pages: "278-296"
  booktitle: "cc"
  kind: "inproceedings"
  key: "LangendoenH92"
- title: "Approximating Fair Use in LicenseScript"
  author:
  - name: "Cheun Ngen Chong"
    link: "https://researchr.org/alias/cheun-ngen-chong"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Yee Wei Law"
    link: "https://researchr.org/alias/yee-wei-law"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2911&spage=432"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2911&spage=432"
  researchr: "https://researchr.org/publication/ChongEHL03"
  cites: 0
  citedby: 0
  pages: "432-443"
  booktitle: "ICADL"
  kind: "inproceedings"
  key: "ChongEHL03"
- title: "Embedding Renewable Cryptographic Keys into Continuous Noisy Data"
  author:
  - name: "Ileana Buhan"
    link: "https://researchr.org/alias/ileana-buhan"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Qiang Tang"
    link: "https://researchr.org/alias/qiang-tang"
  - name: "Raymond N. J. Veldhuis"
    link: "https://researchr.org/alias/raymond-n.-j.-veldhuis"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-88625-9_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88625-9_20"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/BuhanDHTV08"
  cites: 0
  citedby: 0
  pages: "294-310"
  booktitle: "icics"
  kind: "inproceedings"
  key: "BuhanDHTV08"
- title: "Input-Output Tools: A Language Facility for Interactive and Real-Time Systems"
  author:
  - name: "Jan van den Bos"
    link: "https://researchr.org/alias/jan-van-den-bos"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1983"
  researchr: "https://researchr.org/publication/BosPH83"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "9"
  number: "3"
  pages: "247-259"
  kind: "article"
  key: "BosPH83"
- title: "Functional Principles of Registry-based Service Discovery"
  author:
  - name: "Vasughi Sundramoorthy"
    link: "https://researchr.org/alias/vasughi-sundramoorthy"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Jerry den Hartog"
    link: "https://researchr.org/alias/jerry-den-hartog"
  - name: "Hans Scholten"
    link: "https://researchr.org/alias/hans-scholten"
  - name: "C. Tan"
    link: "https://researchr.org/alias/c.-tan"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/LCN.2005.71"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/LCN.2005.71"
  tags:
  - "rule-based"
  - "discovery"
  - "principles"
  - "C++"
  researchr: "https://researchr.org/publication/SundramoorthyHHST05"
  cites: 0
  citedby: 0
  pages: "209-217"
  booktitle: "lcn"
  kind: "inproceedings"
  key: "SundramoorthyHHST05"
- title: "Security Attributes Based Digital Rights Management"
  author:
  - name: "Cheun Ngen Chong"
    link: "https://researchr.org/alias/cheun-ngen-chong"
  - name: "René van Buuren"
    link: "https://researchr.org/alias/ren%C3%A9-van-buuren"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Geert Kleinhuis"
    link: "https://researchr.org/alias/geert-kleinhuis"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2515/25150339.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2515/25150339.htm"
  tags:
  - "rule-based"
  - "security"
  researchr: "https://researchr.org/publication/ChongBHK02"
  cites: 0
  citedby: 0
  pages: "339-352"
  booktitle: "idms"
  kind: "inproceedings"
  key: "ChongBHK02"
- title: "Basic Proof Skills of Computer Science Students"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Bert van Es"
    link: "https://researchr.org/alias/bert-van-es"
  - name: "Dick Tromp"
    link: "https://researchr.org/alias/dick-tromp"
  year: "1995"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/HartelET95"
  cites: 0
  citedby: 0
  pages: "269-287"
  booktitle: "fple"
  kind: "inproceedings"
  key: "HartelET95"
- title: "Communication Lifting: Fixed Point Computation for Parallelism"
  author:
  - name: "Willem G. Vree"
    link: "https://researchr.org/alias/willem-g.-vree"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1995"
  researchr: "https://researchr.org/publication/VreeH95"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "5"
  number: "4"
  pages: "549-581"
  kind: "article"
  key: "VreeH95"
- title: "Survey and benchmark of block ciphers for wireless sensor networks"
  author:
  - name: "Yee Wei Law"
    link: "https://researchr.org/alias/yee-wei-law"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1138130"
  links:
    doi: "http://doi.acm.org/10.1145/1138130"
  tags:
  - "wireless sensor networks"
  - "survey"
  researchr: "https://researchr.org/publication/LawDH06"
  cites: 0
  citedby: 0
  journal: "tosn"
  volume: "2"
  number: "1"
  pages: "65-93"
  kind: "article"
  key: "LawDH06"
- title: "Nonmonotonic Trust Management for P2P Applications"
  author:
  - name: "Marcin Czenko"
    link: "https://researchr.org/alias/marcin-czenko"
  - name: "Ha Tran"
    link: "https://researchr.org/alias/ha-tran"
  - name: "Jeroen Doumen"
    link: "https://researchr.org/alias/jeroen-doumen"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Jerry den Hartog"
    link: "https://researchr.org/alias/jerry-den-hartog"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.037"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.037"
  tags:
  - "p2p"
  researchr: "https://researchr.org/publication/CzenkoTDEHH06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "157"
  number: "3"
  pages: "113-130"
  kind: "article"
  key: "CzenkoTDEHH06"
- title: "A Trace Logic for Local Security Properties"
  author:
  - name: "Ricardo Corin"
    link: "https://researchr.org/alias/ricardo-corin"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Antonio Durante"
    link: "https://researchr.org/alias/antonio-durante"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.12.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.12.019"
  tags:
  - "security"
  - "logic"
  researchr: "https://researchr.org/publication/CorinEHD05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "118"
  pages: "129-143"
  kind: "article"
  key: "CorinEHD05"
- title: "Functional Programming Languages in Education, First International Symposium, FPLE 95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings"
  year: "1995"
  tags:
  - "programming languages"
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/fple%3A1995"
  cites: 0
  citedby: 0
  booktitle: "Functional Programming Languages in Education, First International Symposium, FPLE 95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings"
  conference: "fple"
  editor:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  volume: "1022"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60675-0"
  kind: "proceedings"
  key: "fple:1995"
- title: "Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings"
  year: "1997"
  tags:
  - "programming languages"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/plilp%3A1997"
  cites: 0
  citedby: 0
  booktitle: "Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings"
  conference: "plilp"
  editor:
  - name: "Hugh Glaser"
    link: "https://researchr.org/alias/hugh-glaser"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  volume: "1292"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63398-7"
  kind: "proceedings"
  key: "plilp:1997"