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: "Journal of Functional and Logic Programming"
  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: "Smart Card Research and Applications, This International Conference, CARDIS  98, Louvain-la-Neuve, Belgium, September 14-16, 1998, Proceedings"
  editor:
  - name: "Jean-Jacques Quisquater"
    link: "https://researchr.org/alias/jean-jacques-quisquater"
  - name: "Bruce Schneier"
    link: "https://researchr.org/alias/bruce-schneier"
  volume: "1820"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67923-5"
  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: "Software: Practice and Experience"
  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: "Computer Languages, Systems \\& Structures"
  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: "Journal of Functional Programming"
  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: "Information Systems Security"
  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: "Proceedings of the Second Smart Card Research and Advanced Application Conference, CARDIS 1996, September 18-20, 1996, CWI, Amsterdam, The Netherlands"
  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: "Annales des Télécommunications"
  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: "Proceedings of the Fifth Smart Card Research and Advanced Application Conference, CARDIS  02, November 21-22, 2002, San Jose, CA, USA"
  publisher: "USENIX"
  isbn: "1-931971-04-8"
  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: "Journal of Functional Programming"
  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: "Advances in Biometrics, International Conference, ICB 2007, Seoul, Korea, August 27-29, 2007, Proceedings"
  editor:
  - name: "Seong-Whan Lee"
    link: "https://researchr.org/alias/seong-whan-lee"
  - name: "Stan Z. Li"
    link: "https://researchr.org/alias/stan-z.-li"
  volume: "4642"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74548-8"
  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: "Software: Practice and Experience"
  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: "Proceedings of the 2007 5th Workshop on Embedded Systems for Real-Time Multimedia, ESTImedia 2007, October 4-5, Salzburg, Austria, conjunction with CODES+ISSS 2007"
  editor:
  - name: "Samarjit Chakraborty"
    link: "https://researchr.org/alias/samarjit-chakraborty"
  - name: "Petru Eles"
    link: "https://researchr.org/alias/petru-eles"
  publisher: "IEEE"
  isbn: "978-1-4244-1654-7"
  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: "Software: Practice and Experience"
  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: "Proceedings of the IEEE"
  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: "Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings"
  editor:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Thomas P. Jensen"
    link: "https://researchr.org/alias/thomas-p.-jensen"
  volume: "2140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42610-8"
  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: "Software: Practice and Experience"
  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 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005"
  editor:
  - name: "Chin-Sheng Chen"
    link: "https://researchr.org/alias/chin-sheng-chen"
  - name: "Joaquim Filipe"
    link: "https://researchr.org/alias/joaquim-filipe"
  - name: "Isabel Seruca"
    link: "https://researchr.org/alias/isabel-seruca"
  - name: "José Cordeiro"
    link: "https://researchr.org/alias/jos%C3%A9-cordeiro"
  isbn: "972-8865-19-8"
  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: "Security In Information Systems, Proceedings of the 2nd International Workshop on Security In Information Systems, WOSIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004"
  editor:
  - name: "Eduardo Fernández-Medina"
    link: "https://researchr.org/alias/eduardo-fern%C3%A1ndez-medina"
  - name: "Julio César Hernández Castro"
    link: "https://researchr.org/alias/julio-c%C3%A9sar-hern%C3%A1ndez-castro"
  - name: "L. Javier García-Villalba"
    link: "https://researchr.org/alias/l.-javier-garc%C3%ADa-villalba"
  publisher: "INSTICC Press"
  isbn: "972-8865-07-4"
  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: "Software: Practice and Experience"
  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: "Personal Wireless Communications, IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003, Proceedings"
  editor:
  - name: "Marco Conti"
    link: "https://researchr.org/alias/marco-conti"
  - name: "Silvia Giordano"
    link: "https://researchr.org/alias/silvia-giordano"
  - name: "Enrico Gregori"
    link: "https://researchr.org/alias/enrico-gregori"
  - name: "Stephan Olariu"
    link: "https://researchr.org/alias/stephan-olariu"
  volume: "2775"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20123-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: "Security, Steganography, and Watermarking of Multimedia Contents VI, San Jose, California, USA, January 18-22, 2004, Proceedings"
  editor:
  - name: "Edward J. Delp"
    link: "https://researchr.org/alias/edward-j.-delp"
  - name: "Ping Wah Wong"
    link: "https://researchr.org/alias/ping-wah-wong"
  volume: "5306"
  series: "Proceedings of SPIE"
  publisher: "SPIE"
  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: "Journal of Functional Programming"
  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: "Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers"
  editor:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Thomas P. Jensen"
    link: "https://researchr.org/alias/thomas-p.-jensen"
  volume: "2041"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42167-X"
  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 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006"
  publisher: "IEEE Computer Society"
  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: "Information Security and Cryptology, 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers"
  editor:
  - name: "Moti Yung"
    link: "https://researchr.org/alias/moti-yung"
  - name: "Peng Liu"
    link: "https://researchr.org/alias/peng-liu"
  - name: "Dongdai Lin"
    link: "https://researchr.org/alias/dongdai-lin"
  volume: "5487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-01439-0"
  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: "Journal of Computer Security"
  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: "Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings"
  editor:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "982"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60359-X"
  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: "Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers"
  editor:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "Lilian Burdy"
    link: "https://researchr.org/alias/lilian-burdy"
  - name: "Marieke Huisman"
    link: "https://researchr.org/alias/marieke-huisman"
  - name: "Jean-Louis Lanet"
    link: "https://researchr.org/alias/jean-louis-lanet"
  - name: "Traian Muntean"
    link: "https://researchr.org/alias/traian-muntean"
  volume: "3362"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24287-2"
  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 Computing Surveys"
  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: "Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008"
  editor:
  - name: "Luca de Alfaro"
    link: "https://researchr.org/alias/luca-de-alfaro"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  publisher: "ACM"
  isbn: "978-1-60558-468-3"
  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: "Security and Privacy in the Age of Uncertainty, IFIP TC11 18:::th::: International Conference on Information Security (SEC2003), May 26-28, 2003, Athens, Greece"
  editor:
  - name: "Dimitris Gritzalis"
    link: "https://researchr.org/alias/dimitris-gritzalis"
  - name: "Sabrina De Capitani di Vimercati"
    link: "https://researchr.org/alias/sabrina-de-capitani-di-vimercati"
  - name: "Pierangela Samarati"
    link: "https://researchr.org/alias/pierangela-samarati"
  - name: "Sokratis K. Katsikas"
    link: "https://researchr.org/alias/sokratis-k.-katsikas"
  volume: "250"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "1-4020-7449-2"
  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: "IJPEDS"
  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: "Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings"
  editor:
  - name: "Liqun Chen"
    link: "https://researchr.org/alias/liqun-chen"
  - name: "Mark Dermot Ryan"
    link: "https://researchr.org/alias/mark-dermot-ryan"
  - name: "Guilin Wang"
    link: "https://researchr.org/alias/guilin-wang"
  volume: "5308"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-88624-2"
  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: "12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2370-6"
  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: "Secure Data Management, 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008, Proceedings"
  editor:
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  - name: "Milan Petkovic"
    link: "https://researchr.org/alias/milan-petkovic"
  volume: "5159"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85258-2"
  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: "Smart Card Research and Advanced Applications, Proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, September 20-22, 2000, Bristol, UK"
  editor:
  - name: "Josep Domingo-Ferrer"
    link: "https://researchr.org/alias/josep-domingo-ferrer"
  - name: "David Chan"
    link: "https://researchr.org/alias/david-chan"
  - name: "Anthony Watson"
    link: "https://researchr.org/alias/anthony-watson"
  volume: "180"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7953-5"
  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: "FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings"
  editor:
  - name: "José Nuno Oliveira"
    link: "https://researchr.org/alias/jos%C3%A9-nuno-oliveira"
  - name: "Pamela Zave"
    link: "https://researchr.org/alias/pamela-zave"
  volume: "2021"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41791-5"
  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: "Advances in Biometrics, International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006, Proceedings"
  editor:
  - name: "David Zhang"
    link: "https://researchr.org/alias/david-zhang"
  - name: "Anil K. Jain"
    link: "https://researchr.org/alias/anil-k.-jain"
  volume: "3832"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-31111-4"
  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: "Proceedings of the Fifth Smart Card Research and Advanced Application Conference, CARDIS  02, November 21-22, 2002, San Jose, CA, USA"
  publisher: "USENIX"
  isbn: "1-931971-04-8"
  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: "Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30 - June 1, 2005, Chiba, Japan"
  editor:
  - name: "Ryoichi Sasaki"
    link: "https://researchr.org/alias/ryoichi-sasaki"
  - name: "Sihan Qing"
    link: "https://researchr.org/alias/sihan-qing"
  - name: "Eiji Okamoto"
    link: "https://researchr.org/alias/eiji-okamoto"
  - name: "Hiroshi Yoshiura"
    link: "https://researchr.org/alias/hiroshi-yoshiura"
  publisher: "Springer"
  isbn: "0-387-25658-X"
  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: "Proceedings of the 2008 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2008, Atlanta, GA, USA, October 19-24, 2008"
  editor:
  - name: "Erik R. Altman"
    link: "https://researchr.org/alias/erik-r.-altman"
  publisher: "ACM"
  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: "Future Generation Comp. Syst."
  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: "Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2007, Singapore, March 20-22, 2007"
  editor:
  - name: "Feng Bao"
    link: "https://researchr.org/alias/feng-bao"
  - name: "Steven Miller"
    link: "https://researchr.org/alias/steven-miller"
  publisher: "ACM"
  isbn: "1-59593-574-6"
  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: "Security and Privacy in the Age of Uncertainty, IFIP TC11 18:::th::: International Conference on Information Security (SEC2003), May 26-28, 2003, Athens, Greece"
  editor:
  - name: "Dimitris Gritzalis"
    link: "https://researchr.org/alias/dimitris-gritzalis"
  - name: "Sabrina De Capitani di Vimercati"
    link: "https://researchr.org/alias/sabrina-de-capitani-di-vimercati"
  - name: "Pierangela Samarati"
    link: "https://researchr.org/alias/pierangela-samarati"
  - name: "Sokratis K. Katsikas"
    link: "https://researchr.org/alias/sokratis-k.-katsikas"
  volume: "250"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "1-4020-7449-2"
  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: "Proceedings of the 3rd ACM Workshop on Security of ad hoc and Sensor Networks, SASN 2005, Alexandria, VA, USA, November 7, 2005"
  editor:
  - name: "Vijay Atluri"
    link: "https://researchr.org/alias/vijay-atluri"
  - name: "Peng Ning"
    link: "https://researchr.org/alias/peng-ning"
  - name: "Wenliang Du"
    link: "https://researchr.org/alias/wenliang-du"
  publisher: "ACM"
  isbn: "1-59593-227-5"
  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: "Software - Concepts and Tools"
  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: "20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece"
  publisher: "IEEE"
  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: "Proceedings of the 4th IEEE International Workshop on Information Assurance (IWIA 2006), 13-14 April 2006, Egham, Surrey, UK"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2564-4"
  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 - Practice and Experience"
  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: "ACM Transactions on Programming Languages and Systems"
  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: "Proceedings of the Second Smart Card Research and Advanced Application Conference, CARDIS 1996, September 18-20, 1996, CWI, Amsterdam, The Netherlands"
  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: "Proceedings of the Second Smart Card Research and Advanced Application Conference, CARDIS 1996, September 18-20, 1996, CWI, Amsterdam, The Netherlands"
  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: "Comput. J."
  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: "27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 6-8 November 2002, Tampa, FL, USA, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1591-6"
  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: "On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings"
  editor:
  - name: "Robert Meersman"
    link: "https://researchr.org/alias/robert-meersman"
  - name: "Zahir Tari"
    link: "https://researchr.org/alias/zahir-tari"
  volume: "2889"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20494-6"
  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: "Future Generation Comp. Syst."
  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: "6th USENIX Conference on File and Storage Technologies, FAST 2008, February 26-29, 2008, San Jose, CA, USA"
  editor:
  - name: "Mary Baker"
    link: "https://researchr.org/alias/mary-baker"
  - name: "Erik Riedel"
    link: "https://researchr.org/alias/erik-riedel"
  publisher: "USENIX"
  isbn: "978-1-931971-56-0"
  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: "Information Security Practice and Experience, 5th International Conference, ISPEC 2009, Xi an, China, April 13-15, 2009, Proceedings"
  editor:
  - name: "Feng Bao"
    link: "https://researchr.org/alias/feng-bao"
  - name: "Hui Li"
    link: "https://researchr.org/alias/hui-li"
  - name: "Guilin Wang"
    link: "https://researchr.org/alias/guilin-wang"
  volume: "5451"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00842-9"
  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: "Computer Networks"
  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: "Graph-Theoretic Concepts in Computer Science, 14th International Workshop, WG  88, Amsterdam, The Netherlands, June 15-17, 1988, Proceedings"
  editor:
  - name: "Jan van Leeuwen"
    link: "https://researchr.org/alias/jan-van-leeuwen"
  volume: "344"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-50728-0"
  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: "Smart Card Research and Advanced Applications, Proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, September 20-22, 2000, Bristol, UK"
  editor:
  - name: "Josep Domingo-Ferrer"
    link: "https://researchr.org/alias/josep-domingo-ferrer"
  - name: "David Chan"
    link: "https://researchr.org/alias/david-chan"
  - name: "Anthony Watson"
    link: "https://researchr.org/alias/anthony-watson"
  volume: "180"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7953-5"
  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: "IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008, Sydney, NSW, Australia, December 10-12, 2008"
  publisher: "IEEE"
  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: "Journal of Functional Programming"
  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: "Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004"
  editor:
  - name: "Vijayalakshmi Atluri"
    link: "https://researchr.org/alias/vijayalakshmi-atluri"
  - name: "Michael Backes"
    link: "https://researchr.org/alias/michael-backes"
  - name: "David A. Basin"
    link: "https://researchr.org/alias/david-a.-basin"
  - name: "Michael Waidner"
    link: "https://researchr.org/alias/michael-waidner"
  publisher: "ACM"
  isbn: "1-58113-971-3"
  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: "Formal Syntax and Semantics of Java"
  editor:
  - name: "Jim Alves-Foss"
    link: "https://researchr.org/alias/jim-alves-foss"
  volume: "1523"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66158-1"
  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: "Information Security Applications, 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers"
  editor:
  - name: "Chae Hoon Lim"
    link: "https://researchr.org/alias/chae-hoon-lim"
  - name: "Moti Yung"
    link: "https://researchr.org/alias/moti-yung"
  volume: "3325"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24015-2"
  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: "Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings"
  editor:
  - name: "Uwe Kastens"
    link: "https://researchr.org/alias/uwe-kastens"
  - name: "Peter Pfahler"
    link: "https://researchr.org/alias/peter-pfahler"
  volume: "641"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55984-1"
  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: "Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings"
  editor:
  - name: "Tengku M. T. Sembok"
    link: "https://researchr.org/alias/tengku-m.-t.-sembok"
  - name: "Halimah Badioze Zaman"
    link: "https://researchr.org/alias/halimah-badioze-zaman"
  - name: "Hsinchun Chen"
    link: "https://researchr.org/alias/hsinchun-chen"
  - name: "Shalini R. Urs"
    link: "https://researchr.org/alias/shalini-r.-urs"
  - name: "Sung-Hyon Myaeng"
    link: "https://researchr.org/alias/sung-hyon-myaeng"
  volume: "2911"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20608-6"
  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: "Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings"
  editor:
  - name: "Liqun Chen"
    link: "https://researchr.org/alias/liqun-chen"
  - name: "Mark Dermot Ryan"
    link: "https://researchr.org/alias/mark-dermot-ryan"
  - name: "Guilin Wang"
    link: "https://researchr.org/alias/guilin-wang"
  volume: "5308"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-88624-2"
  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: "IEEE Trans. Software Eng."
  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: "30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 15-17 November 2005, Sydney, Australia, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2421-4"
  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: "Protocols and Systems for Interactive Distributed Multimedia, Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems, IDMS/PROMS 2002, Coimbra, Portugal, November 26-29, 2002, Proceedings"
  editor:
  - name: "Fernando Boavida"
    link: "https://researchr.org/alias/fernando-boavida"
  - name: "Edmundo Monteiro"
    link: "https://researchr.org/alias/edmundo-monteiro"
  - name: "João Orvalho"
    link: "https://researchr.org/alias/jo%C3%A3o-orvalho"
  volume: "2515"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00169-7"
  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: "Functional Programming Languages in Education, First International Symposium, FPLE 95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings"
  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: "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: "Journal of Functional Programming"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Electronic Notes in Theoretical Computer Science"
  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"